Abelian Categories and Exact Sequences

An abelian category is a category that behaves like the category of modules over a ring: it has a zero object, all finite products and coproducts, and — crucially — every morphism has a kernel and cokernel such that monomorphisms are kernels and epimorphisms are cokernels. Exact sequences are the central computational and structural tool: chains of objects and morphisms where the image of each map equals the kernel of the next. Together they form the categorical foundation of homological algebra, applicable across algebra, topology, algebraic geometry, and representation theory. Introduced by Buchsbaum (1955) and Grothendieck (1957) in his Tôhoku paper.

An abelian category abstracts the essential properties of $Ab$ (abelian groups) and $R - Mod$ that make homological algebra possible — additive structure on hom-sets, existence of finite (co)limits, and a perfect interplay between monomorphisms, epimorphisms, kernels, and cokernels. Its importance is that it lets one define exact sequences, derived functors, Ext, Tor, and cohomology in a single uniform framework, free of the specific nature of the objects (groups, sheaves, complexes). The surprising fact, embodied in the Freyd–Mitchell embedding theorem, is that any small abelian category embeds fully faithfully and exactly into a category of modules — so "diagram-chasing with elements" is rigorously legitimate even when the objects have no elements at all. This makes abelian categories simultaneously maximally general and concretely manipulable.

The Core Insight

In an abelian category, every morphism factors canonically as an epimorphism followed by a monomorphism, $f = (mono) \circ (epi)$ , with the middle object being the image — and this factorization is unique up to unique isomorphism. This single fact is what makes the notion of an exact sequence well-defined and what allows the entire machinery of homology (the failure of exactness, measured as $ker / im$ ) to be formulated purely categorically.

Formal Statement

We build up the definition in layers: Ab-category → additive category → preabelian → abelian.

Ab-category (preadditive category)

A category $A$ is an Ab-category if every hom-set $Hom_{A} (X, Y)$ carries the structure of an abelian group, and composition is bilinear:

