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)
“Give a scientist a problem and he will probably provide a solution; historians and sociologists, by contrast, can offer only opinions. Ask a dozen chemists the composition of an organic compound such as methane, and within a short time all twelve will have come up with the same solution of CH4. Ask, however, a dozen economists or sociologists to provide policies to reduce unemployment or the level of crime and twelve widely differing opinions are likely to be offered.”
—Derek Gjertsen, British scientist, author. Science and Philosophy: Past and Present, ch. 3, Penguin (1989)