2

As I understand it, a module is a ring action on an abelian group, usually a group that carries the operation of addition. I get this because I think of it as a set of elements where these abstract algebraic operations are just the things I do to elements in the set.

But unlike vectors, I have no idea how to visualize modules in a practical context. For vectors, we use arrows. And this naturally leads to applications such as in physics with force. So through physics, I became very familiar with vectors and it allowed me to use them for more abstract things.

Is there analogous entity to an arrow I can use to understand and become more familiar with modules? If not, what are some practical applications of modules that could help me see what modules can be used for?

Thanks!

  • It depends a lot on the ring, but the intuition of modules being a generalization of vector spaces is always there. Note that even with vector spaces, you don't get to have an arrow representation if your base field isn't $\mathbb R$. Still the intuition works in many cases. For example, the determinant, which is defined as the signed volume, becomes a lot less intuitive when the field is, say, $\mathbb Z / p\mathbb Z$, but Cramer's rule still works. – Tunococ Dec 08 '14 at 21:18
  • 1
    Funnily, for me the process worked backwards: My first intuition of a module was an analogue to vectors over a field - i.e. "more irregular vectors" (I never got accustomed to picturing vectors as arrows, which made it easier). Only after a while I started looking at modules as Abelian groups with a ring action and this is my "intuition" now in most cases. Anyway, this perspective is very natural in some respects - e.g. when dealing with modules over group algebras/quiver algebras, i.e. basically a group/quiver representations, this seems to me as the only way how not to get lost. – Pavel Čoupek Dec 08 '14 at 21:49
  • @PavelC I feel very similarly about the ring action as being intuitive. But I don't immediately see what it could be used for in the same way I do vectors. So I was hoping someone could help me find examples that highlighted what they can be used for. They arise in this book I read called the Topos of Music and I can't understand that book until I better grasp modules. – Stan Shunpike Dec 09 '14 at 00:19

1 Answers1

3

In algebraic geometry, modules over commutative rings can be seen as "bundles" on the spectrum of the ring. In detail, if $R$ is a commutative ring and $M$ is an $R$-module, then there is an associated sheaf of modules $\widetilde{M}$ on the scheme $\mathrm{Spec}(R)$ whose module of global sections is exactly $M$. The stalk of $\widetilde{M}$ at some point $\mathfrak{p} \in \mathrm{Spec}(R)$ is the localization $M_\mathfrak{p}$, the fiber is given by $M_\mathfrak{p}/\mathfrak{p} M_\mathfrak{p}=M \otimes_R Q(R/\mathfrak{p})$, which is a $Q(R/\mathfrak{p})$-vector space. Although not completely correct, one may imagine a (finitely generated) $R$-module $M$ as a bunch of these vector spaces. (It is more accurate to consider the stalks $M_\mathfrak{p}$.)

For example, consider the $\mathbb{Z}$-module $\mathbb{Z}/6$. The associated sheaf has support $\{(2),(3)\}$, and the fibers are $\mathbb{Z}/2$ at $(2)$ and $\mathbb{Z}/3$ and $(3)$. Thus, this module becomes free of rank $1$ when restricted to its support. Now consider the $\mathbb{Z}$-module $\mathbb{Z} \oplus \mathbb{Z}/5$. The support of the associated sheaf is the whole spectrum $\mathrm{Spec}(\mathbb{Z})$. The fiber at $(5)$ is $\mathbb{Z}/5 \oplus \mathbb{Z}/5$, a $2$-dimensional vector space over $\mathbb{Z}/5$. The fiber at $(0)$ (usually called the "generic fiber") is the $1$-dimensional vector space $\mathbb{Q}$ over $\mathbb{Q}$. If $p \neq 5$, the fiber at $(p)$ is the $1$-dimensional vector space $\mathbb{Z}/p$ over $\mathbb{Z}/p$. You may imagine that the $\mathbb{Z}$-module $\mathbb{Z} \oplus \mathbb{Z}/5$ is "made up" out of these vector spaces.

bundle

However, in order to understand a module, it is often not enough to look at its fibers. There are many subtle properties and invariants of modules; for example flatness, torsion, semisimplicity, projectivity, invertibility, local freeness, depth, projective dimension, injective dimension, etc.

Here is one of the uncountable reasons why it is interesting to look at modules: If $R,S$ are commutative rings such that the categories of modules are equivalent, $\mathsf{Mod}(R) \simeq \mathsf{Mod}(S)$, then $R$ and $S$ are isomorphic. In fact, $R$ can be constructed from $\mathsf{Mod}(R)$ as the center of this category. It follows that, at least theoretically, we can understand a commutative ring by looking at its category of modules. In fact, ring theory benefits a lot from module theory. There is a theorem (due to Serre) which states that a commutative local ring is regular if and only if its global dimension is finite, i.e. the set of projective dimensions of modules is bounded. This implies that that localizations of regular local rings are regular again, which is a purely ring-theoretic fact but which is hard to prove without the theory of modules.

The theory of modules over non-commutative rings is closely connected to representation theory, which is about the "symmetry in linear spaces". For example, if $G$ is a group and $k$ is a field, then we may construct the group ring $k[G]$, and the category of left $k[G]$-modules is isomorphic to the category of $k$-linear representations of $G$. Large parts of representation theory are actually module theory.

  • 1
    Obviously questions on SE are platforms for everyone to learn. So for some this will be a fantastic answer. And I too enjoyed it. Unfortunately, I only have just started learning about 80% of the stuff you used in your explanation, so I am barely able to understand what it says. I was hoping for something a little more real world--an application like physics or any other common use for vectors, except instead for modules. So if you or anyone else could post something along those lines, it might be helpful for people not as knowledgeable as the intended audience of this answer. – Stan Shunpike Dec 09 '14 at 00:12
  • I am sorry for that. You are right that this answer is a little bit advanced. I think that others will have better explanations for real-world applications of modules. Good luck! – Martin Brandenburg Dec 09 '14 at 00:19