In Homology and Cohomology we used the concept of chain complexes to investigate topological spaces. In Exact Sequences we saw examples of chain complexes generalized to abelian groups other than that made out of topological spaces. In this post we study chain complexes in the context of linear algebra (see Vector Spaces, Modules, and Linear Algebra).
We start with some definitions regarding modules. In More on Vector Spaces and Modules we gave the definition of a basis of a vector space. It is known that any vector space can always have a basis. However, the same is not true for modules. It is only a certain special kind of module called a free module which has the property that one can always find a basis for it.
Alternatively, a free module over a ring may be thought of as being a module that is isomorphic to a direct sum of several copies of the ring
.
An example of a module that is not free is the module over the ring
. It is a module over
since it is closed under addition and under multiplication by any element of
, however a basis that will allow it to be written as a unique linear combination of elements of the basis cannot be found, nor is it a direct sum of copies of
.
Although not all modules are free, it is actually a theorem that any module is a quotient of a free module. Let be a module over a ring
. The theorem says that this module is the quotient of some free module, which we denote by
, by some other module which we denote by
. In other words,
We can write this as the following chain complex, which also happens to be an exact sequence (see Exact Sequences):
We know that the module is free. However, we do not know if the same holds true for
. Regardless, the theorem says that any module is a quotient of a free module. Therefore we can write
We can therefore put these chain complexes together to get
However, this sequence of modules and morphisms is not a chain complex since the image of is not contained in the kernel of
. But if we compose these two maps together, we obtain
where . This is a chain complex as one may check. We can keep repeating the process indefinitely to obtain
This chain complex is called a free resolution of . A free resolution is another example of an exact sequence.
We now introduce two more special kinds of modules.
A projective module is a module such for any surjective morphism
between two modules
and
and morphism
, there exists a morphism
such that
.
It is a theorem that a module is projective if and only if it is a direct summand of a free module. This also means that a free module is automatically also projective.
An injective module is a module such for any injective morphism
between two modules
and
and morphism
, there exists a morphism
such that
.
Similar to our discussion regarding free resolutions earlier, we can also have projective resolutions and injective resolutions. A projective resolution is a chain complex
such that the are projective modules.
Meanwhile, an injective resolution is a chain complex
such that the are injective modules.
Since projective and injective resolutions are chain complexes, we can use the methods of homology and cohomology to study them (Homology and Cohomology) even though they may not be made up of topological spaces. However, the usual procedure is to consider these chain complexes as forming an “abelian category” and then applying certain functors (see Category Theory) such as what are called the “Tensor” and “Hom” functors before applying the methods of homology and cohomology, resulting in what are known as “derived functors“. This is all part of the subject known as homological algebra.
References:
Projective Module on Wikipedia
An Introduction to Homological Algebra by Joseph J. Rotman
Abstract Algebra by David S. Dummit and Richard M. Foote
Pingback: The Hom and Tensor Functors | Theories and Theorems
Pingback: Cohomology in Algebraic Geometry | Theories and Theorems
Pingback: Etale Cohomology of Fields and Galois Cohomology | Theories and Theorems
Pingback: Direct Images and Inverse Images of Sheaves | Theories and Theorems
Pingback: An Intuitive Introduction to String Theory and (Homological) Mirror Symmetry | Theories and Theorems