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:

    Every philosophy is tinged with the colouring of some secret imaginative background, which never emerges explicitly into its train of reasoning.
    —Alfred North Whitehead (1861–1947)

    The disesteem into which moralists have fallen is due at bottom to their failure to see that in an age like this one the function of the moralist is not to exhort men to be good but to elucidate what the good is. The problem of sanctions is secondary.
    Walter Lippmann (1889–1974)