Beruflich Dokumente
Kultur Dokumente
Dwight B. Thieme
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin
Outline
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin
What is the Structure Theorem?
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin
What is the Structure Theorem?
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin
What is the Structure Theorem?
The rank of G is n ≥ 0
ki 6= 0 or 1, and ki |ki+1
This just says that a finitely-generated abelian group is the
direct sum of a free abelian group of finite rank and a finite
abelian group, each unique up to isomorphism.
The finite abelian group is just the torsion subgroup of G.
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin
What is Torsion?
M∼
= R n /K
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin
What is Torsion?
M∼
= R n /K
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin
What is Torsion?
n
P
If (r1 , r2 , . . . , rn ) ∈ K , then ri gi = 0
i=1
An element m of an R-module M is called a torsion
element if rm = 0 for some nonzero r ∈ R
if R = Z so that an abelian group G is a Z-module, then the
torsion subgroup of G is:
{g ∈ G|g| < ∞, ie, ng = 0 for some n ∈ N}
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin
What is Torsion?
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin
Example
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin
Example
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin
Big Fact
then M ∼
= R/(a1 ) ⊕ R/(a2 ) · · · ⊕ R/(an ).
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin
The Smith Normal Form
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin
The Smith Normal Form
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin
The Smith Normal Form
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin
The Smith Normal Form
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin
The Smith Normal Form
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin
What is Torsion?
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin
What is Torsion?
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin
What is Torsion?
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin
What is Torsion?
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin
What is Torsion?
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin
What is Torsion?
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin
Make Titles Informative.
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin
Make Titles Informative.
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin
Make Titles Informative.
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin
Make Titles Informative.
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin
Make Titles Informative.
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin
Make Titles Informative.
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin
Make Titles Informative.
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin
Make Titles Informative.
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin
Every finitely generated module M over a principal ideal
domain R is isomorphic to a unique decomposition of the
form:
R f ⊕i R/(di ) ≡ R f ⊕ R/(d1 ) ⊕ R/(d2 ) ⊕ · · · ⊕ R/(dn−f ),
where di 6= 0 or 1, and di |di+1 . The ideals, (di ), are unique,
and the elements, di , are unique up to multiplication by
some unit.
Every finitely-generated abelian group, G, is a module over
Z and hence the Structure Theorem can be given in this
form:
G∼= Zn ⊕ Zk1 ⊕ Zk2 ⊕ · · · ⊕ Zkt ,
with rank n ≥ 0, ki 6= 0 or 1, and ki |ki+1 . This just says that
a finitely-generated abelian group is the direct sum of a
free abelian group of finite rank and a finite abelian group,
each unique up to isomorphism. The finite abelian group is
just the torsion subgroup of G. The rank of G is defined as
the rank of the torsion-free part of G; this is just the
number n in the above formulas. The first main message of
Dwight B. Thieme The Structure Theorem for Finitely Generated Modules over a Prin