Module Theory — Direct Sums and Free Modules

⚡ Key Takeaways

Direct sums assemble modules into larger modules with canonical inclusions and projections; free modules are direct sums of copies of the ring, possessing a basis and a universal mapping property that makes them the prototype for all modules. Key result: every module is a quotient of a free module, and over a field every module is free (a vector space). Applies throughout commutative algebra, homological algebra, and representation theory. Foundations laid by Dedekind, Noether, and the structural school of the 1920s–1930s.

💡 The Core Insight

A free module is the most "unconstrained" module: it is built by stipulating a basis and imposing no relations whatsoever among the basis elements. This is captured precisely by the universal property — a homomorphism out of a free module is uniquely and freely determined by where it sends the basis, with no compatibility conditions to check. Every module arises as a free module modulo relations, so free modules and their kernels (relation modules) encode all of module theory.

DefinitionModule

Let $R$ be a ring with $1$ . A left $R$ -module is an abelian group $(M,+)$ together with a scalar multiplication $R \times M \to M$ , $(r,m)\mapsto rm$ , satisfying for all $r,s\in R$ , $m,n\in M$ :

1

\quad r(m+n)=rm+rn,\quad (r+s)m=rm+sm,\quad (rs)m=r(sm),\quad 1\cdot m=m.

Derivation hint: these are the vector-space axioms with the field replaced by $R$ ; distributivity on both sides plus associativity of the action plus unitality.

DefinitionDirect Product and Direct Sum

Let $\{M_i\}_{i\in I}$ be a family of left $R$ -modules. The direct product is

2

\quad \prod_{i\in I} M_i = \big\{ (m_i)_{i\in I} : m_i\in M_i \big\},

Derivation hint: componentwise operations $(m_i)+(n_i)=(m_i+n_i)$ and $r(m_i)=(rm_i)$ make this an $R$ -module. The direct sum (external) is the submodule

3

\quad \bigoplus_{i\in I} M_i = \big\{ (m_i)_{i\in I} : m_i = 0 \text{ for all but finitely many } i \big\}.

Derivation hint: the finite-support condition is closed under addition and scalar multiplication, hence a submodule of the product; for finite $I$ the two coincide.

DefinitionInternal Direct Sum

A module $M$ is the internal direct sum of submodules $\{N_i\}_{i\in I}$ , written $M=\bigoplus_{i\in I} N_i$ , if every $m\in M$ has a unique expression $m=\sum_{i} n_i$ with $n_i\in N_i$ and all but finitely many $n_i=0$ . Equivalently:

4

\quad M = \sum_{i\in I} N_i \quad\text{and}\quad N_j \cap \sum_{i\neq j} N_i = 0 \ \ \forall j.

Derivation hint: the sum condition gives existence of the representation; the intersection condition forces uniqueness, since a nonzero overlap would produce two distinct decompositions of the same element.

DefinitionFree Module and Basis

A subset $B=\{b_i\}_{i\in I}\subseteq M$ is a basis if it is:

generating: every $m\in M$ equals $\sum_i r_i b_i$ for some $r_i\in R$ (finite support), and
linearly independent: $\sum_i r_i b_i = 0 \implies r_i=0$ for all $i$ .

A module is free if it admits a basis. Equivalently $M$ is free iff

5

\quad M \cong \bigoplus_{i\in I} R = R^{(I)},

Derivation hint: send $b_i$ to the standard generator $e_i$ (the tuple with $1$ in slot $i$ ); the basis property makes this a bijective homomorphism, i.e. an isomorphism.

TheoremUniversal Property of Free Modules

Let $F$ be free on basis $B=\{b_i\}_{i\in I}$ with inclusion $\iota: B\hookrightarrow F$ . For any $R$ -module $N$ and any set map $f:B\to N$ , there exists a unique $R$ -homomorphism $\bar f: F\to N$ with $\bar f\circ\iota = f$ :

6

\quad \bar f\Big(\sum_i r_i b_i\Big) = \sum_i r_i\, f(b_i).

Derivation hint: linear independence guarantees the formula is well-defined (each element has a unique coordinate expression); the generating property guarantees $\bar f$ is defined everywhere; the formula is forced by $R$ -linearity, giving uniqueness.