(f + f^{'}) \circ g = f \circ g + f^{'} \circ g, h \circ (f + f^{'}) = h \circ f + h \circ f^{'} .

⟳This is the requirement that composition

\circ : Hom (Y, Z) \times Hom (X, Y) \to Hom (X, Z)

Z

-bilinear, i.e., a group homomorphism in each variable.

Here $f, f^{'} \in Hom (X, Y)$ , $g \in Hom (W, X)$ , $h \in Hom (Y, Z)$ . The additive identity is the zero morphism $0_{X Y}$ .

Additive category

An Ab-category $A$ is additive if it has a zero object $0$ (an object that is both initial and terminal) and all finite biproducts. The biproduct $X \oplus Y$ comes with injections $i_{X}, i_{Y}$ and projections $p_{X}, p_{Y}$ satisfying:

p_{X} i_{X} = 1_{X}, p_{Y} i_{Y} = 1_{Y}, p_{X} i_{Y} = 0, p_{Y} i_{X} = 0, i_{X} p_{X} + i_{Y} p_{Y} = 1_{X \oplus Y} .

⟳The first four equations characterize

X \oplus Y

as both product and coproduct; the last (completeness relation) forces the product and coproduct to coincide, which is automatic in an Ab-category.

Preabelian and abelian categories

A preabelian category is an additive category in which every morphism $f : X \to Y$ has a kernel $ker f k X$ and a cokernel $Y c coker f$ , characterized by the universal properties:

f \circ k = 0, and \forall u (f u = 0 \Rightarrow \exists! \overset{u}{ˉ} : k \overset{u}{ˉ} = u); c \circ f = 0, and \forall v (v f = 0 \Rightarrow \exists! \overset{v}{ˉ} : \overset{v}{ˉ} c = v) .

⟳A kernel is the equalizer of

(f, 0)

; a cokernel is the coequalizer of

(f, 0)

. Universal property = unique factorization through any competing map killing

f

(resp. killed by

f

An additive category $A$ is abelian if it is preabelian and, in addition, every monomorphism is a kernel (of its cokernel) and every epimorphism is a cokernel (of its kernel):

m mono ⟹ m = ker (coker m), e epi ⟹ e = coker (ker e) .

⟳These "normality" conditions are exactly what fail in non-abelian additive categories (e.g. filtered abelian groups, or torsion-free abelian groups); they guarantee the image–coimage comparison map is an isomorphism.

Canonical image factorization

In an abelian category, every morphism $f : X \to Y$ admits a factorization

X e im f m Y, f = m \circ e,

where

e

is an epimorphism and

m

is a monomorphism, and

im f := ker (coker f)

. The coimage

coim f := coker (ker f)

, and the canonical comparison map

θ : coim f \sim im f

⟳

θ

exists in any preabelian category by universal properties; abelianness (

[4]

) is precisely the requirement that

θ

be an isomorphism for all

f

is an isomorphism. This factorization is unique up to unique isomorphism.

Exact sequence

A pair of composable morphisms $X f Y g Z$ with $g f = 0$ is exact at $Y$ if the canonical monomorphism $im f ↪ Y$ equals $ker g$ as subobjects of $Y$ :

im f = ker g (as subobjects of Y) .

⟳

g f = 0

already gives

im f \subseteq ker g

; exactness is the reverse inclusion. The "homology object"

H = ker g / im f := coker (im f \to ker g)

measures the failure of exactness.

A short exact sequence is an exact sequence

0 \to A f B g C \to 0,

⟳Exactness at

A

means

f

is mono; at

C

means

g

is epi; at

B

means

im f = ker g

. Equivalently

A = ker g

and

C = coker f

equivalently: $f$ is a monomorphism, $g$ is an epimorphism, and $f = ker g$ (hence $g = coker f$ ).

Canonical epi–mono factorization and the comparison map $\theta$

<svg viewBox="0 0 640 320" xmlns="http://www.w3.org/2000/svg">
<rect width="640" height="320" fill="#0a0e17"/>
<text x="40" y="80" fill="#e2e8f0" font-size="20" font-family="serif">X</text>
<text x="300" y="40" fill="#e2e8f0" font-size="20" font-family="serif">coim f</text>
<text x="300" y="130" fill="#e2e8f0" font-size="20" font-family="serif">im f</text>
<text x="560" y="80" fill="#e2e8f0" font-size="20" font-family="serif">Y</text>
<!-- f -->
<line x1="60" y1="75" x2="555" y2="75" stroke="#94a3b8" stroke-width="1.5"/>
<text x="290" y="68" fill="#d4a853" font-size="15" font-family="serif">f</text>
<!-- X -> coim -->
<line x1="60" y1="68" x2="295" y2="40" stroke="#94a3b8" stroke-width="1.5"/>
<text x="160" y="46" fill="#e2e8f0" font-size="13" font-family="serif">coker(ker f)</text>
<!-- coim -> Y -->
<line x1="360" y1="40" x2="555" y2="68" stroke="#94a3b8" stroke-width="1.5"/>
<!-- X -> im -->
<line x1="60" y1="82" x2="295" y2="125" stroke="#94a3b8" stroke-width="1.5"/>
<text x="150" y="118" fill="#e2e8f0" font-size="13" font-family="serif">e (epi)</text>
<!-- im -> Y -->
<line x1="355" y1="125" x2="555" y2="82" stroke="#94a3b8" stroke-width="1.5"/>
<text x="470" y="118" fill="#e2e8f0" font-size="13" font-family="serif">m (mono)</text>
<!-- theta -->
<line x1="325" y1="55" x2="325" y2="115" stroke="#d4a853" stroke-width="2.5"/>
<polygon points="325,118 321,108 329,108" fill="#d4a853"/>
<text x="335" y="92" fill="#d4a853" font-size="16" font-family="serif">θ ≅</text>
<text x="40" y="300" fill="#94a3b8" font-size="13" font-family="serif">Abelian ⟺ θ : coim f → im f is an isomorphism for every morphism f.</text>
</svg>

Why It Holds / Derivation

Existence and uniqueness of the image factorization

Step 1 (Construct the cokernel and its kernel). Given

f : X \to Y

, form

c = coker f : Y \to Q

. Since

A

is preabelian,

c

has a kernel

m : K \to Y

. Define

im f := K

and the monomorphism is

m

. Step 2 ( $f$ factors through $m$ ). We have

c f = 0

by definition of cokernel. By the universal property of

k = ker c

(

[3]

), there is a unique

e : X \to K

with

m e = f

. This gives

f = m \circ e

. Step 3 ( $m$ is monic). Kernels are always monomorphisms: if

m u = m u^{'}

then

m (u - u^{'}) = 0

, and since

m

equalizes nothing but

0

into

Y

killed by

c

... more directly,

m = ker c

is by construction the equalizer of

(c, 0)

, and equalizers are monic. Step 4 ( $e$ is epic) — this is where abelianness enters. In a general preabelian category

e

need not be epi. By axiom

[4]

, the dual construction gives

coim f = coker (ker f)

with the universal epimorphism

e^{'} : X \to coim f

, and a unique monomorphism

coim f \to Y

factoring

f

. The comparison map

θ : coim f \to im f

satisfies

θ e^{'} = e

(after identifications). Abelianness forces

θ

to be an isomorphism (this is the content of every mono being a kernel and every epi a cokernel), hence

e = θ e^{'}

is epi because

e^{'}

is. Step 5 (Uniqueness). Suppose

f = m^{''} e^{''}

with

m^{''}

mono,

e^{''}

epi. Since

m^{''}

is mono it equals

ker (coker m^{''})

; one shows

coker f = coker m^{''}

, hence

m^{''}

and

m

have the same image, giving a unique iso

im f ≅ im^{''} f

commuting with everything.

■

The Snake Lemma (statement and key steps)

Given a commutative diagram with exact rows in an abelian category

0 \to A ↓ a A^{'} B ↓ b B^{'} C ↓ c C^{'} \to 0

⟳Rows exact means top is exact at

A, B

and bottom at

B^{'}, C^{'}

; columns are the three vertical maps

a, b, c

there is a natural connecting homomorphism $δ : ker c \to coker a$ and a long exact sequence

ker a \to ker b \to ker c δ coker a \to coker b \to coker c .

⟳

δ

is built by "lifting": take

x \in ker c

, pull back to

B

, push down by

b

into

B^{'}

, then it lands in

im (A^{'} \to B^{'}) ≅ A^{'}

, project to

coker a

. Each choice is well-defined modulo the image of

a

Construction of $δ$ (element-style, justified by Freyd–Mitchell): Let

x \in ker c \subseteq C

. Choose

\tilde{x} \in B

with

g (\tilde{x}) = x

(possible as

g

epi). Then

g^{'} (b \tilde{x}) = c (g \tilde{x}) = c (x) = 0

, so

b \tilde{x} \in ker g^{'} = im f^{'}

; write

b \tilde{x} = f^{'} (y)

for unique

y \in A^{'}

. Set

δ (x) := [y] \in coker a

. Independence of the choice of

\tilde{x}

follows because two lifts differ by an element of

im f = ker g

, whose image under

b

lands in

f^{'} (im a)

. Exactness at each spot is verified by chasing.

■

Alexander Grothendieck | 1928–2014

In the 1957 Tôhoku paper "Sur quelques points d'algèbre homologique," Grothendieck recast homological algebra around abelian categories, introducing the axioms AB1–AB6 and AB3\–AB5\ governing existence and exactness of limits and colimits. His key innovations were the recognition that injective objects suffice for derived functors (the AB5 + a generator conditions ensuring enough injectives — the Grothendieck category concept) and the systematic use of these structures to compute sheaf cohomology. This abstraction was driven by the needs of algebraic geometry, where sheaves of modules form an abelian category that is not a module category, yet must support all homological machinery. Grothendieck's framework became the language of EGA/SGA and of essentially all modern cohomology theories.

Building Intuition

Think of an abelian category as " $R - Mod$ stripped to its skeleton." Everything you do with modules — kernels, images, quotients, direct sums, short exact sequences, diagram chases — survives, but you forget what the elements are. The two normality axioms ( $[4]$ ) are doing all the work: they say subobjects and quotient objects are dual and complete. In a generic additive category you can have a mono that is not the kernel of anything (e.g. $Z 2 Z$ inside torsion-free groups behaves fine, but consider the inclusion of a non-closed subspace), and then "the quotient" loses information about how the subobject sits inside. Abelianness restores the perfect lattice-theoretic duality: the poset of subobjects of $X$ is anti-isomorphic to the poset of quotient objects of $X$ , via $S \mapsto X / S$ . Exactness is then simply the statement "what dies next is exactly what was born here," and homology is the bookkeeping of the discrepancy.

Worked Examples

Computing homology of a complex of abelian groups

Given: the complex of

Z

-modules

Z d_{2} = (0 2) Z^{2} d_{1} = (03) Z .

First check

d_{1} d_{2} = (03) (0 2) = 0

. ✓ It is a complex. Step 1 — compute at $Z^{2}$ .

ker d_{1} = {(a, b) : 3 b = 0} = {(a, 0)} ≅ Z

(the first factor).

im d_{2} = {(2 k, 0) : k \in Z} = 2 Z \oplus 0

. Step 2 — homology.

H_{1} = ker d_{1} / im d_{2} ≅ Z /2 Z .

Step 3 — at the right $Z$ .

ker (0) = Z

im d_{1} = 3 Z

, so

H_{0} = Z /3 Z

. Boxed answer:

H_{1} ≅ Z /2 Z, H_{0} ≅ Z /3 Z, H_{2} = ker d_{2} = 0.

The nonzero homology measures the failure of exactness exactly at the two spots.

The connecting map and a Tor computation via the snake lemma

Given: the short exact sequence of

Z

-modules

0 \to Z n Z \to Z / n \to 0

. Apply

- \otimes_{Z} M

for

M = Z / m

, with

d = g cd (m, n)

. Step 1 — tensor (right exact). We get

Z / m \cdot n Z / m \to Z / n \otimes Z / m \to 0.

Step 2 — identify $coker$ . Multiplication by

n

Z / m

has image

n (Z / m) = d (Z / m)

, so

Z / n \otimes Z / m ≅ (Z / m) / (d Z / m) ≅ Z / d .

Step 3 — kernel gives Tor.

ker (\cdot n : Z / m \to Z / m) = {x : n x \equiv 0 (mod m)}

has order

d

, so

Tor_{1}^{Z} (Z / n, Z / m) ≅ Z / d .

Boxed answer (take $m = 6, n = 4$ , $d = 2$ ):

Z /4 \otimes Z /6 ≅ Z /2, Tor_{1}^{Z} (Z /4, Z /6) ≅ Z /2.

This is the long exact sequence of

Tor

in action — the failure of

- \otimes M

to be left exact is captured categorically.

Common Misconceptions

"Mono + epi = iso." In an arbitrary category this is false, and even in many additive categories it fails. In an abelian category it is true: a morphism that is both monic and epic is an isomorphism (because

f

mono

\Rightarrow ker f = 0 \Rightarrow coim f = X

;

f

epi

\Rightarrow coker f = 0 \Rightarrow im f = Y

; the comparison iso

θ

then makes

f

an iso). But beware: this relies critically on abelianness. In

Top

Ring

a bimorphism need not be an iso (e.g.

Z ↪ Q

is mono and epi in

Ring

but not surjective). Exact does not mean split. A short exact sequence

0 \to A \to B \to C \to 0

being exact only says

B

is an extension of

C

A

; it need not split, i.e.

B \neq ≅ A \oplus C

in general. The sequence

0 \to Z 2 Z \to Z /2 \to 0

does not split. Splitting is governed by

Ext^{1} (C, A)

; the sequence splits iff its class in

Ext^{1}

is zero.

An additive category that is NOT abelian

Consider $A =$ the category of finitely generated free abelian groups (equivalently, finite-rank lattices) with group homomorphisms. It is additive: it has $0$ , biproducts $Z^{m} \oplus Z^{n} = Z^{m + n}$ , and additive hom-sets. But it is not abelian. The morphism $\cdot 2 : Z \to Z$ is a monomorphism whose cokernel $Z /2$ does not exist in $A$ (it's not free) — so kernels/cokernels fail to exist, violating even the preabelian requirement. Even fixing existence, the category of torsion-free abelian groups is preabelian but not abelian: there the mono $\cdot 2 : Z \to Z$ has cokernel $0$ (since $Z /2$ is killed by the torsion-free reflection), so $ker (coker (\cdot 2)) = ker (0 -map) = Z \neq = im (\cdot 2) = 2 Z$ . The comparison map $θ$ is the mono $2 Z ↪ Z$ , not an iso — axiom $[4]$ fails.

Connections

Abelian categories sit at the crossroads of nearly all homological mathematics. The Freyd–Mitchell Embedding Theorem legitimizes element-wise diagram chasing by embedding any small abelian category into $R - Mod$ . The notion of exactness powers Derived Functors ( $Ext$ , $Tor$ , sheaf cohomology) and the formalism of Chain Complexes and Homology. Refining the structure leads to Triangulated Categories and Derived Categories, which are obtained by localizing complexes over an abelian category at quasi-isomorphisms. The Yoneda Ext Groups interpret $Ext^{n}$ as equivalence classes of $n$ -fold extensions, a purely abelian-categorical construction. Finally, Grothendieck Categories (AB5 + a generator) are exactly the abelian categories with enough injectives where Grothendieck's derived-functor cohomology lives, and Serre Subcategories and Quotient Categories generalize localization of rings to this setting.

Real-World Applications

Sheaf cohomology in algebraic geometry. The category of $O_{X}$ -modules on a scheme $X$ is abelian (Grothendieck category); $H^{i} (X, F)$ are the right derived functors of global sections, foundational to Riemann–Roch, Serre duality, and cohomology of line bundles.
Group cohomology. $Z [G] - Mod$ is abelian; $H^{n} (G, M) = Ext_{Z [G]}^{n} (Z, M)$ classifies extensions and obstructions (e.g. $H^{2}$ classifies group extensions, central to the Schur multiplier and projective representations).
Singular and de Rham cohomology in topology. Built from chain complexes in $Ab$ or $Vect_{k}$ ; the universal coefficient theorem and Künneth formula are short-exact-sequence statements with $Tor$ / $Ext$ terms.
Representation theory. The category of finite-dimensional representations of a quiver, a Lie algebra, or a finite group is abelian; Auslander–Reiten theory, highest-weight categories, and BGG resolutions all live here.
D-modules and perverse sheaves. The Riemann–Hilbert correspondence is an equivalence of abelian (in fact, derived) categories; perverse sheaves form the heart of a t-structure on a triangulated category — abelian by construction.
Algebraic K-theory and motives. Exact categories and abelian categories of motives underlie Quillen's $Q$ -construction and Voevodsky's program.
Hodge theory. The category of (mixed) Hodge structures is abelian (a Tannakian, hence abelian, category), enabling functorial Hodge-theoretic computations.

Historical Development

1942–45 — Eilenberg and Mac Lane introduce category theory and natural transformations, originally to formalize naturality in homology/cohomology of topological spaces.
1945 — Eilenberg–Steenrod axiomatize homology theory, foregrounding exact sequences as the central structural device.
1952 — Eilenberg–Steenrod's Foundations of Algebraic Topology and Cartan–Eilenberg's developing work crystallize "homological algebra" as a subject over module categories.
1955 — David Buchsbaum, in his thesis and the appendix to Cartan–Eilenberg, gives the first axioms for "exact categories," essentially the abelian category concept.
1956 — Cartan–Eilenberg's Homological Algebra published, the definitive treatment over rings, exposing the need for a categorical generalization for sheaves.
1957 — Grothendieck's Tôhoku paper defines abelian categories with axioms AB1–AB6, introduces Grothendieck categories, enough injectives, and recasts sheaf cohomology as derived functors — the watershed.
1960s — Grothendieck's EGA/SGA deploy abelian categories pervasively; the derived category is introduced by Verdier (Grothendieck's student) in his thesis.
1964 — Peter Freyd (Abelian Categories) and Barry Mitchell (1965, Theory of Categories) prove the full embedding theorem, justifying element-wise reasoning.
1973–82 — Beilinson–Bernstein–Deligne–Gabber develop t-structures and perverse sheaves, identifying new abelian categories as hearts inside triangulated/derived categories.

Subtleties & Limits

Where the abelian framework strains. (i) The derived category of an abelian category is not itself abelian — it is only triangulated; the desire for a single homotopy-coherent enhancement led to stable

\infty

-categories and dg-categories, where the precise comparison and the existence of "enhancements" (Bondal–Larsen–Lunts, Lunts–Orlov) involve deep, still-active questions. (ii) Non-additive and "exact"-but-not-abelian settings: many categories (vector bundles, filtered modules, Banach spaces) are naturally quasi-abelian or merely exact categories (Quillen), where short exact sequences are specified extra data; classifying and relating these to abelian categories (the derived category of a quasi-abelian category, Schneiders) remains subtle. (iii) The Freyd–Mitchell theorem requires smallness; for large abelian categories (e.g. all modules over a proper class of rings) a clean concrete embedding is delicate. (iv) Tannakian reconstruction: precisely which abelian (tensor) categories arise as representation categories of (pro)algebraic groups is governed by deep criteria (Deligne's tensor-category theorems), and the non-neutral and characteristic-

p

cases retain open structural questions.

Abelian Categories and Exact Sequences

The Core Insight

Formal Statement

Ab-category (preadditive category)

Additive category

Preabelian and abelian categories

Canonical image factorization

Exact sequence

Canonical epi–mono factorization and the comparison map $\theta$

Why It Holds / Derivation

Existence and uniqueness of the image factorization

The Snake Lemma (statement and key steps)

Alexander Grothendieck | 1928–2014

Building Intuition

Worked Examples

Computing homology of a complex of abelian groups

The connecting map and a Tor computation via the snake lemma

Common Misconceptions

An additive category that is NOT abelian

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also

Before this

Where this leads