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:

    Art is the imposing of a pattern on experience, and our aesthetic enjoyment is recognition of the pattern.
    —Alfred North Whitehead (1861–1947)

    Congress seems drugged and inert most of the time. ...Its idea of meeting a problem is to hold hearings or, in extreme cases, to appoint a commission.
    Shirley Chisholm (b. 1924)