Group Theory
In 1973, Saharon Shelah showed that the Whitehead problem ("is every abelian group A with Ext1(A, Z) = 0 a free abelian group?") is independent of ZFC. A group with Ext1(A, Z) = 0 which is not free abelian is called a Whitehead group; MA + ¬CH proves the existence of a Whitehead group, while V = L proves that no Whitehead group exists.
Read more about this topic: List Of Statements Undecidable In ZFC
Famous quotes containing the words group and/or theory:
“Laughing at someone else is an excellent way of learning how to laugh at oneself; and questioning what seem to be the absurd beliefs of another group is a good way of recognizing the potential absurdity of many of one’s own cherished beliefs.”
—Gore Vidal (b. 1925)
“No theory is good unless it permits, not rest, but the greatest work. No theory is good except on condition that one use it to go on beyond.”
—André Gide (1869–1951)