TheoremEvery Module is a Quotient of a Free Module

For any $R$ -module $M$ there is a free module $F$ and a surjection $\pi:F\twoheadrightarrow M$ . Hence

7

\quad M \cong F/K, \qquad K=\ker\pi,

Derivation hint: take $F=R^{(M)}$ free on a generating set $S$ of $M$ (e.g. $S=M$ ); the universal property extends the inclusion $S\hookrightarrow M$ to $\pi:F\to M$ , which is surjective because $S$ generates. $K$ is the "module of relations."

ProofUniversal Property ⟹ Uniqueness of Free Objects

We show free modules are determined up to unique isomorphism by their universal property.

Step 1. Suppose $F_1$ (basis $B_1$ , map $\iota_1$ ) and $F_2$ (basis $B_2$ , map $\iota_2$ ) are both free on a set $S$ via bijections $\beta_1:S\to B_1$ , $\beta_2:S\to B_2$ .

Step 2. By the universal property of $F_1$ applied to the map $\iota_2\circ\beta_2\circ\beta_1^{-1}: B_1\to F_2$ , get a unique $\phi:F_1\to F_2$ . Symmetrically get $\psi:F_2\to F_1$ .

Step 3. The composite $\psi\circ\phi:F_1\to F_1$ fixes $B_1$ pointwise. But $\mathrm{id}_{F_1}$ also fixes $B_1$ . By the uniqueness clause of the universal property, $\psi\circ\phi=\mathrm{id}_{F_1}$ .

Step 4. Symmetrically $\phi\circ\psi=\mathrm{id}_{F_2}$ . Hence $\phi$ is an isomorphism, and it is the unique one respecting the bases. $\blacksquare$

∎

ProofDirect Sum Universal Property

The direct sum is the coproduct in $R\text{-Mod}$ . Given inclusions $\lambda_j: M_j \to \bigoplus_i M_i$ and any family of homomorphisms $g_j: M_j \to N$ , there exists a unique $g:\bigoplus_i M_i\to N$ with $g\circ\lambda_j=g_j$ :

8

\quad g\big((m_i)_{i}\big) = \sum_{i} g_i(m_i).

Derivation hint: the finite-support condition makes the sum finite hence well-defined; linearity is checked componentwise; uniqueness follows since the $\lambda_j(M_j)$ generate the direct sum.

Contrast. The direct product is the product (universal for maps into it via projections). For finite index sets they agree; for infinite sets the coproduct (sum) is strictly smaller. $\blacksquare$

∎

EN

Emmy Noether

1882–1935

Though "module" predates her, Emmy Noether transformed it from a computational device of Dedekind and Kronecker into the central organizing concept of abstract algebra. In her 1921 Idealtheorie in Ringbereichen and her Göttingen lectures, she recast ideals, groups, and linear systems uniformly as modules over rings, emphasizing homomorphisms and quotients over explicit elements. Her insistence that "we should study structures via their maps" is precisely the spirit of the universal property of free modules. The modern habit of writing $M \cong F/K$ — presenting a module by generators and relations — is her conceptual legacy.

🧠 Intuition

Think of a free module $R^{(I)}$ as a bag of independent dials, one per index $i$ , each turnable by any scalar in $R$ , with no dial constraining any other. A homomorphism out of it is just a choice of "where each dial points" in the target — total freedom, hence the name. A non-free module is what you get when you glue dials together with relations: $\mathbb{Z}/6\mathbb{Z}$ as a $\mathbb{Z}$ -module is $\mathbb{Z}$ (one dial) with the relation $6\cdot 1 = 0$ welded in. No basis can survive, because the single generator $\bar 1$ satisfies $6\bar 1 = 0$ with $6\neq 0$ — it is torsion, the opposite of independence. The direct sum is side-by-side assembly with no interaction: $M\oplus N$ lets you operate on the $M$ -part and $N$ -part completely independently. Over a field, every module decomposes this way down to one-dimensional pieces (a basis), which is why linear algebra is so clean. Over $\mathbb{Z}$ or $k[x]$ , indecomposable torsion pieces like $\mathbb{Z}/p^k$ refuse to break apart, and the structure theory becomes rich.

Figure

