32

From the Wikipedia on abelian groups:

By contrast, classification of general infinitely-generated abelian groups is far from complete.

How far are we from a classification exactly? It seems like divisible groups have been classified. Which cases are left which we haven't? What is the nature of these unknown cases that makes them so hard to understand? Do we have examples of really "out there" infinitely-generated groups that don't fit into any of the current categories?

Samuel Handwich
  • 2,771
  • 1
    You referenced books by Kaplansky and Griffith on infinite abelian groups. Kaplansky's book is an excellent introduction, it would be a wonderful place to start. His writing is clear, conversational. The notes at the end are exceptional. Griffith's book would be a good follow-up to Kaplansky. It covers more advanced topics. It is written as lecture notes so can be terse in places. There are also some annoying typos. Still, a good choice. The most encyclopedic source is Fuchs' book, an excellent reference, but definitely not the best place to begin. – Chris Leary Oct 22 '18 at 21:28

2 Answers2

27

One problem with classification of objects of unrestricted size/complexity is set theoretic, and will be related to such strong set theoretic axioms related to accessible cardinals, measurable cardinals, and Vopenka's principle, and may depend on the continuum hypothesis and (certainly) by the axiom of choice. While I'm not an expert on these issues, I'll try to give a quick view of the difficulties.

For abelian groups, you can construct quite wild beasts using Zorn's Lemma. The general strategy will be to first construct some huge abelian group (say the product or coproduct of abelian groups indexed by a set of huge cardinality) and then apply Zorn's Lemma to obtain a maximal subgroup. Such subgroups typically can't be described directly and so would be very hard to study or classify.

Other ways of constructing very big objects is by taking ultraproducts of abelian groups. Here the construction relies on a choice of a principal ultrafilter, a highly non-constructive object. These objects are somewhat more tractable but still the immense freedom in choosing the cardinality of the indexing set, the ultrafilter, and the constituent groups makes this extremely hard.

Somewhat more systematically, since any abelian group is a quotient of a free abelian group, the complete classification requires the classification of the subgroups of free abelian groups. If no size restriction is placed on the number of generators of the free abelian groups again set theoretic subtleties immediately manifest themselves. For instance, taking a free abelian group on a set of huge cardinality, classifying the maximal subgroups in it will be very hard.

Ittay Weiss
  • 79,840
  • 7
  • 141
  • 236
  • Thanks, this is very interesting and helpful. I have a couple followup questions: 1. Is the challenge behind this type of counterexample generally going to be more set theoretic than group theoretic in nature? In particular, do examples exist of unclassified big abelian groups which are not problematic from a set theory standpoint? 2. Do these ever arise naturally (as groups) in other areas of math? Would classifying them be important enough to be worth the effort, assuming we could? – Samuel Handwich Feb 25 '13 at 21:26
  • A classification of abelian groups will entail a classification of the underlying sets of abelian groups, namely a classification of sets. So, the challenge will always include set theoretic components. Very large objects tend not to show up too often in the mainstream, for various philosophical and socio-mathematical reasons. I don't know of any particular interest in some truly big abelian group. I think it is currently too ambitious, and not sufficiently justified, to attempt such a classification. – Ittay Weiss Feb 25 '13 at 23:15
  • hi Ittay. can you explain what you have in mind re: Zorn's lemma? of course it will not be possible in general to find maximal subgroups (take eg $(\mathbb{Q},+)$) but do you have specific constructions in mind for which it will be possible? – Atticus Stonestrom Apr 12 '22 at 00:29
  • (also, regarding your last paragraph – if I'm not mistaken, it is the case that every subgroup of a free abelian group is free. so arguably the difficulty is not so much in classifying the subgroups but rather classifying the quotients :) ) – Atticus Stonestrom Apr 12 '22 at 00:35
8

The book

L.Fuchs. Infinite Abelian Groups, Vol. I,II. Academic Press, 1970,1973

has a lot of unresolved problems. By them you can get an idea about actual directions in the theory of Abelian groups.

Boris Novikov
  • 17,470