The following theorem is one that many of us use practically daily.

**Theorem 1** *If is a finitely-generated abelian group, then can be written as a direct sum*

*in a unique way — that is, the exponents and are uniquely determined by (and all but finitely many of them are zero).*

This theorem is really two important theorems in one. The first is a *decomposition theorem*, which lets us decompose our objects (finitely generated abelian groups) in a simple way (a direct sum of cyclic groups). The second is a *uniqueness theorem*, which tells us when two of our objects are the same (in this case, precisely when the exponents and are the same).

In particular, this theorem tells us all we’d ever need to know about *finite* abelian groups. When we go further, though, the situation becomes far more difficult. Here are a few radically different examples of infinite abelian groups (all of which are countable, even!):

- , which we’ve already taken care of.
- , the rational numbers.
- .
- , the set of rational numbers with denominators prime to .
- along the maps that are multiplication by the obvious powers of .

We’d like to generalize the above classification theorem to deal with infinite abelian groups. This is surprisingly difficult for high cardinalities, and as far as I can tell in my limited research, there’s no real hope for such a theorem for uncountable abelian groups. For countable abelian groups which are assumed to be *torsion*, however, there’s a rather nice theorem, due to Ulm in the 30’s [4], and in this talk we’ll attempt to prove it. More generally, we’ll exhibit a couple convenient ways of decomposing abelian groups.

Most of this is from Kaplansky’s little red book [2], which is a great and short read for people of all mathematical backgrounds. I’m going to omit the word `abelian’ a lot. Additionally, all of this applies *mutatis mutandis* for countably generated modules over a PID.

**1. Torsion and torsion-free**

The first, and most familiar, way to decompose abelian groups is the following. The **torsion subgroup** of is the subgroup consisting of all torsion elements, that is, those of finite order. It’s easy to see that is torsion-free, and so we get an extension

This isn’t a perfect decomposition because the extension doesn’t always split. On the other hand, it’s both unique and natural: only has one torsion subgroup, and group homomorphisms preserve torsion. So classifying abelian groups mostly reduces to classifying torsion and torsion-free groups. As I’ll discuss later, torsion-free groups are pretty difficult, so we’ll mostly discuss torsion groups.

**2. Primary components**

Localization gives us the next decomposition method. If is torsion, then is exactly the subgroup of elements whose order is a power of , which we call the –**primary component** of . We have a direct sum decomposition

The easiest way to prove this is, actually, is using the internal direct sum we all learned about in our first-year algebra classes. Each is a subgroup of ; their pairwise intersections are trivial; and every element of is a sum of -primary elements for various .

This is a first indication of what goes wrong for non-torsion groups. Though we can study them through their -localizations, these might not be subgroups, we certainly won’t have a direct sum decomposition, and often -localizing won’t get us anything new (for example, ).

**3. Divisible and reduced**

A group is **divisible** if for every and , there exists a with .

Note that such a might not be unique, which keeps us from using the notation .

A group is **injective** if the following equivalent conditions hold:

- Whenever is a subgroup of another group, it is a direct summand.
- If is an injection of groups and is a map, then this map extends to a map .
- The functor on the category of abelian groups preserves exact sequences.

**Proposition 2** *An abelian group is divisible if and only if it’s injective.*

*Proof:* If is injective, then for any , the map given by extends along , which precisely gives an element with .

Conversely, if is divisible, is a map, and is an injection, let . If no multiple of is in , then we can extend to by sending to any element. On the other hand, if , then choose a with and define . Thus in both cases, extends to . By Zorn’s lemma, we can extend our map all the way to .

**Proposition 3** *Every abelian group has a unique maximal divisible subgroup, which is also a direct summand.*

*Proof:* Look at the subset of all elements of the group satisfying the divisibility property, and check that the sum of two such elements is again a divisible element. Thus this set is a subgroup, and it’s clear it’s the unique maximal divisible subgroup. Since divisible groups are injective, this is in fact a direct summand.

A group with no divisible elements is **reduced**.

So we’ve got a direct sum decomposition into a reduced and a divisible group, and fortunately, we can take care of the divisible part immediately.

**Theorem 4** *Any divisible group is uniquely a direct sum of copies of and (for various ).*

*Proof:* Let be a divisible group with torsion subgroup and torsion-free quotient . Then is also divisible, so the torsion exact sequence *splits*, and we have . is torsion-free, so division by is unique: if , then , so . Thus is a -vector space, and has a unique dimension. We will speak no more of .

To deal with , split it into its primary components. If is -torsion, we can find a summand containing , and an easy Zorn’s Lemma argument (using the fact that any -primary torsion group has nonempty -torsion) gives you an expression of as a direct sum of copies of . The cardinality of the direct sum is just the dimension of the -torsion of as an -vector space. We will speak no more of .

We will speak no more of .

One popular divisible group not mentioned in the above theorem is . You can check that this is just !

So we’re reduced to considering reduced groups.

**4. Ulm’s theorem**

Let’s consider the case of a finite primary abelian group. One way to get at the number of summands of order is by noting that each such summand contains elements of height , and no elements of height (again, the height of zero is ). Thus, if we let be the subgroup , the dimension of the -vector space is precisely the number of summands.

But now let be the countable group , and . Both and are countably infinite-dimensional -vector spaces (in fact, and , so it always suffices to take ). But the groups are not isomorphic — if we look at the -torsion height zero elements, then has only an ‘s worth, while has an ‘s worth.

The order of an element in a torsion group is a well-understood way of studying that element. Dually, in a reduced -group, we could ask for something like the -adic valuation — how many times can you divide an element by ? The right way to define this is, as it turns out, to value it on the ordinals. We inductively define

- ,
- ,
- for a limit ordinal, ,
- the
**height**(for not divisible) is the largest such that , - and is `‘, or at any rate an ordinal greater than any of the heights of nonzero elements.

