Week 03
Week 03
Week 3
3.1 The Center and Centralizer
There are two subgroups of any group G that are easily dened and
easily confused
DEFINITION 1 If G is a group then the center of G is the set
C (G) = fa 2 Gj ax = xa 8x 2 Gg:
EXAMPLE 3 C (D3) = fe = r0g since non-zero rotations don't commute with
ips.
1
2 Math 375
EXAMPLE 4 For an element to be in the center of G its row and column in the Cayley
table for G must be identical. Clearly the identity must always be in the
center.
EXAMPLE 5 What is C (V4)? What is C (Q8 )? Answers: V4 and fI; ,I g, respectively.
DEFINITION 3 Let G be a group and let a 2 G. The centralizer of G is the set
C (a) = fg 2 Gj ga = agg = fg 2 Gj gag ,1 = ag
EXAMPLE 8
1 1
In GL(2; R) nd C 0 1 . By direct computation:
a b j a; b 2 R :
0 a
Last time we were able to derive a nite subgroup test because if H were
a nite closed subset of a group G, powers of the elements of H cycled
around on themselves.
EXAMPLE 12 In (Z6 ; ), let's examine the powers of 3, 4, and 5 explicitly.
a) j3j = 2
1(3) = 3
8
2(3) = 0
< 1(4) = 4
b) j4j = 3 2(4) = 2
:
3(4) = 0
8
>
1(5) = 5
>
>
>
>
2(5) = 4
c) j5j = 6
<
3(5) = 3
>
>
4(5) = 2
>
>
>
:
5(5) = 1
6(5) = 0
In this last case all of the elements of Z6 are multiples (i.e., powers) of
of 5. This is not the case with 3 or 4.
Our next goal is to make the notion of generation by powers precise.
DEFINITION 5 Let x 2 G, a group. The set of powers (multiples) of x in G is denoted
by < x >. In particular:
< x > = fxn j n 2 Zg (for multiplicative groups)
< x > = fnxj n 2 Zg (for additive groups)
EXAMPLE a) in Z6
< 3 > = f3; 0g
< 5 > = f0; 1; 2; 3; 4; 5g
b) In D3
< v > = fv; r0g
< r120 > = fr120 ; r240 ; r0g
4 Math 375
c)Find < 5 > in U (12).
d) Find < i > in C .
DEFINITION 7 If there is some element x 2 G such that < x >= G, then G is called a
cyclic group. In other words, G = fxn j n 2 Zg. We call x a generator
of G.
Note: Obviously if < x >= G, then jxj = jGj.
EXAMPLE a) What is the order of 756 in Z1155 ? Well, in the rst week of class
we saw gcd(1155; 756) = 21. Therefore
1155
j756j = gcd(756 = 1155 = 55:
; 1155) 21
e) What is the order of a756 in G =< a > if jaj = 1155? Same as
above: 21.
THEOREM 13 (Fundamental Theorem of Cyclic Groups) Let G =< a > be a
cyclic group, then:
a) every subgroup of G is cyclic;
b) if j < a > j = n, then the order of any subgroup of < a > is a divisor
of n;
c) if k is a divisor of n = j < a > j, then the group < a > has exactly
one subgroup of order k, namely < an=k >.
Let's look at what this theorem means before we prove it.
3.2 Cyclic Subgroups 7
EXAMPLE 20 Z is cyclic, so every subgroup of Z has the form < n >. But this is just
the set of multiples of n. For example, < 2 > is the set of even integers,
< 3 > is the set of integers divisible by 3. Now we also know that the
intersection of two subgroups is again a subgroup.
b) What is < 12 > \ < 8 >? Well, it must be < n > since Z is
cyclic. It is a set of multiples common to both < 8 > and < 12 >.
Therefore < 12 > \ < 8 >=< lcm(8; 12) >.
c) More generally, < m > \ < n >=< lcm(m; n) mod n >.
EXAMPLE 21 Now consider G = Z24 . It is cyclic and generated by 1. We can list all
of its subgroups because we know all of its divisors: 1, 2, 3, 4, 6, 8, 12,
and 24.
Order 24: < 1 >= f0; 1; : : :; 23g =< 23 >=?
Order 12: < 2 >= f0; 2; 4; : : :; 22g =< 22 >=? Now we need 2 = gcd(k; n)
for k to generate this subgroup of order 12.
Order 8: < 3 >= f0; 3; 6; : : :; 21g =< 21 >=?
Order 6: < 6 >= f0; 6; 12; 18g =< 18 >=?
Order 3: < 8 >= f0; 8; 16g =< 16 >
Order 2: < 12 >= f0; 12g
Order 1: < 0 >= f0g
Notice that in each case, the subgroup of order k had 24=k as one
of its generators.
d) We can reinterpret this list for a multiplicative group G =< a > of
order 24.
Order 24: < a >= fe = a0 ; a1 ; : : :; a23g =< a23 >
Order 12: < a2 >= fe; a2; a4 ; : : :; a22g =< a22 >
Order 8: < a3 >= fe; a3; a6 ; : : :; a21g =< a21 >
Order 6: < a6 >= fe; a6; a12 ; a18 g =< a18 >
Order 3: < a8 >= fe; a8; a16 g =< a16 >
Order 2: < a12 >= fe; a12g
Order 1: < e >= feg
EXAMPLE 22 Suppose that a nite cyclic group G =< a > has exactly three distinct
subgroups: G itself, a subgroup of order 7, and feg. What is the order
of G?
SOLUTION What do we know? Let jGj = n. We know that 7 j n, and of course
1 j n and n j n? Can any other k divide n? Thus, n is a power of 7, i.e.,
n = 7m . What must m be? Can't be 0 or 1, could be 2. Why can't it
be higher than 2?
PROOF To prove the theorem we proceed in steps.
8 Math 375
(A) Let H be any subgroup of G. If H = feg, then H =< e > and so is
cyclic. If H is not feg, then H contains elements of the form ak where
k 6= 0. Of course if ak 2 H , then a,k 2 H and either k or ,k is
positive. By Well-Ordering, there is a smallest positive integer d such
that ad 2 H . By closure, it is clear that < ad > H We will now show
that < ad >= H .
Let h 2 H . Then h 2 G, h = ak for some k. By the division
algorithm:
k = qd + r 0 r < d:
Next since ad 2 H , then (ad),q = a,qd 2 H . Therefore,
a,qd h = a,qd ak = a,qdaqd+r = ar 2 H 0 r < d:
If r 6= 0 this contradicts the choice of d as the minimal power of x in H .
So we must have r = 0 and therefore k = qd. Thus
h = ak = aqd = (ad )q 2< ad > :
(B) From (a) any subgroup H of G =< a > is cyclic, so H =< ad >. But
then
jH j = j < ad > j = jadj = gcd(nn; d)
so n = jH j gcd(n; d). But then jH j j n.
(C) Let k be any divisor of n, so kd = n and d = n=k. We must show that
there is only one subgroup of order k. First we nd one such subgroup.
Notice that j < ad > j = gcd(nn;d) = nd = k: So if H =< ad >, then
jH j = j < ad > j = k:
Next, let H 0 be some other subgroup of order k. (To show H = H 0 .)
From (a), H 0 =< ad > for some d0 and from (b)
0
n = jH 0 j = k = n :
gcd(n; d0) d
Therefore,
gcd(n; d0 ) = d ) d = kn + md0 ) ad = akn+md = amd
0 0
But then
ad = amd = ad m 2< ad >)< ad >< ad >
0 0
by closure. But
j < ad > j = jH 0j = jH j = j < ad > j
0