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:
“Stripped of ethical rationalizations and philosophical pretensions, a crime is anything that a group in power chooses to prohibit.”
—Freda Adler (b. 1934)
“In the theory of gender I began from zero. There is no masculine power or privilege I did not covet. But slowly, step by step, decade by decade, I was forced to acknowledge that even a woman of abnormal will cannot escape her hormonal identity.”
—Camille Paglia (b. 1947)