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:
“If a dog jumps into your lap it is because he is fond of you; but if a cat does the same thing it is because your lap is warmer.”
—Alfred North Whitehead (1861–1947)
“The problem is that we attempt to solve the simplest questions cleverly, thereby rendering them unusually complex. One should seek the simple solution.”
—Anton Pavlovich Chekhov (1860–1904)