(fundamental theorem of finitely generated abelian groups)
Every finitely generated abelian group $A$ is isomorphic to a direct sum of p-primary cyclic groups $\mathbb{Z}/p^k \mathbb{Z}$ (for $p$ a prime number and $k$ a natural number ) and copies of the infinite cyclic group $\mathbb{Z}$:
The summands of the form $\mathbb{Z}/p^k \mathbb{Z}$ are also called the p-primary components of $A$. Notice that the $p_i$ need not all be distinct.
fundamental theorem of finite abelian groups:
In particular every finite abelian group is of this form for $n = 0$, hence is a direct sum of cyclic groups.
fundamental theorem of cyclic groups:
In particular every cyclic group $\mathbb{Z}/n\mathbb{Z}$ is a direct sum of cyclic groups of the form
where all the $p_i$ are distinct and $k_i$ is the maximal power of the prime factor $p_i$ in the prime decomposition of $n$.
Specifically, for each natural number $d$ dividing $n$ it contains $\mathbb{Z}/d\mathbb{Z}$ as the subgroup generated by $n/d \in \mathbb{Z}\to \mathbb{Z}/n\mathbb{Z}$. In fact the lattice of subgroups of $\mathbb{Z}/n\mathbb{Z}$ is the formal dual of the lattice of natural numbers $\leq n$ ordered by inclusion.
(e.g. Roman 12, theorem 13.4, Navarro 03) for cyclic groups e.g. (Aluffi 09, pages 83-84)
This is a special case of the structure theorem for finitely generated modules over a principal ideal domain.
The following examples may be useful for illustrative or instructional purposes.
For $p$ a prime number, there are, up to isomorphism, two abelian groups of order $p^2$, namely
and
For $p_1$ and $p_2$ two distinct prime numbers, $p_1 \neq p_2$, then there is, up to isomorphism, precisely one abelian group of order $p_1 p_2$, namely
This is equivalently the cyclic group
The isomorphism is given by sending $1$ to $(p_2,p_1)$.
Moving up, for two distinct prime numbers $p_1$ and $p_2$, there are exactly two abelian groups of order $p_1^2 p_2$, namely $(\mathbb{Z}/p_1 \mathbb{Z})\oplus (\mathbb{Z}/p_1 \mathbb{Z}) \oplus (\mathbb{Z}/p_2 \mathbb{Z})$ and $(\mathbb{Z}/p_1^2 \mathbb{Z})\oplus (\mathbb{Z}/p_2 \mathbb{Z})$. The latter is the cyclic group of order $p_1^2 p_2$. For instance, $\mathbb{Z}/12\mathbb{Z} \cong (\mathbb{Z}/4 \mathbb{Z})\oplus (\mathbb{Z}/3 \mathbb{Z})$.
Similarly, there are four abelian groups of order $p_1^2 p_2^2$, three abelian groups of order $p_1^3 p_2$, and so on.
More generally, theorem may be used to compute exactly how many abelian groups there are of any finite order $n$ (up to isomorphism): write down its prime factorization, and then for each prime power $p^k$ appearing therein, consider how many ways it can be written as a product of positive powers of $p$. That is, each partition of $k$ yields an abelian group of order $p^k$. Since the choices can be made independently for each $p$, the numbers of such partitions for each $p$ are then multiplied.
Of all these abelian groups of order $n$, of course, one of them is the cyclic group of order $n$. The fundamental theorem of cyclic groups says it is the one that involves the one-element partitions $k= [k]$, i.e. the cyclic groups of order $p^k$ for each $p$.
Theorem says that for any prime number $p$, the p-primary part of any finitely generated abelian group is determined uniquely up to isomorphism by
a total number $k \in \mathbb{N}$ of powers of $p$;
a partition $k = k_1 + k_2 + \cdots + k_q$.
The corresponding p-primary group is
In the context of Adams spectral sequences it is conventional to depict this information graphically by
$k$ dots;
of which sequences of length $k_i$ are connected by vertical lines, for $i \in \{1, \cdots, q\}$.
For example the graphical representation of the $p$-primary group
is
This notation comes from the convention of drawing stable pages of multiplicative Adams spectral sequences and reading them as encoding the extension problem for computing the homotopy groups that the spectral sequence converges to:
a dot at the top of a vertical sequence of dots denotes the group $\mathbb{Z}/p\mathbb{Z}$;
inductively, a dot vetically below a sequence of dots denotes a group extension of $\mathbb{Z}/p\mathbb{Z}$ by the group represented by the sequence of dots above;
a vertical line between two dots means that the the generator of the group corresponding to the upper dot is, regarded after inclusion into the group extension, the product by $p$ of the generator of the group corresponding to the lower dot, regarded as represented by the generator of the group extension.
So for instance
stands for an abelian group $A$ which forms a group extension of the form
such that multiplication by $p$ takes the generator of the bottom copy of $\mathbb{Z}/p\mathbb{Z}$, regarded as represented by the generator of $A$, to the generator of the image of the top copy of $\mathbb{Z}/p\mathbb{Z}$.
This means that of the two possible choices of extensions (by example ) $A$ corresponds to the non-trivial extension $A = \mathbb{Z}/p^2\mathbb{Z}$. Because then in
the image of the generator 1 of the first group in the middle group is $p = p \cdot 1$.
Conversely, the notation
stands for an abelian group $A$ which forms a group extension of the form
such that multiplication by $p$ of the generator of the top group in the middle group does not yield the generator of the bottom group.
This means that of the two possible choices (by example ) $A$ corresponds to the trivial extension $A = \mathbb{Z}/p\mathbb{Z} \oplus \mathbb{Z}/p\mathbb{Z}$. Because then in
the generator 1 of the top group maps to the element $(1,0)$ in the middle group, and multiplication of that by $p$ is $(0,0)$ instead of $(0,1)$, where the latter is the generator of the bottom group.
Similarly
is to be read as the result of appending to the previous case a dot below, so that this now indicates a group extension of the form
such that $p$-times the generator of the bottom group, regarded as represented by the generator of the middle group, is the image of the generator of the top group. This is again the case for the unique non-trivial extension, and hence in this case the diagram stands for $A = \mathbb{Z}/p^3 \mathbb{Z}$.
And so on.
For example the stable page of the $\mathbb{F}_2$-classical Adams spectral sequence for computation of the 2-primary part of the stable homotopy groups of spheres $\pi_{t-s}(\mathbb{S})$ has in (“internal”) degree $t-s \leq 13$ the following non-trivial entries:
(graphics taken from (Schwede 12)))
Ignoring here the diagonal lines (which denote multiplication by the element $h_1$ that encodes the additional ring structure on $\pi_\bullet(\mathbb{S})$ which here we are not concerned with) and applying the above prescription, we read off for instance that $\pi_3(\mathbb{S}) \simeq \mathbb{Z}/8\mathbb{Z}$ (because all three dots are connected) while $\pi_8(\mathbb{S}) \simeq \mathbb{Z}/2\mathbb{Z}\oplus \mathbb{Z}/2\mathbb{Z}$ (because here the two dots are not connected). In total
$k =$ | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
$\pi_k(\mathbb{S})_{(2)} =$ | $\mathbb{Z}_{(2)}$ | $\mathbb{Z}/2$ | $\mathbb{Z}/2$ | $\mathbb{Z}/8$ | $0$ | $0$ | $\mathbb{Z}/2$ | $\mathbb{Z}/16$ | $(\mathbb{Z}/2)^2$ | $(\mathbb{Z}/2)^3$ | $\mathbb{Z}/2$ | $\mathbb{Z}/8$ | $0$ | $0$ |
Here the only entry that needs further explanation is the one for $k = 0$. The symbol $\mathbb{Z}_{(2)}$ refers to the 2-adic integers, i.e. for the limit
This is not 2-primary, but it does arise when applying 2-completion of abelian groups to finitely generated abelian groups as in theorem . For more on this see at Adams spectral sequence – Convergence. Here we just note why this 2-completion is associated with the infinite sequence of dots
as in the above figure. Namely by the above prescrption, this infinite sequence should encode an abelian group $A$ such that it is an extension of $\mathbb{Z}/p\mathbb{Z}$ by itself of the form
(Because it is supposed to encode an extension of $\mathbb{Z}/p\mathbb{Z}$ by the group corresponding to the result of chopping off the lowest dot, which however in this case does not change the figure.)
Indeed, by this lemma we have a short exact sequence
For instance
A new proof of the fundamental theorem of finite abelian groups was given in
reviewed in
See also
Wikipedia, Finitely generated abelian group – Primary decomposition
Paolo Aluffi, Algebra Chapter 0, 2009 (pdf)
Last revised on August 27, 2018 at 12:39:19. See the history of this page for a list of all contributions to it.