List of Statements Undecidable in ZFC - Group Theory

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:

    Belonging to a group can provide the child with a variety of resources that an individual friendship often cannot—a sense of collective participation, experience with organizational roles, and group support in the enterprise of growing up. Groups also pose for the child some of the most acute problems of social life—of inclusion and exclusion, conformity and independence.
    Zick Rubin (20th century)

    The theory of the Communists may be summed up in the single sentence: Abolition of private property.
    Karl Marx (1818–1883)