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)

    “Only in the problem play is there any real drama, because drama is no mere setting up of the camera to nature: it is the presentation in parable of the conflict between Man’s will and his environment: in a word, of problem.”
    —George Bernard Shaw (1856–1950)