exact sequence
If we have two homomorphisms and in some category of modules, then we say that and are exact at if the image of is equal to the kernel of .
A sequence of homomorphisms
is said to be exact if each pair of adjacent homomorphisms is exact – in other words if for all .
Compare this to the notion of a chain complex.
Remark. The notion of exact sequences can be generalized to any abelian category , where and above are objects and morphisms in .
Title | exact sequence |
Canonical name | ExactSequence |
Date of creation | 2013-03-22 12:09:27 |
Last modified on | 2013-03-22 12:09:27 |
Owner | antizeus (11) |
Last modified by | antizeus (11) |
Numerical id | 7 |
Author | antizeus (11) |
Entry type | Definition |
Classification | msc 16-00 |
Related topic | ExactSequence2 |
Related topic | CategoricalSequence |
Related topic | HomologicalComplexOfTopologicalVectorSpaces |
Related topic | CategoricalDiagramsAsFunctors |
Related topic | SpinGroup |
Related topic | AlternativeDefinitionOfAnAbelianCategory |