Lecture 7
Lecture 7
Lecture 7
Abelian Groups)
Every nontrivial finitely generated abelian group G is isomorphic to
a direct product of nontrivial cyclic groups
Theorem
Every finitely generated abelian group G is isomorphic to a direct
product of cyclic groups
Zp1 r1 × · · · × Zps rs × Zn
Definition
An abelian group whose all non-identity elements have the same
order is called elementary abelian group.
Definition
An abelian group whose all non-identity elements have the same
order is called elementary abelian group.
Corollary
If G is an elementary abelian group then G ' Zp × Zp × . . . × Zp
for some prime p.
Remark
An elementary abelian group G ' Zp × . . . × Zp is a vector space
over the field Zp
Remark
An elementary abelian group G ' Zp × . . . × Zp is a vector space
over the field Zp
Remark
An elementary abelian group G ' (Zp )n is generated by
x1 , x2 , . . . , xn subject to the relations xi xj = xj xi , xip = e for
i, j = 1, . . . , n.
Theorem (The Fundamental Homomorphism Theorem)
Let G , G 0 be groups, and ϕ : G → G 0 be a group homomorphism
with kernel H.
(a) ϕ(G ) ≤ G 0 ;
(b) µ : G /H → ϕ(G ) defined by µ(gH) = ϕ(g ) is an isomorphism;
(c) ϕ = µ ◦ τ.
Proof. (a) was proved before.
Proof. (a) was proved before.
(b). First show that µ is well-defined: for any g1 H = g2 H ∈ G /H,
we have
so µ is a homomorphism.
Proof. (a) was proved before.
(b). First show that µ is well-defined: for any g1 H = g2 H ∈ G /H,
we have
R/Z ∼
= (U, ·)
Example
(1) SLn (R) GLn (R).
(2) H = {A ∈ GLn (R)| det(A) = ±1} GLn (R).
It follows that SLn (R) GLn (R) since we know previously that
SLn (R) ≤ GLn (R).
(2). Define a map
So ϕ is an onto homomorphism,
and
θ : G /K → G /H,
aK → aH, ∀a ∈ G .
Surjectivity follows from (3). We will show that the kernel is {e}.
Proof. Define f : H1 × H2 → G by f ((a1 , a2 )) = a1 a2 . Then it is a
homomorphism since
Surjectivity follows from (3). We will show that the kernel is {e}.
If f ((a1 , a2 )) = e then a1 a2 = e and a1 = a2−1 . Since a1 ∈ H1 and
a2−1 ∈ H2 , we have a1 = a2−1 ∈ H1 ∩ H2 = {e}.
Proof. Define f : H1 × H2 → G by f ((a1 , a2 )) = a1 a2 . Then it is a
homomorphism since
Surjectivity follows from (3). We will show that the kernel is {e}.
If f ((a1 , a2 )) = e then a1 a2 = e and a1 = a2−1 . Since a1 ∈ H1 and
a2−1 ∈ H2 , we have a1 = a2−1 ∈ H1 ∩ H2 = {e}. Thus a1 = a2 = e
and ker f = {e}. Therefore G ∼ = H 1 × H2 .
Corollary
If H1 , H2 G such that H1 ∩ H2 = {e} and G = H1 H2 , then
G∼ = H1 × H2 .
Corollary
If H1 , H2 G such that H1 ∩ H2 = {e} and G = H1 H2 , then
G∼ = H1 × H2 .
Example
Consider the direct product of two cyclic groups: G = Z4 × Z6 .
Clearly, it’s not cyclic. For (2, 3) ∈ Z4 × Z6 , we know that
H = h(2, 3)i G .
Since 2(2, 3) = (4, 6) = (0, 0) we see that H = {(0, 0), (2, 3)}.
Then
|G | 24
|G /H| = = = 12 = 22 · 3.
|H| 2
and p(2) · p(1) = 2. So, we know that abelian groups with order
12 are
Z4 × Z3 ∼
= Z12 , Z2 × Z2 × Z3 .
From this, we claim that
G /H ∼
= Z12 .
(1, 0); 2(1, 0) = (2, 0); 3(1, 0) = (3, 0); 4(1, 0) = (0, 0).
So ord((1, 0) + H) = 4. Therefore G /H ∼
= Z12 .