Math 2.0

Category theory; homological algebra Definition

Short exact sequence

Builds on Exact sequenceAbelian categoryMonomorphismEpimorphismKernel

Definition

Let 𝒜\mathcal{A} be an abelian category, for example the category of modules over a ring. A short exact sequence in 𝒜\mathcal{A} is a diagram 0→A→fB→gC→00 \to A \xrightarrow{f} B \xrightarrow{g} C \to 0 of objects and morphisms of 𝒜\mathcal{A} such that:

  1. ff is a monomorphism;
  2. gg is an epimorphism;
  3. the image of ff equals the kernel of gg.

Remarks

Equivalently, the sequence is exact at AA, at BB and at CC. Equivalently again, g∘f=0g \circ f = 0, ff is a kernel of gg, and gg is a cokernel of ff. Then CC is isomorphic to the quotient B/f(A)B / f(A), and BB is called an extension of CC by AA.

Example: 0→ℤ→4ℤ→πℤ/4ℤ→00 \to \Z \xrightarrow{4} \Z \xrightarrow{\pi} \Z/4\Z \to 0 is short exact, with π\pi the reduction modulo 44. Multiplication by 44 is injective, π\pi is onto, and the image 4ℤ4\Z of the first map is the kernel of π\pi.

Non-example: 0→2ℤ→ιℤ→πℤ/4ℤ→00 \to 2\Z \xrightarrow{\iota} \Z \xrightarrow{\pi} \Z/4\Z \to 0, with ι\iota the inclusion, fails clause 3. Clauses 1 and 2 hold, but the image of ι\iota is 2ℤ2\Z while the kernel of π\pi is 4ℤ4\Z.

Reading path

To understand this page from the ground up, read these 6 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Abelian category concept
  2. Epimorphism concept
  3. Exact sequence concept
  4. Kernel concept
  5. Monomorphism concept
  6. Short exact sequence definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Exact_sequence
About this page
Tag8MCYV0P04T
URIm2://8MCYV0P04T
Kinddefinition
WritingW0 stub
MSC18G35, 18E10
DefinesShort exact sequence
UsesExact sequence, Abelian category, Monomorphism, Epimorphism, Kernel
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.