Relation To Other Mathematical Topics
Many large abelian groups possess a natural topology, which turns them into topological groups.
The collection of all abelian groups, together with the homomorphisms between them, forms the category Ab, the prototype of an abelian category.
Nearly all well-known algebraic structures other than Boolean algebras, are undecidable. Hence it is surprising that Tarski's student Szmielew (1955) proved that the first order theory of abelian groups, unlike its nonabelian counterpart, is decidable. This decidability, plus the fundamental theorem of finite abelian groups described above, highlight some of the successes in abelian group theory, but there are still many areas of current research:
- Amongst torsion-free abelian groups of finite rank, only the finitely generated case and the rank 1 case are well understood;
- There are many unsolved problems in the theory of infinite-rank torsion-free abelian groups;
- While countable torsion abelian groups are well understood through simple presentations and Ulm invariants, the case of countable mixed groups is much less mature.
- Many mild extensions of the first order theory of abelian groups are known to be undecidable.
- Finite abelian groups remain a topic of research in computational group theory.
Moreover, abelian groups of infinite order lead, quite surprisingly, to deep questions about the set theory commonly assumed to underlie all of mathematics. Take the Whitehead problem: are all Whitehead groups of infinite order also free abelian groups? In the 1970s, Saharon Shelah proved that the Whitehead problem is:
- Undecidable in ZFC, the conventional axiomatic set theory from which nearly all of present day mathematics can be derived. The Whitehead problem is also the first question in ordinary mathematics proved undecidable in ZFC;
- Undecidable even if ZFC is augmented by taking the generalized continuum hypothesis as an axiom;
- Decidable if ZFC is augmented with the axiom of constructibility (see statements true in L).
Read more about this topic: Abelian Group
Famous quotes containing the words relation to, relation and/or mathematical:
“A theory of the middle class: that it is not to be determined by its financial situation but rather by its relation to government. That is, one could shade down from an actual ruling or governing class to a class hopelessly out of relation to government, thinking of gov’t as beyond its control, of itself as wholly controlled by gov’t. Somewhere in between and in gradations is the group that has the sense that gov’t exists for it, and shapes its consciousness accordingly.”
—Lionel Trilling (1905–1975)
“Any relation to the land, the habit of tilling it, or mining it, or even hunting on it, generates the feeling of patriotism. He who keeps shop on it, or he who merely uses it as a support to his desk and ledger, or to his manufactory, values it less.”
—Ralph Waldo Emerson (1803–1882)
“What he loved so much in the plant morphological structure of the tree was that given a fixed mathematical basis, the final evolution was so incalculable.”
—D.H. (David Herbert)