Rings and modules

Intuition Beginner

A ring is a number system where you can add, subtract, and multiply. The integers are the guiding example: combine any two and you get another, in a way where the usual rules (order of operations, distribution) hold.

A module is the ring-version of a vector space. Where a vector space lets you scale vectors by numbers from a field, a module lets you scale by elements of a ring. Scaling integers by integers gives back integers, so the integers are a module over themselves.

The shift from fields to rings is where algebra stops being linear arithmetic and starts being structural. Most of modern algebra, number theory, and algebraic geometry runs on modules over rings.

Visual Beginner

A ring is one set with two operations layered on it; a module is a second set acted on by the ring.

The ring stays on the left as the system of scalars; the module on the right is what those scalars move and stretch.

Worked example Beginner

Take the ring of integers and the module of pairs of integers. Scale the pair $(3,5)$ by the ring element $4$.

Step 1. Multiply each entry: $4\times 3=12$ and $4\times 5=20$.

Step 2. The scaled pair is $(12,20)$.

Scaling by $-1$ gives $(-3,-5)$. Scaling by $0$ gives $(0,0)$.

What this tells us: a module is a set the ring acts on by scaling, with the usual arithmetic rules preserved.

Check your understanding Beginner

Formal definition Intermediate+

A ring is a set $R$ with two operations $+$ and $\cdot$ such that $(R,+)$ is an abelian group with identity $0$, multiplication is associative with identity $1$, and multiplication distributes over addition: $a(b+c)=ab+ac$ and $(a+b)c=ac+bc$. A ring is commutative if $ab=ba$ for all $a,b$ ^{[Atiyah-Macdonald Ch. 1]}.

An ideal $I◃R$ is an additive subgroup closed under multiplication by arbitrary ring elements: $ra\in I$ for $r\in R$, $a\in I$. The quotient ring $R/I$ identifies elements differing by an element of $I$.

A (left) module $M$ over $R$ is an abelian group with a scalar action $R\times M\to M$, $(r,m)\mapsto rm$, satisfying $r(m+n)=rm+rn$, $(r+s)m=rm+sm$, $(rs)m=r(sm)$, and $1m=m$ ^{[Lang §VI]}.

A ring homomorphism $f:R\to S$ preserves addition, multiplication, and $1$. Its kernel is an ideal of $R$; its image is a subring of $S$.

Counterexamples to common slips

• $\mathbb{Z}/6\mathbb{Z}$ has zero-divisors. The classes of $2$ and $3$ are nonzero but their product is $0$. Rings need not be domains.
• Not every module is free. The $\mathbb{Z}$-module $\mathbb{Z}/2\mathbb{Z}$ has no basis; it is torsion.
• Submodules need not be direct summands. In $\mathbb{Z}$, the submodule $2\mathbb{Z}$ has no complement, unlike the vector-space situation.

Key theorem with proof Intermediate+

Theorem (First isomorphism theorem for rings). Let $f:R\to S$ be a ring homomorphism. Then $R/\ker f\cong \mathrm{im}f$ as rings.

Proof. Write $K=\ker f$. Define $\bar{f}:R/K\to S$ by $\bar{f}(r+K)=f(r)$. The definition is sound: if $r+K=r^{\prime }+K$ then $r-r^{\prime }\in K$, so $f(r-r^{\prime })=0$, hence $f(r)=f(r^{\prime })$. The map $\bar{f}$ is a homomorphism because

$$\bar{f}((r+K)(s+K))=\bar{f}(rs+K)=f(rs)=f(r)f(s)=\bar{f}(r+K)\bar{f}(s+K),$$

and likewise for addition. It is injective: $\bar{f}(r+K)=0$ gives $f(r)=0$, so $r\in K$, so $r+K=0+K$. It is surjective onto $\mathrm{im}f$ by construction. $\square$

Bridge. This result builds toward 04.02.01 (the spectrum of a ring), where ideals become geometric points, and appears again in 03.01.05 (quotient algebra) as the algebraic engine that constructs Clifford algebras and tensor quotients. The foundational reason quotient constructions recur across algebra is that homomorphisms are determined by what they kill; putting these together, the kernel-to-image correspondence is exactly the pattern that identifies algebraic structure with the data of congruence relations, and the bridge is that every quotient is a homomorphism image and conversely.

Exercises Intermediate+

Lean formalization Intermediate+

lean_status: none is recorded for this curriculum unit because the project still needs a local bridge from the elementary statements here to the downstream consumers (scheme spectra in 04.02.01, Galois groups in 01.04.01). Mathlib itself has the full Ring, Ideal, Module, and quotient infrastructure.

Advanced results Master

The ideal lattice of a ring encodes its arithmetic geometry. Maximal ideals correspond to fields as quotients; prime ideals correspond to integral domains and, geometrically, to the points of the scheme $\mathrm{Spec}R$ 04.02.01. The Chinese remainder theorem decomposes quotients by comaximal ideals, and localisation $R\to S^{-1}R$ inverts elements, producing the local rings on which algebraic geometry is built ^{[Atiyah-Macdonald §1–3]}.

