nLab fundamental theorem of finitely generated abelian groups

Redirected from "fundamental theorem of finite abelian groups".
Contents

Contents

Statement

Theorem

(fundamental theorem of finitely generated abelian groups)

Every finitely generated abelian group AA is isomorphic to a direct sum of p-primary cyclic groups /p k\mathbb{Z}/p^k \mathbb{Z} (for pp a prime number and kk a natural number ) and copies of the infinite cyclic group \mathbb{Z}:

A ni/p i k i. A \;\simeq\; \mathbb{Z}^n \oplus \underset{i}{\bigoplus} \mathbb{Z}/p_i^{k_i} \mathbb{Z} \,.

The summands of the form /p k\mathbb{Z}/p^k \mathbb{Z} are also called the p-primary components of AA. Notice that the p ip_i need not all be distinct.

fundamental theorem of finite abelian groups:

In particular every finite abelian group is of this form for n=0n = 0, hence is a direct sum of cyclic groups.

fundamental theorem of cyclic groups:

In particular every cyclic group /n\mathbb{Z}/n\mathbb{Z} is a direct sum of cyclic groups of the form

/ni/p i k i \mathbb{Z}/n\mathbb{Z} \simeq \underset{i}{\bigoplus} \mathbb{Z}/ p_i^{k_i} \mathbb{Z}

where all the p ip_i are distinct and k ik_i is the maximal power of the prime factor p ip_i in the prime decomposition of nn.

Specifically, for each natural number dd dividing nn it contains /d\mathbb{Z}/d\mathbb{Z} as the subgroup generated by n/d/nn/d \in \mathbb{Z}\to \mathbb{Z}/n\mathbb{Z}. In fact the lattice of subgroups of /n\mathbb{Z}/n\mathbb{Z} is the formal dual of the lattice of natural numbers n\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.

Examples

The following examples may be useful for illustrative or instructional purposes.

Example

For pp a prime number, there are, up to isomorphism, two abelian groups of order p 2p^2, namely

(/p)(/p) (\mathbb{Z}/p\mathbb{Z}) \oplus (\mathbb{Z}/p\mathbb{Z})

and

/p 2. \mathbb{Z}/p^2 \mathbb{Z} \,.

For p=2p = 2 the first is the Klein 4-group.

Example

For p 1p_1 and p 2p_2 two distinct prime numbers, p 1p 2p_1 \neq p_2, then there is, up to isomorphism, precisely one abelian group of order p 1p 2p_1 p_2, namely

/p 1/p 2. \mathbb{Z}/p_1 \mathbb{Z} \oplus \mathbb{Z}/p_2 \mathbb{Z} \,.

This is equivalently the cyclic group

/p 1p 2/p 1/p 2. \mathbb{Z}/p_1 p_2 \mathbb{Z} \simeq \mathbb{Z}/p_1 \mathbb{Z} \oplus \mathbb{Z}/p_2 \mathbb{Z} \,.

The isomorphism is given by sending 11 to (p 2,p 1)(p_2,p_1).

Example

Moving up, for two distinct prime numbers p 1p_1 and p 2p_2, there are exactly two abelian groups of order p 1 2p 2p_1^2 p_2, namely (/p 1)(/p 1)(/p 2)(\mathbb{Z}/p_1 \mathbb{Z})\oplus (\mathbb{Z}/p_1 \mathbb{Z}) \oplus (\mathbb{Z}/p_2 \mathbb{Z}) and (/p 1 2)(/p 2)(\mathbb{Z}/p_1^2 \mathbb{Z})\oplus (\mathbb{Z}/p_2 \mathbb{Z}). The latter is the cyclic group of order p 1 2p 2p_1^2 p_2. For instance, /12(/4)(/3)\mathbb{Z}/12\mathbb{Z} \cong (\mathbb{Z}/4 \mathbb{Z})\oplus (\mathbb{Z}/3 \mathbb{Z}).

Example

Similarly, there are four abelian groups of order p 1 2p 2 2p_1^2 p_2^2, three abelian groups of order p 1 3p 2p_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 nn (up to isomorphism): write down its prime factorization, and then for each prime power p kp^k appearing therein, consider how many ways it can be written as a product of positive powers of pp. That is, each partition of kk yields an abelian group of order p kp^k. Since the choices can be made independently for each pp, the numbers of such partitions for each pp are then multiplied.

Of all these abelian groups of order nn, of course, one of them is the cyclic group of order nn. The fundamental theorem of cyclic groups says it is the one that involves the one-element partitions k=[k]k= [k], i.e. the cyclic groups of order p kp^k for each pp.

Graphical representation

Remark

Theorem says that for any prime number pp, the p-primary part of any finitely generated abelian group is determined uniquely up to isomorphism by

  • a total number kk \in \mathbb{N} of powers of pp;

  • a partition k=k 1+k 2++k qk = k_1 + k_2 + \cdots + k_q.

The corresponding p-primary group is

i=1q/p k i. \underoverset{i = 1}{q}{\bigoplus} \mathbb{Z}/p^{k_i} \mathbb{Z} \,.

In the context of Adams spectral sequences it is conventional to depict this information graphically by

  • kk dots;

  • of which sequences of length k ik_i are connected by vertical lines, for i{1,,q}i \in \{1, \cdots, q\}.

For example the graphical representation of the pp-primary group

/p/p/p 3/p 4 \mathbb{Z}/p\mathbb{Z} \oplus \mathbb{Z}/p\mathbb{Z} \oplus \mathbb{Z}/p^3 \mathbb{Z} \oplus \mathbb{Z}/p^4\mathbb{Z}

