Exact sequences are powerful tools in algebra, connecting objects through precise relationships. They reveal structural connections between groups, rings, and modules, helping us understand complex mathematical structures.
Short exact sequences link three objects, while long exact sequences extend infinitely. Both types use homomorphisms to preserve structure and provide insights into algebraic relationships. They're essential for computing invariants and analyzing object properties.
Exact Sequences and Homomorphisms
Short Exact Sequences
Top images from around the web for Short Exact Sequences
Group homomorphism - Online Dictionary of Crystallography View original
Is this image relevant?
group theory - Visualize Fundamental Homomorphism Theorem for $\phi: A_4 \rightarrow C_3 ... View original
Group homomorphism - Online Dictionary of Crystallography View original
Is this image relevant?
group theory - Visualize Fundamental Homomorphism Theorem for $\phi: A_4 \rightarrow C_3 ... View original
Is this image relevant?
1 of 3
A is a sequence of homomorphisms between three objects AfBgC such that f is injective, g is surjective, and im f=ker g
The injectivity of f implies that A can be viewed as a subobject of B, while the surjectivity of g implies that C is a quotient object of B
Short exact sequences provide a way to relate three objects in a category, often revealing important structural relationships
Example: In the category of abelian groups, the sequence 0→Z×2Zmod 2Z/2Z→0 is a short
Long Exact Sequences
A is an infinite sequence of homomorphisms between objects ⋯→An−1fn−1AnfnAn+1→⋯ such that the composition of any two consecutive homomorphisms is zero and the of each homomorphism is equal to the image of the previous one
Long exact sequences often arise from short exact sequences through the application of functors, such as the homology or cohomology functors
They provide a powerful tool for computing invariants of objects by relating them to the invariants of other objects in the sequence
Example: The long exact sequence in homology associated to a pair of topological spaces (X,A) is given by ⋯→Hn(A)→Hn(X)→Hn(X,A)∂Hn−1(A)→⋯
Exactness and Homomorphisms
A sequence of homomorphisms is called exact if the image of each homomorphism is equal to the kernel of the next homomorphism
Exactness is a crucial property in the study of exact sequences, as it ensures that the objects and homomorphisms fit together in a precise way
Homomorphisms are structure-preserving maps between algebraic objects, such as groups, rings, or modules
In the context of exact sequences, homomorphisms play a central role in relating the objects and their invariants
Example: In the short exact sequence 0→AfBgC→0, the homomorphisms f and g preserve the algebraic structure of the objects A, B, and C
Kernels, Images, and Cokernels
Kernels
The kernel of a homomorphism f:A→B is the subobject of A consisting of all elements that are mapped to the zero element in B
Kernels capture the notion of the "zero-set" of a homomorphism and play a crucial role in the construction of exact sequences
The kernel of a homomorphism is always a normal subobject, which allows for the formation of quotient objects
Example: In the category of groups, the kernel of a group homomorphism f:G→H is the normal subgroup ker f={g∈G∣f(g)=eH}
Images
The image of a homomorphism f:A→B is the subobject of B consisting of all elements that are the result of applying f to some element in A
Images capture the notion of the "range" of a homomorphism and are essential in the study of surjectivity
In an exact sequence, the image of each homomorphism is equal to the kernel of the next homomorphism
Example: In the category of vector spaces, the image of a linear map f:V→W is the subspace im f={f(v)∣v∈V}
Cokernels
The of a homomorphism f:A→B is the quotient object of B by the image of f
Cokernels capture the notion of the "coimage" of a homomorphism and are dual to the concept of kernels
In an exact sequence, the cokernel of a homomorphism can be identified with the kernel of the next homomorphism
Example: In the category of abelian groups, the cokernel of a group homomorphism f:A→B is the quotient group coker f=B/im f
Splitting Lemma
Splitting Exact Sequences
The splitting lemma states that a short exact sequence 0→AfBgC→0 splits if and only if there exists a homomorphism h:C→B such that g∘h=idC
A split exact sequence implies that B is isomorphic to the direct sum of A and C, i.e., B≅A⊕C
The splitting lemma provides a way to decompose an object in an exact sequence into simpler components
Example: In the category of vector spaces, a short exact sequence 0→U→V→W→0 splits if and only if there exists a linear map s:W→V such that the composition W→V→W is the identity on W
Applications of the Splitting Lemma
The splitting lemma is a powerful tool for understanding the structure of objects in an exact sequence
It allows for the classification of extensions of objects, which has applications in various areas of algebra and topology
The splitting lemma is often used in conjunction with other techniques, such as the , to compute invariants and study the properties of algebraic objects
Example: In the study of group extensions, the splitting lemma can be used to determine whether an extension is trivial or not, providing insights into the structure of the groups involved