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:

    “around our group I could hear the wilderness listen.”
    —William Stafford (1914–1941)

    “Lucretius
    Sings his great theory of natural origins and of wise conduct; Plato
    smiling carves dreams, bright cells
    Of incorruptible wax to hive the Greek honey.”
    —Robinson Jeffers (1887–1962)