Since our groups have underlying sets (groups with underlying proper classes will be dealt with in the next lecture), this filtration stabilizes at some ordinal , called the **length** of ; we note that is precisely the divisible summand of . It’s possible, though, for to have elements of infinite height even if it’s reduced, an easy example being the group

The following properties hold:

- , with equality if the heights of and are unequal.
- .

So height behaves like a transfinite -adic valuation. We’re now ready to make the following definition.

The th **Ulm invariant** of is

**Theorem 5 (Ulm)** *Two countable reduced primary groups are isomorphic iff they have the same Ulm invariants.*

Let and be two such groups. Our approach will be to use induction on the elements of , which is why this only works for countable. Our eventual isomorphism will obviously preserve height, so for the induction hypothesis, suppose we have finite subgroups , , and an isomorphism which preserves heights *as computed in and *. Then given an element , we’ll extend to an isomorphism for some . The equality of the Ulm invariants of and allows us to always find a that satisfies the same constraints on given by height and relationship to the subgroup . We begin with the following technical definition, construction, and lemma.

Let be a subgroup. An element is **proper with respect to ** if has maximal height in the coset .

If is finite, such elements always exist. The ultrametric inequality lets us compute heights in based on heights in and the height of a proper element.

Given a subgroup , let be the set of elements with . Obviously, this holds for all of , so could be thought of as the elements in of height at least for which multiplication by doesn’t work as expected with respect to height. Given , for some , and this is determined up to . Thus is well-defined in . If , we can take , and at last we get a map

In particular, , and the following lemma tells us when this is strict.

**Lemma 6** *An element is proper of height with respect to iff isn’t in the image of .*

*Proof:* () If has height and is in , then mod with and . Thus , so is not proper.

() If is outside , then , so . If there exists with , then for some of height at least , and has height at least . Thus and , whichi s a contradiction. Thus is proper.

*Proof:* As outlined above, suppose for induction that there are finite subgroups , , and a height-preserving isomorphism , and let have height . Since is torsion, we can pick so that ; additionally, we normalize to be proper in its coset and with maximal among proper in this coset. (Since is finite, these normalizations present no difficulty). Let . It suffices to find a which has height , is proper with respect to , and satisfies . There are two cases.

