Worked solution: Shelah's proof that the Whitehead problem is independent of ZFC (1974)

Step 1 of 8: Free abelian groups: the simplest infinite building blocks

In plain words

Think of a free abelian group as an unlimited toolbox of independent directions you can walk in, combined using whole-number steps — like the familiar $\mathbb{Z}^n$ , but possibly with infinitely many independent directions instead of just finitely many. Every element is a unique, finite integer combination of a fixed "basis", and no unexpected relation between basis elements ever sneaks in.

This rigidity — a basis exists and every element decomposes over it uniquely — is an extremely strong property that most abelian groups do not have. J.H.C. Whitehead's question in the 1950s was about finding a purely algebraic test for exactly this property, instead of writing down a basis by hand.

F \cong \bigoplus_{i \in I} \mathbb{Z}

Detailed analysis

An abelian group $F$ is free if $F \cong \bigoplus_{i \in I} \mathbb{Z}$ for some index set $I$ (its basis): every element of $F$ is a unique finite $\mathbb{Z}$ -linear combination of basis elements, with no relations beyond what commutativity forces. Every abelian group is a quotient of some free abelian group, but very few groups are themselves free — free groups have no torsion and no hidden algebraic relations whatsoever.

Freeness is a rigidity property strong enough to matter well beyond pure group theory: it is exactly the algebraic condition that makes homological computations (like the $\mathrm{Ext}$ groups used throughout this proof) vanish trivially. J.H.C. Whitehead, working in the 1950s on questions in homotopy theory that reduce to abelian group computations, asked whether a weaker, purely homological test — the vanishing of $\mathrm{Ext}^1(W, \mathbb{Z})$ — could actually certify freeness without ever writing down a basis directly.

The next step defines this test precisely and states Whitehead's question in full.

Terms in this step

Abelian group: A set with a commutative addition operation ( $a+b=b+a$ ), an identity element $0$ , and inverses for every element — the basic algebraic structure carried by $\mathbb{Z}$ , $\mathbb{Q}$ , and countless other familiar number systems.
Basis of a free abelian group: A subset of a free abelian group $F$ such that every element of $F$ is a unique finite integer combination of basis elements — the direct generalization of a vector space basis to abelian groups.

Knowledge used in this step

Group theory