Modules measure how a ring acts. The classification of finitely generated modules over a principal ideal domain (structure theorem: direct sum of a free module and torsion modules of the form $R/(p^n)$) underpins linear algebra over $\mathbb{Z}$ (abelian groups) and over $k[x]$ (rational canonical form). Noetherian rings, where ideals satisfy the ascending chain condition, are the setting of modern algebraic geometry: Hilbert's basis theorem makes every finitely generated $k$-algebra Noetherian ^{[Eisenbud Ch. 1]}.

The tensor product of modules linearises bilinear maps and is the algebraic substrate of homological algebra, base change in algebraic geometry, and induced representations 03.01.01. Exact sequences $0\to M^{\prime }\to M\to M^{\prime \prime }\to 0$ package quotient data; the homology of a complex measures the failure of exactness and is the subject of 01.06.01 (homological algebra).

Synthesis. Rings and modules form the load-bearing substrate of the algebraic half of the curriculum: the first isomorphism theorem established here builds toward 04.02.01 where ideals become geometric points of a scheme, the prime-ideal lattice appears again in 01.05.01 as the spectrum that defines the Zariski topology, the module-and-ideal machinery generalises in 01.06.01 to the homological algebra of derived functors, the structure theorem over a PID is exactly the linear-algebra classification of 01.01.03 upgraded from fields to rings, and the bridge is that the same quotient-and-homomorphism pattern recurs from abelian groups 01.02.01 through Lie algebras 03.04.01 to sheaves of modules 04.03.01; putting these together, the curriculum's algebraic geometry, number theory, and representation theory strands all reduce to the manipulation of ideals and modules introduced here.

Full proof set Master

Proposition (Maximal implies prime). If $\mathfrak{m}◃R$ is maximal, then $R/\mathfrak{m}$ is a field, hence an integral domain, hence $\mathfrak{m}$ is prime.

Proof. Maximality of $\mathfrak{m}$ says $R/\mathfrak{m}$ has no nonzero proper ideals. For any nonzero $\bar{a}\in R/\mathfrak{m}$, the ideal $\bar{a}\cdot (R/\mathfrak{m})$ is nonzero and hence all of $R/\mathfrak{m}$, so $\bar{b}$ exists with $\bar{a}\bar{b}=\bar{1}$. Thus every nonzero element is invertible and $R/\mathfrak{m}$ is a field. Fields are integral domains, so the quotient by $\mathfrak{m}$ has no zero-divisors, which is the prime-ideal condition on $\mathfrak{m}$. $\square$

Proposition (Hilbert's basis theorem, statement). If $R$ is Noetherian, so is the polynomial ring $R[x]$. The proof, by contradiction from an ascending chain of ideals generated by leading terms, appears in ^{[Eisenbud Ch. 1]}; it is the foundation of Noetherian induction in algebraic geometry 04.02.01.

Connections Master

• Scheme spectra 04.02.01. The prime ideals of a ring, topologised by the Zariski condition, form the underlying space of an affine scheme; the entire edifice of modern algebraic geometry in §04 runs on the ideal-and-module machinery established here.

• Galois theory 01.04.01. Field extensions are controlled by the ideal structure of polynomial rings and the automorphism groups of their quotients; the fundamental theorem of Galois theory is a correspondence between intermediate fields and subgroups, structurally parallel to the ideal correspondence proved in Exercise 7.

• Homological algebra 01.06.01. Modules over a ring form an abelian category in which kernels, cokernels, and exact sequences are available; derived functors measure the failure of exactness and underpin sheaf cohomology 04.03.01 and group cohomology.

• Representation theory 07.06.01. A representation of a group or algebra is precisely a module over its group algebra or universal enveloping algebra; the representation theory of §07 is module theory over noncommutative rings.

Historical & philosophical context Master

The abstract definition of a ring consolidated in the early twentieth century from two sources: Dedekind's ideal theory for rings of algebraic integers, and Noether's 1921 paper Idealtheorie in Ringbereichen, which lifted the ascending-chain condition to the defining property now called Noetherian ^{[Noether 1921]}. Atiyah and Macdonald's 1969 Introduction to Commutative Algebra fixed the modern pedagogical sequence — rings, ideals, modules, localisation, primary decomposition — that this unit follows ^{[Atiyah-Macdonald 1969]}.

The module concept replaced the older, narrower theory of linear algebra over fields: recognising that scalars could come from any ring unified the theories of abelian groups, representations, and sheaves of sections. This generalisation is the foundational reason a single algebraic machinery pervades number theory, geometry, and topology.

Bibliography Master

@book{AtiyahMacdonald1969,
  author = {Atiyah, M. F. and Macdonald, I. G.},
  title = {Introduction to Commutative Algebra},
  publisher = {Addison-Wesley},
  year = {1969},
}

@article{Noether1921,
  author = {Noether, Emmy},
  title = {Idealtheorie in Ringbereichen},
  journal = {Mathematische Annalen},
  volume = {83},
  year = {1921},
}

@book{Eisenbud1995,
  author = {Eisenbud, David},
  title = {Commutative Algebra with a View Toward Algebraic Geometry},
  publisher = {Springer GTM 150},
  year = {1995},
}