## Modules (Pt. I)

**Point of Post: **In this post we introduce the notion of modules and their pursuant definitions.

*Motivation*

We now begin discussing one of the most important and prevalent structures in modern mathematics–modules. So, as I always say, before we start belting out definitions and theorems its important to understand precisely what modules are, why anyone would consider them, and why they are useful. So, this is what we shall now do, in parts!

*Definition*

So, let’s begin by defining (roughly) what modules are. Out of all the structures in mathematics modules sit in a unique place to be easily explained. Namely, when one studies modules one usually has had enough math that the idea of a module comes quite easily. Namely, a module is just a vector space where the scalars are elements in some (not necessarily unital or commutative) ring. Said differently, if one goes back to the definition of a vector space (over a field) which everyone reading this (presumably) has seen (if not, start there!) and replaces the field with a general ring one has a (left) -module!

*Why Someone Would Consider Modules*

So, now lets move onto why someone would ever consider modules. This is prettily well reworded as “where have I seen modules before?” Luckily this is, once again, an extremely ‘easy’ question to answer (since modules abound in mathematics). Indeed, if one really sat down and thought about it I bet one could think of instances in their mathematics career where they wanted to do ‘linear algebra’ in a situation that was totally ‘linear algebraic’ but couldn’t because their scalars weren’t in a field! Probably the earliest memory I have of this was trying some competition math problems where I had to prove some fact about matrices in . For example, I might try to say something like “Oh! Well, since the determinant is nonzero we know that it has an inverse in !” or “Oh, well since the standard basis for is also a basis for …wait, what does basis mean here?” (although technically if one does enough group theory, it’s clear what it means)

Of course, this is not the only case of having ‘linear algebra over rings’. Probably the second most interesting example comes from linear algebra itself. Namely, suppose we are given some vector space . We know that the set of endomorphisms on is an abelian group (in fact, it’s an associative algebra). Moreover, there is a natural ring which acts on (although one may have never thought about it directly), namely . All the time in linear algebra we are taking polynomials of never realizing that we are doing ‘linear algebra’ when we think of as a -module. To elucidate (very slightly) that this isn’t just semantic naming of things one can recall the importance of the minimal polynomial for some in the study of . Well, it turns out that the set of all annihilating is an ideal. But, we know that is a PID and so this ideal is generated by some element of …I’ll give you three guesses which one (hint: it’s ).

So, we have discussed two examples where the idea of generalizing vector spaces to modules led to some interesting results. We’d now like to point out two examples which are in a different spirit. Namely, modules subsume two giant classes of objects which I have previously studied. First, it’s not hard to imagine (analogizing with vector spaces) that every ring is a module over itself. Thus, modules can (in a very real sense) be seen as a generalization of ring theory, The second thing to notice is that if one is a given some abelian group there is a natural way to turn into -module. How? Well, as funny as its sounds its just the -fold summation we never think about using. Namely, for is just the -fold sum of adjusted to be plus or minus depending upon the sign of . Thus, we see that module theory naturally generalizes abelian groups (often the infinite ones, but not always).

*Uses*

So, where are we going to find modules useful? By this, I mean besides the obvious appeal of being able to due more general ‘linear algebra’. Well, there are two powerful theorems which we shall eventually prove using module theory that one has mostly likely already seen: the fundamental theorem for finitely generated abelian groups and the Jordan decomposition theorem (gotten by studying the action of on abelian groups and on -vector spaces respectively). That said, we shall (hopefully) see that modules pop up everywhere in some of the more advanced subjects. Indeed, modules hold a key position in algebraic topology and algebraic geometry. Moreover, representation theory is almost entirely (secretly, the way I have done it on this blog, I hope to ‘redo’ it in some sense module theoretically soon enough) the study of the interaction of groups and modules. The same could be said about group cohomology. We shall also see (I am doing an independent study in this next term, so this should be clear soon enough) that the category of -modules shall serve as a prime example and motivation in our study of category theory.

*Modules*

