Professional Documents
Culture Documents
Conjugacy: G, Z, Take
Conjugacy: G, Z, Take
But [G:C(a)] = G
so
eachtermin2[G:C()].has theformp with k2 1. Hence |G|-[G:C(a)]= |Z(G)}, Z(G)
term on the lef is divisible by p. It follows thatp also divides Z(G)| and 4G) #1
Proposition -4
ifG=p. p prime, then either G Z, or G=7, * Z,
Proof: If G is cyclic, G= Z, and we are done.
Suppose G is not cyclic. Then only non identity element has order p.
Ifg*e, Fg>| divides p?, and 1<g>|<p, so g>l=p.
By Theorem 6.17, we can find g, e Z(G), 8, * e, then
<g,Z,
Now take s, e
G-g, then g,> s Z
Because g, e Z(G), g, and g, coincide.
Alternatively (2)
Let (G= p?.