Chain complexes are sequences of abelian groups connected by maps. They're crucial in homological algebra, helping us study algebraic structures and topological spaces. The key property is that composing two consecutive boundary maps gives zero.
This section dives into the definition and properties of chain complexes. We'll explore cycles, boundaries, and , which measure "holes" in algebraic objects. Understanding these concepts is essential for grasping the broader ideas in homological algebra.
Chain Complexes and Graded Modules
Definition and Structure
Top images from around the web for Definition and Structure
5.6: Coordination Numbers and Structures - Chemistry LibreTexts View original
Is this image relevant?
9: Coordination Chemistry I - Structure and Isomers - Chemistry LibreTexts View original
Is this image relevant?
MultiwayGroup | Wolfram Function Repository View original
Is this image relevant?
5.6: Coordination Numbers and Structures - Chemistry LibreTexts View original
Is this image relevant?
9: Coordination Chemistry I - Structure and Isomers - Chemistry LibreTexts View original
Is this image relevant?
1 of 3
Top images from around the web for Definition and Structure
5.6: Coordination Numbers and Structures - Chemistry LibreTexts View original
Is this image relevant?
9: Coordination Chemistry I - Structure and Isomers - Chemistry LibreTexts View original
Is this image relevant?
MultiwayGroup | Wolfram Function Repository View original
Is this image relevant?
5.6: Coordination Numbers and Structures - Chemistry LibreTexts View original
Is this image relevant?
9: Coordination Chemistry I - Structure and Isomers - Chemistry LibreTexts View original
Is this image relevant?
1 of 3
A is a sequence of abelian groups or modules Cn connected by homomorphisms dn:Cn→Cn−1 called boundary maps or
The boundary maps satisfy the condition dn−1∘dn=0 for all n, meaning the composition of any two consecutive boundary maps is the zero map
A is a module that can be expressed as a direct sum of submodules indexed by the integers, i.e., M=⨁n∈ZMn
The elements of Mn are said to have degree n, and the degree of a homogeneous element x∈Mn is denoted by ∣x∣=n
Boundary Operators and Differentials
The or differential dn:Cn→Cn−1 lowers the degree of the elements by 1
The condition dn−1∘dn=0 implies that the of dn is contained in the of dn−1, i.e., im dn⊆kerdn−1
This condition is necessary for the homology groups of the chain complex to be well-defined
The differential can be thought of as a generalization of the boundary operator in simplicial or cellular homology, which maps a chain to its boundary
Exactness and Homology
Exact Sequences
A sequence of abelian groups or modules and homomorphisms between them is called exact if the image of each is equal to the kernel of the next homomorphism
In the context of chain complexes, a short is a sequence of the form 0→AfBgC→0, where f is injective, g is surjective, and im f=kerg
Exact sequences are important tools in homological algebra, as they allow for the study of relationships between different chain complexes and their homology groups
Cycles, Boundaries, and Homology
A in a chain complex (Cn,dn) is an element x∈Cn such that dn(x)=0, i.e., an element in the kernel of the boundary map
A boundary in a chain complex (Cn,dn) is an element x∈Cn such that there exists a y∈Cn+1 with dn+1(y)=x, i.e., an element in the image of the boundary map
The n-th homology group of a chain complex (Cn,dn) is defined as the Hn(C)=kerdn/im dn+1, i.e., the cycles modulo the boundaries
Homology groups measure the "holes" or "voids" in a topological space or algebraic object, with different dimensions of holes corresponding to different homology groups
Chain Homotopy
Definition and Properties
A between two chain maps f,g:C→D is a sequence of homomorphisms hn:Cn→Dn+1 such that fn−gn=dn+1D∘hn+hn−1∘dnC for all n
If there exists a chain homotopy between f and g, then f and g are said to be chain , denoted by f≃g
Chain homotopy is an equivalence relation on the set of chain maps between two chain complexes
Chain homotopic maps induce the same homomorphisms on homology, i.e., if f≃g, then f∗=g∗:Hn(C)→Hn(D) for all n, where f∗ and g∗ are the induced maps on homology
The concept of chain homotopy is analogous to the notion of homotopy between continuous maps in topology, but adapted to the algebraic setting of chain complexes