So, there are two equivalent ways we can think about modules. Let’s first think about modules in the way I stated in the motivation, as “vector spaces” over rings. Namely, let be an abelian group, a ring, and be a given map. Then, the triple is called a *left R-module* provided the following axioms hold for all and

The ring is called the *ground ring *or *base ring. *and is called the *multiplication map.* As always, we omit for concatenation so that, for example, axiom would read . If in addition we have that is unital we say that is a *unital left -module* if in addition to the above axioms we have that for all . In the majority of cases we shall be assuming that our rings and modules are unital and so, if unsure, assume it’s unital.

So, this clearly mirrors the definition of a vector space in the sense that a unital left -module when is a field is nothing more than a vector space. So, what is the other way to look at left modules? Well, there is an admittedly different way to motivate modules which while, in a sense, is “better” is less intuitive. To be particular, it’s doubtless that anyone associated with any kind of group theory (e.g. finite group theory) is well-acquainted with how much information about a group is contained in its actions on objects (e.g. Sylow’s theorems). Consequently, it makes sense that to understand rings we should perhaps look at the actions of rings on sets. So, what exactly should this mean? Well, the ‘obvious’ definition (modeling off of the definition of group actions) is sort of ambiguous since we’d like to (in a perfect world where everything generalizes nicely) just define a ring action to be a homomorphism for some set , right? But, there’s a problem…what kind of homomorphism? Clearly we can’t exclaim “ring!” as would be easy since there is no natural way (let alone a predefined one) to turn into a ring. That said, if had more structure than just some set, if it was something richer, perhaps we could find a set analogous to (i.e. a set of mappings on a fixed object) which would do the trick. ::cue perfectly timed realization:: Aha! There is something that fits the bill perfectly. In particular, if happened to be an abelian group then we know that set is naturally a ring under composition and point-wise addition. Thus, what if we defined a ring action of a ring on the abelian group to be a ring homomorphism , which should be a unital homomorphism when is. One can quickly check then that if one has a ring action then the map defines a natural left -module structure on , and conversely if is a left -module with multiplication map then one can quickly check that the map given by is a ring action. Thus, studying modules is really the same pursuit as studying ring actions on abelian groups.

**References:**

[1] Dummit, David Steven., and Richard M. Foote. *Abstract Algebra*. Hoboken, NJ: Wiley, 2004. Print.

[2] Rotman, Joseph J. *Advanced Modern Algebra*. Providence, RI: American Mathematical Society, 2010. Print.

[3] Bhattacharya, P. B., S. K. Jain, and S. R. Nagpaul. *Basic Abstract Algebra*. Cambridge [Cambridgeshire: Cambridge UP, 1986. Print.

[…] in the above we have fixed a particular ring. We then define, obviously, to be the class of all left -modules, where we require the modules to be unital if is. Not shockingly is just the category of all […]

Pingback by Examples of Categories (Revisited) « Abstract Nonsense | November 2, 2011 |

[…] said, in my first post discussing modules, that the idea behind module theory was that it was, in a very real sense, a […]

Pingback by Free Modules (Pt. I) « Abstract Nonsense | November 16, 2011 |

[…] Let be a vector space (or more generally and -module over a division ring) and any linearly independent subset of . Then, there exists a basis for […]

Pingback by Every Vector Space Has a Basis « Abstract Nonsense | November 17, 2011 |

[…] our next example let be some fixed unital ring. Then, an additive functor is nothing more than a unital left – module . Indeed, suppose first that is such a functor and let be the abelian group which is the image […]

Pingback by Ab-categories and Preadditive Categories (Pt. II) « Abstract Nonsense | January 2, 2012 |

[…] often when we run into -modules (where we assume that is commutative and unital) there is more structure involved, namely the […]

Pingback by R-Algebras « Abstract Nonsense | January 10, 2012 |

[…] course, this is the same thing as saying to understand a unital ring we should look at the modules over . Once you understand Yoneda’s lemma, and its consequences the reason we study a lot of the […]

Pingback by Yoneda’s Lemma (Pt. I) « Abstract Nonsense | January 14, 2012 |