The `easy’ case is where ; we don’t even need the statement about Ulm invariants to do this, and we can take to be any height- element of with . First we show that ; if is in , then for some of height , and using properness of and the ultrametric inequality, we get . But , which contradicts maximality of . Thus .

If is not proper, there is some with . But then

again contradicting maximality of . This proves this case.

The second case is that . Write with . Then is -torsion, height , and proper with respect to since for ,

using the ultrametric inequality twice. By the previous lemma, . But establishes an isomorphism ; the Ulm invariants of and are the same by hypothesis; thus by the lemma again, there’s a which is -torsion, height , and proper with respect to . If we let be some element of height with , then has height , satisfies , and is proper with respect to by the argument beginning the paragraph.

**5. Some applications**

Thus given a general countable torsion abelian group, we decompose it into -primary components, and look for each at the rank of the divisible summand as a free module over and the Ulm invariants. This gives us a cardinal and an ordinal-indexed sequence of cardinals which are *complete invariants* of the group. One easy thing to note is that these are all additive under direct sums. The following corollaries are then immediate:

**Corollary 7** *If and are countable torsion groups and , then .*

**Corollary 8** *If and are countable torsion groups and is a finitely generated group such that , then .*

**Corollary 9** *If and are countable torsion groups with each one isomorphic to a direct summand of the other one, then .*

For an example of why we can’t put `subgroup’ in place of `direct summand,’ take , .

We can also use this observation to characterize the direct sums of cyclic groups, thus generalizing the classification of finitely generated abelian groups. A cyclic -group has one-dimensional -torsion and thus only a single nonzero Ulm invariant .

**Theorem 10** *A countable torsion group is a direct sum of cyclic groups iff it has no elements of infinite height.*

**Corollary 11** *A subgroup of a countable torsion direct sum of cyclic groups is a direct sum of cyclic groups.*

Kaplansky proved the corollary with the countability hypothesis dropped. On the other hand, the theorem itself is false with for uncountable groups.

Let be the torsion subgroup of . Obviously, has no elements of infinite height. The maps induce an isomorphism , so all the (finite) Ulm invariants are the same, and it’s easy to see that they’re all 1. Thus, if were a direct sum of cyclic groups, it would be , but it’s not — for instance, it’s not even countable. (There’s a distinct element for each given by for , for ; a standard cardinal-arithmetic argument shows .) Moreover, the quotient of by this direct sum is divisible!

As I said, this whole theory carries through for countably generated modules over a PID. One PID of great interest is for a field — a module over this is a -vector space equipped with a linear transformation. We could ask the following question: if and are endomorphisms of a vector space over , is there an automorphism such that ? Ulm invariants allow you to answer this when is countable-dimensional and and are **locally algebraic**, meaning that any is in the kernel of some polynomial in the endomorphism.

It feels unfair to conclude without a few words on torsion-free groups. The first invariant of a torsion-free group is its **rank**, which is the largest number of linearly independent elements in the group. In 1937, Baer classified torsion-free groups of rank 1, and from then on the problem gets rapidly hopeless. Current research seems to center around the following approach: rank torsion-free groups correspond to subgroups of containing a basis for , which is apparently best thought of as a topological space with its Borel -algebra, and isomorphism is an equivalence relation on this `standard Borel space’ , which one can prove is a Borel subset of . There’s a partial ordering on such `Borel equivalence relations’ corresponding roughly to complexity. A recent result of Simon Thomas [3] shows that the Borel equivalence relations corresponding to the classification of torsion-free groups of rank get strictly more complex as increases, which gives you some idea as to where things are in this subject. For more, see [1].

**6. Bibliography**

[1] Coskey, Samuel. The classification of torsion-free abelian groups of finite rank up to isomorphism and up to quasi-isomorphism. *Trans. Amer. Math. Soc.* **364** (2012), no. 1, 175Ð-194.

[2] Kaplansky, Irving. *Infinite Abelian Groups*. Publications in Mathematics, Issue 2, University of Michigan Press (1969).

[3] Thomas, Simon. The classification problem for torsion-free abelian groups of finite rank. *J. Amer. Math. Soc.* **16** (2003), no. 1, 233Ð-258.

[4] Ulm, Helmut. Zur Theorie der abzŠhlbar-unendlichen Abelschen Gruppen. *Math. Ann.* **107** (1933), 774Ð-803.