Direct sums of modules
We’ve covered direct sums in the case of abelian groups — that is, -modules — but the concept extends to modules over arbitrary rings. This gives me a good chance to go back and clean up my coverage.
We build the direct sum of two -modules and on the product of the underlying sets. We define an abelian group structure by , and an action of by .
Now, here’s the diagram:
The direct sum of two left -modules and comes equipped with four module homomorphisms. For we have the pair and . These are defined as follows:
There is a similar pair with a similar definition for . These homomorphisms satisfy the identities
where is the identity homomorphism on the module , and is the homomorphism between two modules sending every element of the domain to the element in the codomain.
Now if we have any two homomorphisms and from a module to and respectively, then there is a unique homomorphism making the two triangles on the top commute. That is, , and similarly for . In fact, we can define , for then
and so on. Similarly, given two homomorphisms and from and to a module , then the homomorphism is the unique homomorphism making the lower two triangles commute.
The upshot of all this is that the direct sum behaves like both the direct product and the free product of two groups, since it satisfies both universal properties. For any finite number of modules we can build the direct sum and it also satisfies the analogous universal properties, and comes equipped with analogous injections and projections satisfying analogous relations to those above.
The upshot of all this is that the direct sum of a finite collection of -modules behaves like both the direct product and the free product of groups. In fact, we can take that as the definition, derive the relations between the injections and projections, and use the above construction to show such a thing actually exists. On the other hand, we can take the relations between injections and projections as the definitions, use the construction to show existence, and derive the universal property from the relations as above.
For an infinite index set the situation is a bit more complicated. Here we use the definition from the injections and projections with the specified relations. Then the underlying set of the infinite direct sum is not the infinite cartesian product of the underlying sets. It’s actually the list of all such “-tuples” where all but a finite number of the entries are the elements of the respective modules. This only satisfies the universal property for the — the bottom of the diagram above. For the top we really do need the infinite direct product of the modules, which uses the whole infinite cartesian product of the underlying sets. However, for most purposes the direct sum is all we need, and the relations between the injections and the projections are the most useful part of this definition.
[…] one thing, given a pair of vector spaces and , we can take their direct sum . Now if each of them has an identified cone of positive vectors, we can set up a cone on the […]
Pingback by Ordered Linear Spaces II « The Unapologetic Mathematician | September 24, 2007 |
[…] this tells us that our category of vector spaces has a biproduct — the direct sum — and in particular a zero object — the trivial -dimensional vector space . It also has […]
Pingback by Linear Algebra « The Unapologetic Mathematician | May 19, 2008 |
[…] Sum of Subspaces We know what the direct sum of two vector spaces is. That we define abstractly and without reference to the internal structure […]
Pingback by The Sum of Subspaces « The Unapologetic Mathematician | July 21, 2008 |
[…] Sums of Representations We know that we can take direct sums of vector spaces. Can we take representations and and use them to put a representation on ? Of […]
Pingback by Direct Sums of Representations « The Unapologetic Mathematician | December 9, 2008 |
[…] that the adjoints and are the projection operators corresponding to the inclusions and in a direct sum representation of as . It’s clear from general principles that there must be some projections, but […]
Pingback by The Singular Value Decomposition « The Unapologetic Mathematician | August 17, 2009 |
[…] decomposability. We say that a module is “decomposable” if we can write it as the direct sum of two nontrivial submodules and . The direct sum gives us inclusion morphisms from and into , […]
Pingback by Decomposability « The Unapologetic Mathematician | September 24, 2010 |
[…] the general rules of direct sums tell us we can inject and back into , and […]
Pingback by Hom-Space Additivity « The Unapologetic Mathematician | October 11, 2010 |
[…] are four of the five relations we need to show that decomposes as the direct sum of and . The remaining one […]
Pingback by The Tangent Space of a Product « The Unapologetic Mathematician | April 27, 2011 |