Estruturas Algbricas

Moiss Toledo

9 de maio de 2012
1 Soluo de exerccios - Pgina 261
Exerccio 1. Seja p um nmero primo e Gum grupo no-abeliano de ordemp
3
. Mostre
que:
a) [Z(G)[ = p.
b) Z(G) = G

.
c) G/Z(G)

= Z/pZ Z/pZ
Demonstrao.
a) Como Z(G) < G ento [Z(G)[ [ [G[. Agora vejamos os possveis casos:
(i) [Z(G)[ , = p
3
pois G no abeliano (isto [Z(G)[ , = [G[).
(ii) [Z(G)[ ,= p
2
pois caso contrario

G
Z(G)

= p e assim
G
Z(G)
cclico logo
Z(G) = G o qual no possvel (ver pgina 140).
(iii) [Z(G)[ ,= 1 (isto Z(G) ,= e) pois o centro tem sempre pelo menos p
elementos para qualquer grupo de ordem potencia de um primo (ver pgina
233).
Por tanto temos [Z(G)[ = p.
b) Vejamos que G

Z(G): J vimos que

G
Z(G)

= p
2
, assim
G
Z(G)
um grupo
abeliano (ver pgina 234), isto Z(G) G tal que
G
Z(G)
abeliano. Logo como G

o menor subgrupo normal tal que
G
G

abeliano (ver pgina 140) ento Z(G) G

.
Agora como:
(i)

G
G

,= 1 pois caso contrario G

= G logo Z(G) = e o qual no possvel

pois [Z(G)[ = p.

Universidade Federal da Paraba

Estruturas Algbricas Pgina 2
(ii)

G
G

,= p pois caso contrario

G
G

cclico (por tanto abeliano) logo G abeliano

(de fato: seja a G tal que < aG

>= G/G

ento abG

= (aG

)(bG

) =
(bG

)(aG

) = baG

assim ab = ba).
(iii)

G
G

,= p
3
pois caso contrario G

= e assimdado x, y Gtemos xyx

1
y
1
=
e isto xy = yx logo G abeliano.
ento [G

[ = p, e como G

Z(G) temos Z(G) = G

.
c) Como [Z(G)[ = p ento cclico logo existe b Z(G) tal que < b >= Z(G). Seja
x GZ(G) ento < x >,= Z(G), considerando y / < x > ento < x > <
y >= e. Tambm [ < x > [ = [ < y > [ = p, pois x GZ(G). Logo < x, y >
um subgrupo de G/Z(G) com ordem p
2
assim < x, y >= G/Z(G).
Por ultimo consideremos o homomorsmo:
: G/Z(G) Z/pZ Z/pZ
x
n
y
m
(n, m)
o qual claramente bijetivo, por tanto um isomorsmo.
Exerccio 2. Mostre que se G um grupo nito com apenas duas classes de conju-
gao, ento [G[ = 2.
Demonstrao.
Pela equao de classes de conjugao e o fato de G ter duas classes de conjugao
temos:
[G[ = 1 +[(l(x)[
Como [(l(x)[ divide a [G[ ento [G[ 1 divide [G[ logo [G[ = 2.
Exerccio 3. Seja G um grupo de ordem 11
2
13
2
. Mostre que G um grupo abeliano.
Demonstrao.
Iremos a usar o seguinte teorema (pgina 178):
Teorema (Produto direto de grupos). Sejam G, G
1
, . . . , G
n
grupos. Ento o
grupo G isomorfo ao grupo G
1
. . . G
n
se e somente se G possui subgrupos
H
1
G
1
, . . . , H
n
G
n
tais que:
(i) G = H
1
. . . H
n
.
(ii) H
i
G, i = 1, . . . , n.
(iii) H
i
(H
1
. . . H
i1
H
i+1
. . . H
n
) = e, i = 1, . . . , n.
Pelo 3 teorema de Sylow temos n
11
= 1 e n
13
= 1.
Estruturas Algbricas Pgina 3
Sejam N
11
e N
13
os subgrupos de G de ordem 11
2
e 13
2
respectivamente, ento
N
11
e N
13
so normais (pois pelo item anterior eles so nicos).
Os subgrupos N
11
, N
13
tem ordem p
2
(p = 11, 13) logo so abelianos.
Como N
11
N
13
um subgrupo de G (pois N
11
, N
13
so normais), e N
11
N
13
=
e (pois se a N
11
N
13
ento [a[ divide 11 e 13 logo [a[ = 1 assim a = e)
ento [N
11
N
13
[ = [G[ logo N
11
N
13
= G.
Claramente N
11
, N
13
so isomorfos a eles mesmos (pelo homomorsmo identi-
dade).
Agora usando o teorema enunciado temos G N
11
N
13
.
Seja o isomorsmo
: N
11
N
13
G
(g, h) (g, h)
assim dado a, b G temos que existem (g
1
, h
1
), (g
2
, h
2
) N
11
N
13
tais que
(g
1
, h
1
) = a, (g
2
, h
2
) = b logo
ab = (g
1
, h
1
) (g
2
, h
2
)
= ((g
1
, h
1
) (g
2
, h
2
))
= (g
1
g
2
, h
1
h
2
)
= (g
2
g
1
, h
2
h
1
)
= ((g
2
, h
2
) (g
1
, h
1
))
= (g
2
, h
2
) (g
1
, h
2
)
= ba
logo G abeliano.
Exerccio 4. Seja p um nmero primo e G um grupo nito. Sejam H um subgrupo
normal de G e S um p-subgrupo de Sylow de G.
a) Mostre que H S um p-subgrupo de Sylow de H.
b) Mostre que SH/H um p-subgrupo de Sylow de G/H.
Demonstrao.
a) Mostrar que H S um p-subgrupo de Sylow de H equivalente a mostrar que
(H : H S) no um mltiplo de p (em particular no uma potencia de p).
Dado que H S < S ento [H S[ = p
k
, para algum k N.
Como H G ento HS um subgrupo de G tal que H HS < G.
Estruturas Algbricas Pgina 4
Sabemos que [HS[ =
[H[ [S[
[H S[
ento
[HS[
[H[
=
[S[
[H S[
assim pelo teorema de
Lagrange (H : H S) = (HS : S).
Como (G : S) = (G : HS) (HS : S), ento (HS : S) [ (G : S) logo
p (HS : S) (pois (G : S) no um mltiplo de p) por tanto p (H : H S)
(pois (H : H S) = (HS : H)).
b) Mostraremos que p (G/H : SH/H).
Como

G
H

=
[G[
[H[
=
[SH[
[H[
(G/H : SH/H) e
[G[
[SH[
= (G : SH) ento
(G/H : SH/H) = (G : SH).
Assim tambm como (G : S) = (G : SH) (SH : S), e (G : S) no um
mltiplo de p ento p (G : SH) por tanto p (G/H : SH/H).
Exerccio 5. Seja G um grupo abeliano nito. Mostre que G isomorfo ao produto
direto de seus subgrupos de Sylow.
Demonstrao.
Seja G um grupo abeliano de ordem nito m, ento descompondo m em seus
fatores primos temos [G[ = p

1
1
. . . p

k
k
, onde p
i
,= p
j
para i ,= j.
Sejam N
i
j
(i = 1, . . . , k e j = 1, . . . , n
p
i
) os p
i
-subgrupos de Sylow de G.
Como G abeliano ento para cada i existe um nico p
i
-subgrupo de Sylow (isto
n
p
i
= 1).
Para cada i seja N
i
o nico p
i
-subgrupo de Sylow, ento N
i
normal em G.
Como N
1
N
2
. . . N
i
um subgrupo de G (para todo i = 1, . . . , k) ento se x
N
j
(N
1
. . . N
j1
N
j+1
. . . N
k
) temos que [x[ [ p
j
e [x[ [ p
i
para algum i =
1, . . . , j 1, j + 1, . . . , k. Assim [x[ = 1 (pois p
i
,= p
j
para i ,= j) isto x = e.
Logo N
j
(N
1
. . . N
j1
N
j+1
. . . N
k
) = e.
Usando o teorema do produto direto de grupos, temos que G N
1
. . .N
k
.
Exerccio 6. Seja G um grupo abeliano nito. Seja m um inteiro que divide [G[.
Mostre que existe um subgrupo K de G tal que [K[ = m (i.e., a recproca de teorema
de Lagrange vale para os grupos abelianos nitos).
Demonstrao.
Seja m um inteiro que divide [G[, ento descompondo m em seus fatores primos
temos m = p

1
1
. . . p

l
l
.
Pelo 1 teorema de Sylow existem subgrupos N
i
de G com ordem p

i
i
, onde i =
1, . . . , l.
Estruturas Algbricas Pgina 5
Como G abeliano ento N
i
normal em G para cada i.
Dado que N
1
N
2
. . . N
i
um subgrupo de G (para todo i = 1, . . . , l) ento se
x N
j
(N
1
. . . N
j1
N
j+1
. . . N
l
) temos que [x[ [ p
j
e [x[ [ p
i
para algum
i = 1, . . . , j 1, j + 1, . . . , l. Assim [x[ = 1 (pois p
i
,= p
j
para i ,= j) isto
x = e. Logo N
j
(N
1
. . . N
j1
N
j+1
. . . N
l
) = e.
Por tanto K = N
1
N
2
. . . N
l
um subgrupo de G com ordem m.
Exerccio 7.
a) Seja G um grupo abeliano nito. Mostre que existe uma serie de subgrupos G =
H
0
H
1
. . . H
n
= e tal que H
i
/H
i+1
cclico de ordem prima, i =
0, . . . , n 1.
b) Sejam G um grupo e K um subgrupo normal de G tais que G/K seja abeliano
nito. Mostre que existe uma srie de subgrupos G = H
0
H
1
. . . H
n
= K
tal que H
i
/H
i+1
cclico de ordem prima, i = 0, . . . , n 1.
Demonstrao. Em ambos item fazemos uso da seguinte proposio:
Proposio. Seja G um grupo de ordem p
m
e seja H um subgrupo de G de ordem p
r
com r < m. Ento
(i) Existe um subgrupo K de G de ordem p
r+1
contendo H.
(ii) Todo subgrupo L de G de ordem p
r+1
contendo H tal que H L. Em particu-
lar, temos H N
G
(H).
a) Sabemos que G isomorfo ao produto direto de seus subgrupos de Sylow, assim
G N
1
. . . N
r
, onde [N
i
[ = p

i
i
. Agora pela proposio enunciada temos
que, para cada N
i
existem subgrupos K
i
j
de ordem p
j
i
( para j = 0, . . . ,
i
) e
K
i
j
K
i
j+1
. Seja n =
1
+
r
, assim considerando
H
l
=

K
1
1
. . . K
r
r
= G , l = 0
K
1
1
. . . K
r(
r
1)
, l = 1
.
.
.
K
1
1
. . . K
r0
= K
1
1
. . . K
(r1)
r1
, l =
r
, pois K
r0
= e
K
1
1
. . . K
(r1)(
r1
1)
, l =
r
+ 1
.
.
.
K
1
1
. . . K
(r1)0
= K
1
1
. . . K
(r2)
r2
, l =
r
+
r1
, pois K
(r1)0
= e
.
.
.
K
1
1
. . . K
(ri)(
ri
1)
, l =
r
+
(r1)
+ +
(ri)
+ 1
.
.
.
K
10
= e , l = n
Estruturas Algbricas Pgina 6
onde [H
i
/H
i+1
[ = p
i
, assim H
i
/H
i+1
de ordem prima, por tanto cclico.
b) Como G/K um grupo abeliano nito, ento pelo item anterior existe uma serie
de subgrupos G/K = H
0
H
1
. . . H
n
= e tal que H
i
/H
i+1
cclico de
ordem prima, i = 0, . . . , n 1. Logo pelo teorema de isomorsmo (pgina 150),
sabemos que existe uma correspondncia entre os subgrupos normais de G/K e
os subgrupos normais de G que contm K, assim existem H
i
(com i = 1, . . . , n)
subgrupos de G tais que G = H
0
H
1
. . . H
n
= K e H
i
/H
i+1
cclico de
ordem prima pois H
i
/H
i+1
= (H
i
/K)/(H
i+1
/K) = H
i
/H
i+1
.