External direct sum vs. direct product: finite-support vs. full tuples

```svg

```

ExampleFree Resolution of

\mathbb{Z}/6\mathbb{Z}

over

\mathbb{Z}

Given: $M = \mathbb{Z}/6\mathbb{Z}$ as a $\mathbb{Z}$ -module. Present it via free modules.

Step 1. Choose generator $\bar 1$ . The free module $F_0 = \mathbb{Z}$ surjects via $\pi(n)=\bar n$ , so $M\cong \mathbb{Z}/\ker\pi$ .

Step 2. Compute $\ker\pi = \{ n : \bar n = 0 \} = 6\mathbb{Z}$ .

Step 3. $6\mathbb{Z}$ is itself free of rank 1, generated by $6$ . So set $F_1=\mathbb{Z}$ , with map $d: F_1\to F_0$ given by multiplication by $6$ .

Step 4. Assemble the free resolution:

0 \to \mathbb{Z} \xrightarrow{\ \cdot 6\ } \mathbb{Z} \xrightarrow{\ \pi\ } \mathbb{Z}/6\mathbb{Z} \to 0.

\boxed{\ \mathbb{Z}/6\mathbb{Z} \cong \operatorname{coker}(\cdot 6:\mathbb{Z}\to\mathbb{Z}),\quad \text{projective dimension } 1\ }

This module is not free (it is finite, but $\mathbb{Z}^n$ is infinite for $n\geq 1$ and $0$ has no nonzero torsion).

ExampleFree vs. Non-Free Ideals over a Number Ring

Given: $R = \mathbb{Z}[\sqrt{-5}]$ , and the ideal $I = (2,\ 1+\sqrt{-5})$ . Is $I$ free as an $R$ -module?

Step 1. $I$ requires 2 generators and cannot be generated by 1 (it is not principal — a classical fact since $\mathbb{Z}[\sqrt{-5}]$ has class number 2).

Step 2. If $I$ were free, being a rank-1 ideal it would have to be free of rank 1, i.e. principal $I=(a)$ — contradiction. A free module of rank $\geq 2$ inside $R$ (rank 1 as $R$ -module) is impossible since any two elements of $R$ are $R$ -linearly dependent: for $x,y\in R$ , $y\cdot x - x\cdot y = 0$ is a nontrivial relation.

Step 3. Hence $I$ is non-free but projective (it is a direct summand of $R^2$ — invertible ideals are projective).

\boxed{\ I=(2,1+\sqrt{-5}) \text{ is projective of rank } 1 \text{ but NOT free over } \mathbb{Z}[\sqrt{-5}]\ }

This is the prototypical example separating "projective" from "free."

⚠️ Common mistake

"Every linearly independent set extends to a basis" / "every generating set contains a basis." Both fail badly outside vector spaces. Over $\mathbb{Z}$ , the set $\{2\}\subseteq\mathbb{Z}$ is linearly independent but does not extend to a basis ( $\{2\}$ is not generating, and adding any $b$ gives the relation $b\cdot 2 - 2\cdot b=0$ ). The generating set $\{2,3\}$ of $\mathbb{Z}$ contains no basis: $\{2\}$ and $\{3\}$ each fail to generate. Bases over general rings are rigid: free modules have them, but you cannot freely manufacture or trim them.

⚠️ Common mistake

"Submodules of free modules are free." False in general. The submodule $\{(a,b)\in R^2 : a+b\in I\}$ over a non-PID, or simply the ideal $I$ in the previous example, shows this. The implication holds precisely when $R$ is a PID (submodules of free modules are free — even over non-finitely-generated free modules, by a theorem requiring the axiom of choice / well-ordering), and more generally over principal ideal domains and, for the analogous "projective ⟹ free" question, over local rings (Kaplansky) and polynomial rings over fields (Quillen–Suslin).

CounterexampleFailure of Invariant Basis Number

There exist rings $R$ with $R^m\cong R^n$ as $R$ -modules for $m\neq n$ . Let $V$ be an infinite-dimensional $k$ -vector space and $R=\operatorname{End}_k(V)$ . Then $V\cong V\oplus V$ (since $\infty=\infty+\infty$ ), which translates to

9

