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)
“The government is huge, stupid, greedy and makes nosy, officious and dangerous intrusions into the smallest corners of life—this much we can stand. But the real problem is that government is boring. We could cure or mitigate the other ills Washington visits on us if we could only bring ourselves to pay attention to Washington itself. But we cannot.”
—P.J. (Patrick Jake)