Modules Over Rings

Modules generalize the concept of vector spaces by replacing the underlying field with a ring, allowing you to study linear algebraic structures in contexts where division is not always available. This abstraction is fundamental in advanced algebra, number theory, and algebraic geometry, as it provides a unified framework for understanding abelian groups, linear transformations, and more. By mastering modules, you gain tools to analyze systems where coefficients come from rings like integers or polynomials, which are essential for deeper mathematical theories.

Defining Modules and Basic Examples

A module over a ring $R$ formalizes the idea of an abelian group equipped with a scalar multiplication by elements of $R$. Specifically, a left $R$-module $M$ is an abelian group with an operation $+$, together with a scalar multiplication map $R\times M\to M$, written as $(r,m)\mapsto r\cdot m$, that satisfies four axioms for all $r,s\in R$ and $m,n\in M$: $r\cdot (m+n)=r\cdot m+r\cdot n$, $(r+s)\cdot m=r\cdot m+s\cdot m$, $(rs)\cdot m=r\cdot (s\cdot m)$, and if $R$ has a multiplicative identity $1$, then $1\cdot m=m$. Right $R$-modules are defined similarly, with scalar multiplication on the right. When $R$ is a field, an $R$-module is precisely a vector space over that field, but over general rings, key properties like the existence of bases can fail.

For example, any abelian group $G$ is a $\mathbb{Z}$-module, where scalar multiplication by an integer $n$ is defined as repeated addition: $n\cdot g=g+g+\cdots +g$ ($n$ times). Another common example is a vector space $V$ over a field $k$ with a linear transformation $T:V\to V$; this can be viewed as a $k[x]$-module, where $x$ acts via $T$. Modules also arise naturally in ring theory: any ideal $I$ of a ring $R$ is an $R$-module under the ring multiplication. These examples illustrate how modules encapsulate diverse structures, from number theory to linear algebra.

Submodules and Quotient Modules

Within an $R$-module $M$, a submodule $N$ is a subset that is itself an $R$-module under the same operations, meaning $N$ is closed under addition and scalar multiplication. Submodules generalize subspaces in vector spaces and ideals in rings. For instance, in the $\mathbb{Z}$-module ${\mathbb{Z}}^2$ (which is an abelian group under addition), the set $\{(n,0)\mid n\in \mathbb{Z}\}$ is a submodule. Over a ring $R$, the submodules of $R$ itself, considered as an $R$-module, are exactly the left ideals of $R$.

Given a submodule $N$ of $M$, you can form the quotient module $M/N$ by taking the quotient abelian group and defining scalar multiplication as $r\cdot (m+N)=(r\cdot m)+N$. This construction is well-defined because $N$ is closed under scalar multiplication. Quotient modules allow you to study modules modulo submodules, similar to quotient groups or rings. The isomorphism theorems from group theory carry over: for example, if $f:M\to M^{\prime }$ is a module homomorphism, then $M/\ker (f)\cong \mathrm{im}(f)$. These tools are crucial for breaking down modules into simpler pieces.

Module Homomorphisms and Exact Sequences

An $R$-module homomorphism is a function $f:M\to N$ between two $R$-modules that preserves the module structure: $f(m+m^{\prime })=f(m)+f(m^{\prime })$ and $f(r\cdot m)=r\cdot f(m)$ for all $r\in R$ and $m,m^{\prime }\in M$. These maps are the natural morphisms in the category of $R$-modules. The kernel $\ker (f)=\{m\in M\mid f(m)=0\}$ and image $\mathrm{im}(f)$ are submodules of $M$ and $N$, respectively. An isomorphism is a bijective homomorphism, indicating that two modules are structurally identical.

Exact sequences provide a powerful language for relating modules. A sequence of modules and homomorphisms $\cdots \to A\to B\to C\to \cdots$ is exact at $B$ if the image of the incoming map equals the kernel of the outgoing map. Short exact sequences, such as $0\to A\to B\to C\to 0$, indicate that $B$ extends $A$ by $C$. Understanding homomorphisms and exact sequences is key to analyzing module constructions, like direct sums and products, and leads to concepts like injective and projective modules.

Free Modules and Projective Modules

A free module over $R$ is one that has a basis, meaning a set $\{e_i\}$ of elements that are linearly independent (any finite linear combination $\sum r_i{e}_i=0$ implies all $r_i=0$) and span the module (every element can be written as a finite linear combination). For example, $R^n$, the set of $n$-tuples of elements from $R$, is free with standard basis vectors. However, not all modules are free: over $\mathbb{Z}$, the module $\mathbb{Z}/2\mathbb{Z}$ has no basis because every element is torsion, i.e., annihilated by a non-zero scalar.

