The snake lemma , a statement from the mathematical subfield of homological algebra that is valid in all Abelian categories , is a tool for the construction of the long exact sequences considered there . It has important applications, for example, in algebraic topology . The homomorphisms constructed with the snake lemma are commonly referred to as compound homomorphisms .
In an Abelian category (e.g. the category of the Abelian groups or the vector spaces over a given body ) the following commutative diagram is given:
Let the lines be exact and denote the zero object . Then there is an exact sequence comprising the cores and cokernels of , , set in relation:
If there is also a monomorphism , so is the morphism . If there is an epimorphism , this also applies to .
In the category of groups , however, the snake lemma is applicable only if additional conditions to the homomorphisms , , (see below).
origin of the name
If you expand the diagram to include cores and coke cores, you can see how the claimed exact sequence "snakes" through the diagram:
For the proof one first assumes that the diagram concerns the category of modules over a ring . This allows the claim to be proven by chart hunting. The validity for the case of any Abelian category then results from Mitchell's embedding theorem .
Construction of the homomorphisms
The homomorphisms between the cores or coke nuclei are naturally induced by the given horizontal homomorphisms via the universal properties of the core or coke core. The essential message of the lemma is the existence of the connection homomorphism that completes the sequence.
In the case of the category of Abelian groups or of modules over a ring, one can construct element-wise by means of diagram hunting: Let be given, i.e. H. a with . Because of the surjectivity of there is a with . Because there is a (because of the injectivity of unique) with . Define as the image of in .
The choice of was not clear here, but due to the accuracy of every other choice has the shape for the appropriate one . As a result, is replaced by , which then leads to the same value for . Thus the mapping is well defined.
If you have chosen to and with and , you can choose to obviously as well : , . From this it follows . Likewise, if is a ring element, it follows from and that is. The mapping is therefore linear, i.e. a homomorphism.
It follows quickly that the snake sequence forms a complex, i.e. that two "arrows" in a row always result in the zero mapping :
- The imaging is induced by
- For the illustration be and . Then you can from in the above construction of this very select, from which , then and thus yields.
- For the illustration let . With the designations as in the construction above, the picture in results from . Since this is in , the result is 0.
- The imaging is induced by
The exactness of the homomorphisms between the nuclei, between the coke nuclei and at the beginning and end of the arrow d can in turn be demonstrated by hunting a diagram:
- Accuracy at : Is with , so at least for one . Because of and the injectivity of follows , so in fact as required for one .
- Accuracy at : Be with us . With the designations above is then for a . Then , hence, for one . So that
- Accuracy at : An element of always comes from one . That it is mapped on means that it is in the picture of . Be with us and bet . Then applies . Thus it is and will be mapped to the given as it is after construction .
- Exactness at : If the image is from and is mapped to the zero in , then applies to a . Because of the surjectivity of there is a with . Then , so for one . In the transition to the Kokernen falls away, so is the image of .
The last three points take advantage of the fact that the vertical sequences are exact.
For applications of the snake lemma it is often necessary that the long exact sequences are "natural" (in the sense of a natural transformation ). This then results from the naturalness of the sequence delivered by the snake lemma.
a commutative diagram with exact lines, the snake lemma can be applied once to the "front" part and once to the "back" part. The two resulting exact sequences are linked to one another via a diagram of the shape
This can also be seen by applying the snake lemma to the category of morphisms between objects of the original category.
Category of groups
Since a number of theorems of homological algebra are valid not only for Abelian categories but also for the category of groups, it should be pointed out that this is not the case for the snake lemma. A natural connection homomorphism d can also be found here , but the long sequence is only a chain complex and not necessarily exact. Only if the vertical sequences are exact, i.e. H. the pictures under a , b and c are each normal divisors in A , B and C , the proof of the exactness also works for groups.
The simple alternating group contains a subgroup that is isomorphic to the symmetric group , in which the cyclic group in turn is a normal divisor . A commutative diagram is obtained from this
with exact lines.
Since is simple, the coke core of the right figure is trivial, while isomorphic to . The long sequence therefore has the form
and is therefore not exact.