show/hide this revision's text 1 [made Community Wiki]

Shelah's solution of

Whitehead problem: Is every abelian group A with $Ext^1(A, \mathbb{Z}) = 0$ a free abelian group?