is

| | | | | . \array{ &&& \bullet \\ && & \vert \\ && \bullet & \bullet \\ && \vert & \vert \\ && \bullet & \bullet \\ && \vert & \vert \\ \bullet & \bullet & \bullet & \bullet } \,.

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 /p\mathbb{Z}/p\mathbb{Z};

  • inductively, a dot vetically below a sequence of dots denotes a group extension of /p\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 pp of the generator of the group corresponding to the lower dot, regarded as represented by the generator of the group extension.

So for instance

| \array{ \bullet \\ \vert \\ \bullet }

stands for an abelian group AA which forms a group extension of the form

/p A /p \array{ \mathbb{Z}/p\mathbb{Z} \\ \downarrow \\ A \\ \downarrow \\ \mathbb{Z}/p\mathbb{Z} }

such that multiplication by pp takes the generator of the bottom copy of /p\mathbb{Z}/p\mathbb{Z}, regarded as represented by the generator of AA, to the generator of the image of the top copy of /p\mathbb{Z}/p\mathbb{Z}.

This means that of the two possible choices of extensions (by example ) AA corresponds to the non-trivial extension A=/p 2A = \mathbb{Z}/p^2\mathbb{Z}. Because then in

/p /p 2 /p \array{ \mathbb{Z}/p\mathbb{Z} & \\ \downarrow \\ \mathbb{Z}/p^2 \mathbb{Z} & \\ \downarrow \\ \mathbb{Z}/p\mathbb{Z} & }

the image of the generator 1 of the first group in the middle group is p=p1p = p \cdot 1.

Conversely, the notation

\array{ \bullet \\ \\ \bullet }

stands for an abelian group AA which forms a group extension of the form

/p A /p \array{ \mathbb{Z}/p\mathbb{Z} \\ \downarrow \\ A \\ \downarrow \\ \mathbb{Z}/p\mathbb{Z} }

such that multiplication by pp 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 ) AA corresponds to the trivial extension A=/p/pA = \mathbb{Z}/p\mathbb{Z} \oplus \mathbb{Z}/p\mathbb{Z}. Because then in

/p /p/p /p \array{ \mathbb{Z}/p\mathbb{Z} \\ \downarrow \\ \mathbb{Z}/p\mathbb{Z} \oplus \mathbb{Z}/p\mathbb{Z} \\ \downarrow \\ \mathbb{Z}/p\mathbb{Z} }

the generator 1 of the top group maps to the element (1,0)(1,0) in the middle group, and multiplication of that by pp is (0,0)(0,0) instead of (0,1)(0,1), where the latter is the generator of the bottom group.

Similarly

| | \array{ \bullet \\ \vert \\ \bullet \\ \vert \\ \bullet }

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

/p 2 A /p \array{ \mathbb{Z}/p^2 \mathbb{Z} \\ \downarrow \\ A \\ \downarrow \\ \mathbb{Z}/p \mathbb{Z} }

such that pp-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=/p 3A = \mathbb{Z}/p^3 \mathbb{Z}.

And so on.

For example the stable page of the 𝔽 2\mathbb{F}_2-classical Adams spectral sequence for computation of the 2-primary part of the stable homotopy groups of spheres π ts(𝕊)\pi_{t-s}(\mathbb{S}) has in (“internal”) degree ts13t-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 1h_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 π 3(𝕊)/8\pi_3(\mathbb{S}) \simeq \mathbb{Z}/8\mathbb{Z} (because all three dots are connected) while π 8(𝕊)/2/2\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=k =012345678910111213
π k(𝕊) (2)=\pi_k(\mathbb{S})_{(2)} = (2)\mathbb{Z}_{(2)}/2\mathbb{Z}/2/2\mathbb{Z}/2/8\mathbb{Z}/80000/2\mathbb{Z}/2/16\mathbb{Z}/16(/2) 2(\mathbb{Z}/2)^2(/2) 3(\mathbb{Z}/2)^3/2\mathbb{Z}/2/8\mathbb{Z}/80000

Here the only entry that needs further explanation is the one for k=0k = 0. The symbol (2)\mathbb{Z}_{(2)} refers to the 2-adic integers, i.e. for the limit

(2)=lim n1/2 n. \mathbb{Z}_{(2)} = \underset{\longleftarrow}{\lim}_{n \geq 1} \mathbb{Z}/2^n \mathbb{Z} \,.

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

| | | | \array{ \vdots \\ \vert \\ \bullet \\ \vert \\ \bullet \\ \vert \\ \bullet \\ \vert \\ \bullet }

as in the above figure. Namely by the above prescrption, this infinite sequence should encode an abelian group AA such that it is an extension of /p\mathbb{Z}/p\mathbb{Z} by itself of the form

0Ap()A/p 0 \to A \overset{p \cdot(-)}{\longrightarrow} A \longrightarrow \mathbb{Z}/p\mathbb{Z}

(Because it is supposed to encode an extension of /p\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

0 (p)p() (p)/p0. 0 \to \mathbb{Z}_{(p)} \overset{p \cdot (-)}{\longrightarrow} \mathbb{Z}_{(p)} \longrightarrow \mathbb{Z}/p\mathbb{Z} \to 0 \,.

References

Textbook accounts:

A new proof of the fundamental theorem of finite abelian groups was given in

reviewed in

  • John Sullivan, Classification of finite abelian groups (pdf)

See also

Last revised on July 6, 2022 at 10:18:46. See the history of this page for a list of all contributions to it.