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:
“For me, as a beginning novelist, all other living writers form a control group for whom the world is a placebo.”
—Nicholson Baker (b. 1957)
“The theory seems to be that so long as a man is a failure he is one of God’s chillun, but that as soon as he has any luck he owes it to the Devil.”
—H.L. (Henry Lewis)
Related Phrases
Related Words