The Unapologetic Mathematician

Mathematics for the interested outsider

Modules

The analogue in ring theory for the idea of a group action is that of a module. Again we want every element of the ring to behave like a function on a set and for multiplication to correspond to composition of functions, but now we have the addition floating around and we’d like to include it in the structure as well. We’ll handle this by letting the ring act on an abelian group.

So let’s take a ring R and an abelian group M. We say that M has the structure of a left R-module if each element r\in R acts as a linear function from M to itself. We write r\cdot m for the effect of this function on an element m\in M. Linearity here means that r\cdot(m_1+m_2)=r\cdot m_1+r\cdot m_2. We also require that the ring structure play its part

  • (r_1+r_2)\cdot m=r_1\cdot m+r_2\cdot m
  • (r_1r_2)\cdot m=r_1\cdot(r_2\cdot m)
  • 1\cdot m=m if the ring has an identity element 1

We can say all this another way. Since this action of R on M is linear in both the ring and the abelian group we get a linear function from the tensor product \alpha:R\otimes M\rightarrow M just like we had one for the multiplication of the ring: \mu:R\otimes R\rightarrow R. Not every such function will work, though. We also need that the following diagram commutes:
Module action diagram
Around the top of the diagram we use the module action twice, while around the bottom we first multiply in the ring and then use the action once. If the ring has an identity we also require that the following diagram commute
Module identity diagram
where on the top we use the unique linea function sending the integer 1 to the identity in R, and the diagonal is the canonical isomorphism from \mathbb{Z}\otimes M to M.

And there’s another way to say it. Remember that every abelian group M comes equipped with the endomorphism ring {\rm End}(M). An R-module structure on M is a ring homomorphism R\rightarrow{\rm End}(M).

All three ways of defining a module — from the raw axioms, as a linear function R\otimes M\rightarrow M, or as a homomorphism R\rightarrow{\rm End}(M) — are useful in various situations, and it’s important to be able to slide back and forth between the different pictures.

Of course, the fact that I said left R-module above should immediately lead you to think about right R-modules. These are the same, except that the module action is written m\cdot r and satisfies (m\cdot r_1)\cdot r_2=m\cdot(r_1r_2) — the order in which the factors are applied is reversed. Over a commutative ring we often ignore this distinction, since we can always switch the order of any product.

Every ring R immediately has the structure of a left and a right R-module, using multiplication as the action. This is most clearly seen from the tensor-product definition, where the commuting square just expresses the associativity of ring multiplication. On the other hand, every abelian group M immediately has the structure of an {\rm End}(M)-module. This is trivial in the homomorphism picture: just pick the identity homomorphism.

Somewhat more importantly, every abelian group is naturally a \mathbb{Z}-module. We define n\cdot m=m+...+m — adding up n copies of the group element m. Everything we say for modules in general will apply to abelian groups, and in fact much of what we’ve already said about abelian groups will extend to other modules.

At this point I want to make a point about language. The terms “abelian group” and “\mathbb{Z}-module” are interchangeable, but there are cases in which I feel the context clearly indicates using one or the other. Later we’ll come to (and many reader have already seen) “homology groups”, which are more naturally modules than groups. Similarly, the one-dimensional circle, torus, and real projective space are all semantically very different, even though they happen to be equivalent in many situations. I think that this imprecision can lead to confusion on the part of a student, so I’ll try my best to use the most apropriate of equivalent terms.

April 21, 2007 Posted by | Ring theory | 10 Comments

   

Follow

Get every new post delivered to your Inbox.

Join 392 other followers