horseshoe lemma

In homological algebra, the horseshoe lemma, also called the simultaneous resolution theorem, is a statement relating resolutions of two objects $A'$ and $A''$ to resolutions of

extensions of $A'$ by $A$ . It says that if an object $A$ is an extension of $A'$ by $A$ , then a resolution of $A$ can be built up inductively with the nth item in the resolution equal to the coproduct of the nth items in the resolutions of $A'$ and $A''$ . The name of the lemma comes from the shape of the diagram illustrating the lemma's hypothesis.

Formal statement

Let $\mathcal{A}$ be an abelian category with enough projectives. If

center

is a diagram in $\mathcal{A}$ such that the column is exact and the

rows are projective resolutions of $A'$ and $A''$ respectively, then

it can be completed to a commutative diagram

center

where all columns are exact, the middle row is a projective resolution

of $A$ , and $P_n=P'_n\oplus P$ _n for all n''. If $\mathcal{A}$ is an

abelian category with enough injectives, the dual statement also holds.

The lemma can be proved inductively. At each stage of the induction, the properties of projective objects are used to define maps in a projective resolution of $A$ . Then the snake lemma is invoked to show that the simultaneous resolution constructed so far has exact rows.

References

{{cite book |first1=Henri |last1=Cartan |author1-link=Henri Cartan |first2=Samuel |last2=Eilenberg |author2-link=Samuel Eilenberg |title=Homological algebra |publisher=Princeton University Press |orig-date=1956 |date=1999 |isbn=978-0-691-04991-5 |url={{GBurl|0268b52ghcsC|pg=PR11}}}}
{{cite book |first=M. Scott |last=Osborne |title=Basic homological algebra |publisher=Springer |date=2000 |isbn=978-0-387-98934-1 |pages= |url={{GBurl|Zdk7w3Jl64oC|pg=PP5}}}}

Category:Homological algebra

Category:Lemmas in category theory

horseshoe lemma

Formal statement

See also

References