A module $P$ is projective if every short exact sequence $0\to A\to B\to P\to 0$ splits, meaning $B\cong A\oplus P$. Equivalently, $P$ is a direct summand of a free module. Projective modules generalize free modules and are characterized by the property that homomorphisms from $P$ can be lifted through surjective maps. For instance, over a field, all modules are free and hence projective, but over rings like $\mathbb{Z}$, projective modules are not necessarily free; however, over principal ideal domains (PIDs), projective modules are free. This concept is vital in homological algebra, where projective resolutions are used to compute derived functors.

Structure Theorem for Finitely Generated Modules over PIDs

One of the crowning achievements in module theory is the structure theorem for finitely generated modules over a principal ideal domain (PID). It states that if $R$ is a PID and $M$ is a finitely generated $R$-module, then $M$ is isomorphic to a direct sum of cyclic modules: $$M\cong R^r\oplus R/(a_1)\oplus R/(a_2)\oplus \cdots \oplus R/(a_k)$$ where $r$ is a non-negative integer called the free rank, and $a_1,a_2,\dots ,a_k$ are non-zero, non-unit elements of $R$ such that $a_1\mid a_2\mid \cdots \mid a_k$ (each divides the next). The elements $a_i$ are called invariant factors, and they are unique up to multiplication by units in $R$. The free part $R^r$ is a free module, while the torsion part consists of modules of the form $R/(a_i)$.

For example, when $R=\mathbb{Z}$, this theorem classifies finitely generated abelian groups: any such group is isomorphic to ${\mathbb{Z}}^r\oplus \mathbb{Z}/d_1\mathbb{Z}\oplus \cdots \oplus \mathbb{Z}/d_k\mathbb{Z}$ with $d_1\mid d_2\mid \cdots \mid d_k$. Over $R=k[x]$ where $k$ is a field, it classifies finite-dimensional vector spaces with a linear transformation, leading to rational canonical forms. Applying this theorem involves finding invariant factors via Smith normal form of presentation matrices, which you can compute using row and column operations over the PID.

Common Pitfalls

1. Assuming all modules have bases like vector spaces. Over a field, every module is free, but over rings, many modules are not free. For example, the $\mathbb{Z}$-module $\mathbb{Z}/n\mathbb{Z}$ has no basis because any element is annihilated by $n$. Correction: Remember that only free modules have bases; always check the ring properties before assuming linear independence.

1. Confusing torsion elements in modules over general rings. In a $\mathbb{Z}$-module, torsion elements have finite order, but over an arbitrary ring $R$, an element $m\in M$ is torsion if there exists a non-zero $r\in R$ such that $r\cdot m=0$. Correction: Define torsion relative to the ring's elements, and note that over domains, torsion elements form a submodule, but over rings with zero divisors, this might not hold.

1. Misapplying the structure theorem to non-PIDs. The structure theorem is specific to principal ideal domains. Over rings like $\mathbb{Z}[x]$ or non-PID Dedekind domains, finitely generated modules have more complex classifications. Correction: Verify that the ring is a PID (e.g., $\mathbb{Z}$, $k[x]$) before using the theorem; otherwise, explore other tools like primary decomposition.

1. Overlooking the side of module actions when working with homomorphisms. For left modules, homomorphisms must satisfy $f(r\cdot m)=r\cdot f(m)$, but if you mix left and right modules, scalar multiplication compatibility can fail. Correction: Consistently specify whether modules are left or right, and ensure homomorphisms respect the chosen side; often, assumptions are made based on context.

Summary

• Modules generalize vector spaces by allowing scalars from a ring, not just a field, enabling the study of abelian groups with ring actions in unified framework.
• Submodules and quotient modules provide ways to decompose and analyze modules, with isomorphism theorems mirroring those in group and ring theory.
• Module homomorphisms are structure-preserving maps that lead to exact sequences, essential for understanding relationships between modules.
• Free modules have bases, but over rings, not all modules are free; projective modules are direct summands of free modules and play a key role in homological algebra.
• The structure theorem for finitely generated modules over PIDs gives a complete classification into free and torsion parts, with applications to abelian groups and linear algebra.
• Avoid common mistakes such as assuming bases exist universally, misinterpreting torsion, or applying the structure theorem outside PIDs.