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:
“The virtue of dress rehearsals is that they are a free show for a select group of artists and friends of the author, and where for one unique evening the audience is almost expurgated of idiots.”
—Alfred Jarry (1873–1907)
“If my theory of relativity is proven correct, Germany will claim me as a German and France will declare that I am a citizen of the world. Should my theory prove untrue, France will say that I am a German and Germany will declare that I am a Jew.”
—Albert Einstein (1879–1955)