Chapter 6 FINITELY GENERATED ABELIAN GROUPS Flashcards
A group is FG if
there exists S a subset of G where S is finite and < S > =G
Zn x Zm is isomorphic to Znm <=>
hcf(n,m)=1
Classification theorem for finitely generated abelian groups
Any FG abelian group G is isomorphic to a direct product of cyclic groups.
Zm1 x Zm2 x…..x Zmk x Z^S
where m1 | m2,….. mk-1 | mk and s>0
m1,…mk are the torsion coefficients of G
S is the rank of G
Any finite abelian group G is isomorphic to
Zm1 x Zm2 x …x Zmk where mi | mi+1
i = 1,…,k-1
|G|= m1…mk
Any FG abelian group with no elements of finite order (apart from 1) is isomorphic to
Z^S = Zx….xZ
S belongs to NU{0}
Let
G1= Zm1 x …. x Zmk x Z^s
G1= Zn1 x …. x Znk x Z^t
where mi | mi+1, ni | ni+1 then….
Then G1 isomorphic to G2 <=> k=l, s=t ,ni=mi for all i