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:
“The foregoing generations beheld God and nature face to face; we, through their eyes. Why should not we also enjoy an original relation to the universe? Why should not we have a poetry and philosophy of insight and not of tradition, and a religion by revelation to us, and not the history of theirs?”
—Ralph Waldo Emerson (18031882)
“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 govt as beyond its control, of itself as wholly controlled by govt. Somewhere in between and in gradations is the group that has the sense that govt exists for it, and shapes its consciousness accordingly.”
—Lionel Trilling (19051975)
“What is history? Its beginning is that of the centuries of systematic work devoted to the solution of the enigma of death, so that death itself may eventually be overcome. That is why people write symphonies, and why they discover mathematical infinity and electromagnetic waves.”
—Boris Pasternak (18901960)