Five lemma¶
Infer that the middle vertical morphism in a commutative five-object diagram with exact rows is an isomorphism when the two neighboring outer maps meet the required isomorphism, epimorphism, and monomorphism conditions.
Core Idea¶
The five lemma states, in its standard form, that in a commutative diagram of exact five-term rows, if the second and fourth vertical maps are isomorphisms, the first is an epimorphism, and the fifth is a monomorphism, then the middle vertical map is an isomorphism. The two four-lemma directions or an element chase use exactness to move a target or kernel element through neighboring objects, commutativity to transfer it between rows, and the outer mono, epi, and isomorphism hypotheses to establish surjectivity and injectivity of the middle map.
Scope of Application¶
Five lemma applies when the analyst can specify a commutative diagram of two exact rows with five objects and five aligned vertical morphisms in an abelian category or another setting where the stated variant is valid and establish that the rows are exact at the needed objects, every square commutes, the vertical hypotheses occur in their correct positions and directions, and the conclusion concerns the central map. The entry states the classical comparison lemma and carefully qualified variants; it does not treat every categorical diagram as elementwise or every balanced conclusion as automatic.
Clarity¶
A clear claim names the carrier, governing rule, assumptions, and recognition test. This matters because the name five lemma can obscure that there are ten objects, five vertical maps, exact rows, and asymmetric outer hypotheses rather than five interchangeable assumptions. The disciplined statement is that the object counts as Five lemma exactly when the rows are exact at the needed objects, every square commutes, the vertical hypotheses occur in their correct positions and directions, and the conclusion concerns the central map
Manages Complexity¶
The abstraction compresses standard five lemma, short five lemma, dual four-lemma derivation, module and group formulations, exact-category variants, and long-exact-sequence applications into a stable carrier, rule, invariant, and failure boundary. It makes comparison tractable while retaining the variables that control validity.
Compression can hide assumptions. A responsible use therefore declares category, exactness positions, square commutativity, mono and epi convention, vertical-map placement, element or categorical proof, long-exact-sequence segment, and naturality and returns to the full diagnostic whenever a convention or boundary case changes.
Abstract Reasoning¶
- Type the carrier. Establish a commutative diagram of two exact rows with five objects and five aligned vertical morphisms in an abelian category or another setting where the stated variant is valid and reject examples from a different problem. 2. Lock the rule. Express that the rows are exact at the needed objects, every square commutes, the vertical hypotheses occur in their correct positions and directions, and the conclusion concerns the central map independently of one notation or implementation.
Knowledge Transfer¶
Transfer within homological algebra is strong when new cases preserve the same carrier, mechanism, and diagnostic. The move from Apply the standard five lemma to two exact rows \(A\to B\to C\to D\to E\) and \(A'\to B'\to C'\to D'\to E'\): outer epimorphism, adjacent isomorphisms, and outer monomorphism force \(C\to C'\) to be an isomorphism. to A morphism between short exact sequences induces a morphism between associated long exact homology sequences, and known isomorphisms in neighboring degrees can force the remaining comparison map to be an isomorphism. demonstrates that continuity.
Relationships to Other Abstractions¶
Current abstraction Five lemma Domain-specific
Parents (1) — more general patterns this builds on
-
Five lemma is a kind of Deductive Reasoning Prime
The proposed strict upward parent is
prime:deductive_reasoning.
Hierarchy path (1) — routes to 1 parentless root
- Five lemma → Deductive Reasoning
Neighborhood in Abstraction Space¶
Five lemma sits in a crowded region of the domain-specific corpus (34th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.
Family — Category-Theoretic Structures (79 abstractions)
Nearest neighbors
- Nine lemma — 0.93
- Injective object — 0.91
- Traced monoidal category — 0.90
- Diagram (category theory) — 0.89
- Pseudo-abelian category — 0.89
Computed from structural-signature embeddings · 2026-09-08