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)

    “Theology, I am persuaded, derives its initial impulse from a religious wavering; for there is quite as much, or more, that is mysterious and calculated to awaken scientific curiosity in the intercourse with God, and it [is] a problem quite analogous to that of theology.”
    —Charles Sanders Peirce (1839–1914)