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

Frequently asked questions

Why does moving from countable to uncountable groups suddenly bring set theory into an algebra problem?

Because arguments about uncountable structures often need to organize them as a long chain of $\aleph_1$ -many (or more) countable pieces, and precisely how those pieces can be consistently glued together at every limit stage is governed by combinatorial principles — like $\diamondsuit$ or Martin's Axiom — that are themselves independent of $\mathrm{ZFC}$ .

Source

Saharon Shelah, 1974

Infinite Abelian groups, Whitehead problem and some constructions

Condensed summary

Step 3 of 8: The countable case: Stein's theorem settles small Whitehead groups

Previous step Next step

In plain words

For countable groups, the obstruction can be controlled by a genuinely countable argument, but not by blindly extending bases of arbitrary finitely generated subgroups. Stein's 1951 theorem proves that a countable Whitehead group is free using the vanishing of $\mathrm{Ext}^1(W,\mathbb{Z})$ together with a careful countable construction. Hence any counterexample to Whitehead's question must be uncountable, of cardinality at least $\aleph_1$ .

|W| \le \aleph_0 \text{ and } \mathrm{Ext}^1(W,\mathbb{Z})=0 \implies W \text{ is free (Stein, 1951)}

Detailed analysis

Stein (1951) proved that a countable abelian group $W$ with $\mathrm{Ext}^1(W, \mathbb{Z})=0$ is free. The proof is a careful countable construction (often presented through Pontryagin-style criteria), not the invalid claim that bases of arbitrary finitely generated subgroups can always be extended compatibly. The countability is essential: it permits all obstructions to be handled in a single sequence of stages. Therefore any non-free Whitehead group must have cardinality at least $\aleph_1$ .

Terms in this step

Finitely generated subgroup: A subgroup that can be generated from a finite set of elements using the group operation; every finitely generated subgroup of a free abelian group is itself free.

Knowledge used in this step

Group theory The ZFC axioms