More modules, more ideals
The first construction I want to run through today is related to the amalgamated free product from group theory. Here’s the diagram in modules:
Remember we read it as follows: If we have modules , , and , and homomorphisms from into each of and , then the “amalgamated direct sum” is another module with homomorphisms into it from each of and making the square commute. Further, for any other module and pair of homomorphisms into it, there is a unique homomorphism from to .
How do we know that such a thing exists? Well, we can take the direct sum of and , which comes with homomorphisms into it from and . Then we can follow both paths from to . In general they’re different homomorphisms, since one has an image completely in and the other completely in . But since we’re looking at module homomorphisms we can subtract one from the other. To make the square commute we want the image of this difference to be zero, and we can make it be zero by forming the quotient module!
This turns out to be useful right away. Let’s say that and are both submodules of a module . They definitely share the zero element of , but they might share a larger submodule than that. It’s easily verified that their intersection is a submodule, and it comes with inclusion homomorphisms into each of and . Now if we want to “add” the submodules and , we had better not treat elements in their intersection differently depending on which submodule module we pick them from, since they’re all just submodules of , so the direct sum isn’t what we want.
Instead, we find that the submodule of all elements of of the form with and is isomorphic to the direct sum amalgamated over their intersection. In particular, we can apply this to submodules of our base ring itself — ideals! We define the sum of two ideals as this sum of submodules of .
There’s one more thing we can do for ideals. If we have a left ideal and an abelian subgroup then we can form their tensor product over : . Since is a left -submodule, this turns out to be a left -submodule of . Then we can use the multiplication on to get a homomorphism . We denote its image as , and it is a left ideal of . In terms of elements, it’s the set of all sums of products in : with and . In particular, we could choose to be another ideal and get the product of ideals .
Now here’s where it gets really fun. Start with a ring and consider the collection of all its left ideals . There are a bunch of things we can show about these operations on ideals, which I’ll leave as exercises. If it’s easier, use the descriptions in terms of elements, but I think it’s more satisfying to work with the diagrams and universal properties. Here , , and are ideals, and is the ideal consisting of only the zero element.
What does all this mean? The collection of left ideals of form a rig, like the natural numbers! Further if has a unit, then we find , so this rig has a unit. If is commutative, then so the rig is too.