Classification of Finitely Generated Abelian Groups

Classification of Finitely Generated Abelian Groups
The proof given below uses vector space techniques (Smith Normal Form) and gener-
alizes from abelian groups to “modules over PIDs” (essentially generalized vector spaces).
Smith Normal Form is a reduced form similar to the row reduced matrices encountered in
elementary linear algebra. It is used in number theory to solve systems of linear diophan-
tine (integer!) equations much like row reduced matrices are used to solve linear systems
in elementary linear algebra.
Definition: An abelian group G is finitely generated if there are a finite number of
elements g1 , . . ., gn called generators which generate G:
G = hg1 , . . . , gn i = Zg1 + · · · + Zgn .
In this case Zn = Z ⊕ · · · ⊕ Z −→ G defined by (i1 , . . . , in ) 7→ i1 g1 + · · · + in gn is an

onto homomorphism. Conversely, if there is an onto homomorphism of this type then G
is finitely generated.
Let K be the kernel of the homomorphism. Then by the First Isomorphism Theorem,
Z /K ∼
n
= G. Since we wish to determine G, determining the form of subgroups K of
Zn must be useful. Now Zn is isomorphic to itself in many ways. For example, there
is an automorphism of Z2 , also called a change of generators, which takes generators
(1, 1) and (0, 1) to (1, 0) and (0, 1), respectively. Under this automorphism the subgroup
K = { (2i, 2i) | i ∈ Z } becomes subgroup L = 2Z ⊕ {0}. L is preferable to K, since we see
immediately that Z2 /K ∼ = Z2 /L ∼ = Z/2Z ⊕ Z.
We will show, by changing generators of Zn , that K ∼ = d1 Z ⊕ · · · ⊕ dr Z where di |di+1 ,
∼ n ∼
di > 0, so G = Z /K = Z/d1 Z ⊕ · · · ⊕ Z/dr Z ⊕ Z ⊕ · · · ⊕ Z. First we need a technical
result.
Proposition: Every subgroup of Zn is finitely generated (by at most n generators).
Proof: Induct on n. Let K be a subgroup. Let F be the first components of elements
of K, that is, f ∈ F if (f, a2 , . . . , an ) ∈ K for some ai ’s. F is clearly a subgroup of Z. Pick
the least positive element f in F or pick f = 0 if F is trivial, and select (f, a2 , . . . , an ) ∈ K.
Given (k1 , . . . , kn ) ∈ K since f is least, by the division algorithm k1 = sf for some s so
(k1 , . . . , kn ) = s(f, a2 , . . . , an ) + (0, k2 − sa2 , . . . , kn − san ).
The collection of all elements (k2 − sa2 , . . . , kn − san ) is a subgroup K 0 of Zn−1 . K 0 is

finitely generated by induction. This shows K is finitely generated.
Theorem: Let K be a subgroup of Zn . Then K ∼ = d1 Z ⊕ · · · ⊕ dr Z for some di |di+1 ,
n ∼
di > 0, and Z /K = Z/d1 Z ⊕ · · · ⊕ Z/dr Z ⊕ Z ⊕ · · · ⊕ Z.
Proof: K is a finitely generated subgroup of Zn by the previous proposition. Let k1 ,
. . ., km be generators for K and write ki = (ki1 , . . . , kin ). Set
k11 ... k1n

 
. .. .. 
A =  .. . .
km1 ... kmn
Apply row and column operations in Z: the allowed operations are to interchange two
rows (resp. columns), to multiply a row (resp. column) by −1, and to add one row (resp.
column) to a different row (resp. column). Row operations have the effect of replacing one
set of generators k1 , . . ., km of K by some other set of generators of K. For example, the
add operation that adds the first to the second row replaces the generators by k1 , k2 + k1 ,
k3 , . . ., km , which are also generators of K. Column operations are similar, except they
replace generators of Zn by other generators of Zn .
As described below, by using these row and column operations the integral matrix A
can be reduced to Smith Normal Form:
d1 . . . 0 0 . . . 0
 
 .. . . . . .. .
 . . .. .. . .. 
 0 . . . dr 0 . . . 0 
 
S=
 0 ... 0 0 ... 0

 . .
 .. . . ... ... . . . ... 

0 ... 0 0 ... 0
which proves the result.

Corollary (Classification Theorem for Finitely Generated Abelian Groups):
Let G be a finitely generated abelian group. Then G ∼ = Z/d1 Z ⊕ · · · ⊕ Z/dr Z ⊕ Z ⊕ · · · ⊕ Z
for some di |di+1 , di > 0.
Proof: Let g1 , . . ., gn be generators of G. Consider the homomorphism Zn −→ G
defined by (i1 , . . . , in ) 7→ i1 g1 + · · · + in gn . By the First Isomorphism Theorem G ∼ = Zn /K
where K is the kernel of the homomorphism. Now use the previous theorem.
Computing Smith Normal Form: By induction it suffices to show every integral
d 0
A can be reduced using integer row and column operations to where d divides
0 B
every entry of B.
Call the absolute value of a non-zero element the size of the element and call the
upper left entry the pivot. Assume the matrix is non-zero. By interchanging rows or
columns move the non-zero element of least size to the pivot. In what follows, whenever
we encounter an element in A which is smaller in size than the pivot, we move that
element to the pivot; we never increase the size of the pivot. Note that since the elements
are integers, this means the pivot will only be changed a finite number of times.
Step 1: Repeatedly add or subtract the pivot from other entries in the first row and
in the first column, reducing the size of those entries. The entries either become zero or
are smaller in size than the pivot. Since the size can not be reduced indefinitely, at some
stage all entries in the first row and first column except the pivot are zero.
Step 2: If the pivot does not divide every element of B, say it does not divide the
2,2 element, then add the second row to the first, and then add or subtract the pivot a
sufficient number of times to make the 1,2 element of smaller size than the pivot. Return
to Step 1 with this element as pivot. Since the pivot can be reduced in size only a finite
number of times, ultimately the pivot will divide every entry of B.
c 2000 October, W. Holzmann

Classification of Finitely Generated Abelian Groups

Uploaded by

Copyright:

Available Formats

Classification of Finitely Generated Abelian Groups

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Classification of Finitely Generated Abelian Groups

Uploaded by

Copyright:

Available Formats

Classification of Finitely Generated Abelian Groups

G = hg1 , . . . , gn i = Zg1 + · · · + Zgn .

In this case Zn = Z ⊕ · · · ⊕ Z −→ G defined by (i1 , . . . , in ) 7→ i1 g1 + · · · + in gn is an

(k1 , . . . , kn ) = s(f, a2 , . . . , an ) + (0, k2 − sa2 , . . . , kn − san ).

The collection of all elements (k2 − sa2 , . . . , kn − san ) is a subgroup K 0 of Zn−1 . K 0 is

k11 ... k1n

which proves the result.

You might also like