\quad R \cong R^2 \quad\text{as left } R\text{-modules},

Derivation hint: $R=\operatorname{Hom}(V,V)$ ; decomposing $V\cong V\oplus V$ on the source gives $\operatorname{Hom}(V,V)\cong\operatorname{Hom}(V,V)^2$ , so a free module of rank 1 is isomorphic to one of rank 2. Thus rank is not well-defined over such rings. Rings where it is well-defined are said to satisfy invariant basis number (IBN) — all commutative rings (≠0), all Noetherian rings, and all division rings do.

connection

Free modules sit at the base of an importance hierarchy: free ⟹ projective ⟹ flat ⟹ torsion-free (the last over domains). See Projective Modules, where freeness is relaxed to "direct summand of a free module," and Flat Modules, characterized by exactness of $-\otimes M$ . The presentation $M\cong F/K$ launches Homological Algebra via Free Resolutions and the derived functors $\operatorname{Tor}$ and $\operatorname{Ext}$ . Over a field, every module is free, recovering Vector Spaces and Linear Algebra; over a PID, the Structure Theorem for Finitely Generated Modules over a PID classifies all such modules as $R^n \oplus \bigoplus R/(d_i)$ , the cornerstone of Jordan and Rational Canonical Forms. The direct sum is the coproduct in $R\text{-Mod}$ , dual to the product, linking to Universal Properties and Adjoint Functors and the Tensor–Hom Adjunction.

🔬 Where this appears

⏳ History

- 1871. Richard Dedekind introduces modules (German Modul) as additive subgroups of

\mathbb{C}

closed under multiplication by an order — the seed of module theory, in his supplements to Dirichlet's Vorlesungen über Zahlentheorie.

- 1890s. Dedekind and Heinrich Weber develop ideal theory; ideals as modules over rings of integers, including the recognition that ideals need not be principal (non-free).

- 1921. Emmy Noether, Idealtheorie in Ringbereichen, establishes the ascending chain condition and the abstract module-theoretic framework; the rise of the homomorphism-and-quotient viewpoint.

- 1927–1932. Noether's Göttingen school (van der Waerden's Moderne Algebra, 1930–31) codifies modules, direct sums, and free modules as standard tools; the universal property viewpoint matures.

- 1937. Hans Hasse, Wolfgang Krull, and others extend module structure theory over Dedekind domains; finitely generated modules over PIDs fully classified.

- 1945–1956. Eilenberg–Mac Lane and Cartan–Eilenberg (Homological Algebra, 1956) make free and projective resolutions central, defining

\operatorname{Ext}

and

\operatorname{Tor}

.

- 1955. Jean-Pierre Serre poses whether finitely generated projective modules over

k[x_1,\dots,x_n]

are free (Serre's conjecture).

- 1958. Irving Kaplansky proves projective modules over local rings are free, and that every projective module is a direct sum of countably generated ones.

- 1976. Daniel Quillen and Andrei Suslin independently resolve Serre's conjecture: finitely generated projectives over a polynomial ring over a field are free (the Quillen–Suslin theorem).

open-problem

Where freeness becomes hard. Several deep questions surround the boundary of freeness:

The rank/IBN landscape. Classifying which rings satisfy IBN, the stronger stably free ⟹ free property, and the Hermite and Bass cancellation properties is intricate; counterexamples (e.g. tangent bundle of $S^2$ giving a stably free non-free module over $\mathbb{R}[x,y,z]/(x^2+y^2+z^2-1)$ ) reveal genuine geometry.
Generalizations of Quillen–Suslin. The Bass–Quillen conjecture — that finitely generated projective modules over $R[x_1,\dots,x_n]$ are extended from $R$ for regular $R$ — remains open in general dimension.
Infinitely generated projectives. Bass's question on whether "big" projective modules over Noetherian rings are free or determined by simple invariants leads to subtle set-theoretic dependence; Whitehead's problem (is every Whitehead $\mathbb{Z}$ -module free?) was shown by Shelah to be independent of ZFC.
Trace ideals and non-free generation. Characterizing modules with few generators, or the minimal number of generators of an ideal (Forster–Swan bound), remains an active arena between commutative algebra and algebraic geometry.

Module Theory — Direct Sums and Free Modules

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also