Professional Documents
Culture Documents
FUNDAMENTAL Theorem of
Finitely Generated Abelian Groups
(FTFGAG)
Warm up:
1. Let n 1500.
Find all sequences n1 ¥ n2 ¥ . . . ns ¥ 2 satisfying ni 1 ni
Definition
1. A group G is finitely generated if there is a finite subset A of
G such that G xAy.
Last time:
Definition
1. A group G is finitely generated if there is a finite subset A of
G such that G xAy.
2. For each r P Z with r ¥ 0, let Zr Z Z Z be the
direct product of r copies of the group Z, where Z0 1. The
group Zr is called the free abelian group of rank r.
Last time:
Definition
1. A group G is finitely generated if there is a finite subset A of
G such that G xAy.
2. For each r P Z with r ¥ 0, let Zr Z Z Z be the
direct product of r copies of the group Z, where Z0 1. The
group Zr is called the free abelian group of rank r.
G Zr Zn1 Zn Zn
2 s
G Zr Zn1 Zn Zn
2 s
Definition
The integer r is called the free rank or Betti number of G and the
integers n1 , n2 , . . . , ns are called the invariant factors of G. The
description is called the invariant factor decomposition of G. If G
is finite, we call s the rank, and G is of type pn1 , . . . , ns q.
Theorem (FTFGAG)
If G is a finitely generated abelian group, then
G Zr Zn1 Zn Zn
2 s
Definition
The integer r is called the free rank or Betti number of G and the
integers n1 , n2 , . . . , ns are called the invariant factors of G. The
description is called the invariant factor decomposition of G. If G
is finite, we call s the rank, and G is of type pn1 , . . . , ns q.
Proposition
Every prime divisor of n must divide the first invariant factor n1 .
Theorem (FTFGAG)
If G is a finitely generated abelian group, then
G Zr Zn1 Zn Zn
2 s
Definition
The integer r is called the free rank or Betti number of G and the
integers n1 , n2 , . . . , ns are called the invariant factors of G. The
description is called the invariant factor decomposition of G. If G
is finite, we call s the rank, and G is of type pn1 , . . . , ns q.
Proposition
Every prime divisor of n must divide the first invariant factor n1 .
Corollary
If n is the product of distinct primes, then up to isomorphism the
only abelian group of order n is Zn , the cyclic group of order n.
Theorem (Primary decomposition theorem)
Let G be an abelian group of order n ¡ 1 where n factors into
primes as n pα1 1 . . . pαk k . Then
A Zpβ1 Zp βt
A Zpβ1 Zp βt
A Zpβ1 Zp βt
Definition
The integers pβj are called the elementary divisors of G. This
description of G is called its elementary divisor decomposition.
G A1 A2 Ak with |Ai | pαi i .
Definition
1. A ring R is a set together with two binary operations and
such that
1.1 pR, q is an abelian group,
1.2 is associative: pa bq c a pb cq,
1.3 the distributive laws hold for R
Definition
1. A ring R is a set together with two binary operations and
such that
1.1 pR, q is an abelian group,
1.2 is associative: pa bq c a pb cq,
1.3 the distributive laws hold for R
Definition
1. A ring R is a set together with two binary operations and
such that
1.1 pR, q is an abelian group,
1.2 is associative: pa bq c a pb cq,
1.3 the distributive laws hold for R