Modules — Mathematics Knowledge System

Overview

A module over a ring R generalizes the notion of a vector space by allowing the 'scalars' to come from a ring instead of a field — an R-module is an abelian group M equipped with an action of R that respects addition and the ring structure. Because rings need not have multiplicative inverses, modules can behave very differently from vector spaces: they need not have a basis, and two modules of 'the same size' need not be isomorphic. Every abelian group is a ℤ-module, and modules over F[x] classify linear operators on vector spaces, making module theory a unifying language across algebra.

Intuition

A vector space is just a module over a field — modules ask what survives when the scalars lose their multiplicative inverses. This loss is significant: a ℤ-module (equivalently, any abelian group) like ℤ/2ℤ has no 'basis' in the vector-space sense, since you can't scale a generator by 1/2 to get a smaller building block, and torsion (elements killed by scalar multiplication, like 2·x=0 in ℤ/2ℤ) has no analogue over a field. Despite this extra complexity, modules unify a huge amount of algebra: an abelian group is exactly a ℤ-module, and a vector space with a chosen linear operator T is exactly a module over the polynomial ring F[x], where x acts as T — this single idea is what makes the theory of Jordan normal form a special case of the structure theorem for modules over a PID.

Formal Definition

Definition

Let R be a ring with 1. A left R-module is an abelian group (M, +) together with a scalar multiplication R × M → M satisfying, for all r, s ∈ R and m, n ∈ M:

r(m+n) = rm + rn

Distributes over module addition

(r+s)m = rm + sm

Distributes over ring addition

(rs)m = r(sm)

Compatible with ring multiplication

1_R \cdot m = m

Unity acts as identity (unital module)

Worked Examples

ℤ/6ℤ is an abelian group under addition, and ℤ acts by n·m = m+m+...+m (n times), the natural ℤ-module structure on any abelian group.
$n \cdot m := \underbrace{m+m+\cdots+m}_{n}$
Take m = 3 (in ℤ/6ℤ) and r = 2: 2·3 = 6 ≡ 0 (mod 6).
$2 \cdot 3 = 6 \equiv 0 \pmod 6$
So 3 is a torsion element: a nonzero r=2 kills it, something impossible in a vector space over a field (where rv=0 with r≠0 forces v=0).
$2 \neq 0 \text{ in } \mathbb{Z},\ \text{yet } 2\cdot 3 = 0 \text{ in } \mathbb{Z}/6\mathbb{Z}$

Answer: ℤ/6ℤ is a ℤ-module with torsion element 3, since 2·3 ≡ 0 (mod 6) even though 2 ≠ 0 in ℤ — a phenomenon impossible for vector spaces.

Practice Problems

Difficulty 5/10

Explain why every abelian group is automatically a ℤ-module.

Difficulty 6/10

A vector space over a field F is a special case of an R-module. What extra property does F have (compared to a general ring R) that guarantees every F-module (vector space) has a basis?

Difficulty 7/10

The Structure Theorem for finitely generated modules over a PID says every such module decomposes as a direct sum of a free part and cyclic torsion modules R/(p⁏). State how this recovers the Fundamental Theorem of Finite Abelian Groups when R = ℤ.

Quiz

Summary

An R-module is an abelian group with a compatible R-scalar action, generalizing vector spaces to arbitrary rings of scalars.
Modules need not have a basis and can have torsion (nonzero r with rm=0), phenomena impossible for vector spaces over a field.
Every abelian group is a ℤ-module, and the Structure Theorem for modules over a PID generalizes the Fundamental Theorem of Finite Abelian Groups.

References

WebsiteWikipedia — Module (mathematics)