Whitehead Problem

In group theory, a branch of abstract algebra, the Whitehead problem is the following question:

Is every abelian group A with Ext1(A, Z) = 0 a free abelian group?

Shelah (1974) proved that Whitehead's problem is undecidable within standard ZFC set theory.

Read more about Whitehead Problem:  Refinement, Shelah's Proof, Discussion

Famous quotes containing the words whitehead and/or problem:

    “Life is an offensive, directed against the repetitious mechanism of the Universe.”
    —Alfred North Whitehead (1861–1947)

    “It is very comforting to believe that leaders who do terrible things are, in fact, mad. That way, all we have to do is make sure we don’t put psychotics in high places and we’ve got the problem solved.”
    —Tom Wolfe (b. 1931)