Gabarito da primeira prova de Algebra III - 29/04/2010

Prof. - Juliana Coelho

1 (2,5 pts) - Seja G um grupo e considere seu centro

QUESTAO

Z(G) = {a G | ab = ba para todo b G}.

(a) Seja H um subgrupo de Z(G). Mostre que H e subgrupo normal de G;

Resp.: Tome a H e b G. Precisamos mostrar que bab1 H. Como
a H Z(G) entao ab = ba e logo

bab1 = abb1 = ae = a,

em particular, bab1 H, mostrando que H G.

(b) Mostre que se o quociente G/Z(G) e cclico entao G e abeliano.

Resp.: Suponha que G/Z(G) e cclico e tome G tal que a classe lateral
Z(G) e um gerador de G/Z(G). Entao para todo x G existe n 0 tal que

Z(G)x = (Z(G))n = Z(G)n .

Mas entao Z(G)x(n )1 = Z(G), o que ocorre se e so se x(n )1 esta em Z(G).

Assim x(n )1 e igual a algum elemento a Z(G) , ou seja, x(n )1 = a, implicando
que x = an . Vemos entao que todo x G se escreve como x = an , para algum
n 0 e a Z(G).
Seja y G, digamos y = bm com m 0 e b Z(G). Entao

xy = (an )(bm ) = a(n b)m = a(bn )m

= (ab)(n m ) = (ba)(m+n ) = (ba)(m n )

= b(am )n = b(m a)n = (bm )(an )

= yx,

1
onde nas igualdades marcadas com usamos que a e b estao em Z(G).

2 (2,5 pts) - Seja G um grupo de ordem |G| = pq onde p e q sao n

QUESTAO umeros
primos tais que p < q e p nao divide q 1. Mostre que G e cclico.
Resp.: Mostraremos que G e cclico exibindo um gerador para G, isto e, um
elemento de ordem igual a |G|. Para isso, vamos examinar os subgrupos de Sylow
de G. Sendo np o n
umero de p-Sylow subgrupos de G, temos

np 1 (mod p) e np divide q.

Como q e primo e np divide q, temos que ter np = 1 ou np = q. Mas q 6 1 modulo

p pois, por hipotese, p nao divide q 1. Assim temos que ter np = 1. Entao G tem
um u
nico p-Sylow subgrupo e este e normal em G, digamos |H| = p e H G.
De modo analogo, sendo nq o n
umero de q-Sylow subgrupos de G, temos

nq 1 (mod q) e nq divide p.

Novamente, como p e primo e nq divide p, temos que ter nq = 1 ou nq = p. Mas

p < q e logo p 6 1 modulo q. Deste modo, temos nq = 1 e G tem um u
nico q-Sylow
subgrupo e este e normal em G, digamos |N | = q e N G.
Agora vamos examinar os elementos de G. Pelo teorema de Lagrange, a ordem de
um elemento de G divide |G| = pq. Assim, como p e q sao primos, os elementos de G
so podem ter ordem 1, p, q ou pq. O u
nico elemento de ordem 1 e o elemento neutro
e. Os elementos de ordens p e q geram subgrupos de ordens p e q, respectivamente.
Vimos que o u
nico subgrupo de ordem p e H e o u
nico subgrupo de ordem q e N .
Deste modo, todos os elementos de G de ordem p estao contidos em H e os de ordem
q estao contidos em N . Mais ainda, como H tem ordem prima p, seus elementos
tem ordens 1 ou p e logo H possui p 1 elementos de ordem p (sao os elementos
de H diferentes de e). Do mesmo modo, como |N | = q e primo, os elementos de N
tem ordens 1 ou q e logo N possui q 1 elementos de ordem q.

2
 Vimos entao que G possui:
1 elemento de ordem 1 (que e e)
p 1 elementos de ordem p (os elementos de H distintos de e);
q 1 elementos de ordem q (os elementos de N distintos de e),
o que nos da 1 + (p 1) + (q 1) elementos de ordem diferente de pq. Como G tem
pq elementos e
1 + (p 1) + (q 1) = p + q 1 < pq

se p, q 2, entao G deve possuir algum elemento de ordem pq. Este elemento e um

gerador de G, mostrando que G e cclico.
Obs: Alternativamente, esta questao poderia ser resolvida mostrando-se que

G = HN
=H N
= Zp Zq
= Zpq .

3 (2,5 pts) - Seja G um grupo de ordem |G| = mn onde mdc(m, n) = 1.

QUESTAO
Seja H um subgrupo de G de ordem n.
(a) Mostre que, se H e o u
nico subgrupo de G de ordem n, entao H G;
Resp.: Para ver isto mostraremos que, para todo a G, o conjunto aHa1 e um
subgrupo de G de ordem n. Tome a G qualquer. Lembre que

aHa1 = {aha1 | h H}.

Entao, para aha1 , ah0 a1 aHa1 , temos

e aHa1 pois podemos escrever e = aea1 com e H;
(aha1 )(ah0 a1 ) aHa1 pois (aha1 )(ah0 a1 ) = ahh0 a1 ;
(aha1 )1 aHa1 pois (aha1 )1 = (a1 )1 h1 a1 = ah1 a1 ;
mostrando que aHa1 e subgrupo de G.
Agora note que |aHa1 | = |H| = n. De fato, a funcao

: H aHa1
h 7 aha1

3
e claramente sobrejetora e e injetora pois se aha1 = ah0 a1 entao, multiplicando
por a e a1 apropriadamente, obtemos que h = h0 . Assim e bijetora e portanto
aHa1 tem o mesmo n
umero de elementos que H. Mas, por hipotese, H e o u
nico
subgrupo de G de ordem n, implicando que aHa1 = H. Como isso vale para qual-
quer a G, entao H e normal em G.

(b) Mostre que se H G entao H e o u

nico subgrupo de G de ordem n. (Dica:
suponha que existe K < G com |K| = n e considere HK.)
Resp.: Suponha que existe K < G distinto de H e de ordem |K| = n. Como
H G entao HK e subgrupo de G. Vejamos qual e a ordem deste subgrupo. Seja
r = |H K|. Como K 6= H entao r < n e como H K e subgrupo de H entao r
divide n, digamos n = rs com s > 1. Portanto

|H| |K| nn
|HK| = = = sn.
|H K| r

Agora, HK e subgrupo de G e, pelo teorema de Lagrange, sua ordem divide a or-

dem de G. Assim sn divide mn, implicando que s divide m. Mas s tambem divide
n, o que contraria o fato de mdc(m, n) = 1. Vemos entao que nao existem subgru-
pos de G de ordem n distintos de H, ou seja, H e o u
nico subgrupo de G de ordem n.

4 (2,5 pts) - Sejam H e K subgrupos de um grupo G tais que HK = G

QUESTAO
e H K = {e}. Mostre que se H G entao K e isomorfo ao quociente G/H. (Dica:
mostre que : K G/H dada por (a) = Ha e isomorfismo de grupos.)
Resp.: Consideramos a funcao dada no enunciado

: K G/H
a 7 Ha

Para ver que e homomorfismo de grupos, precisamos ver que (ab) = (a)(b)

4
para quaisquer a, b K. Pela definicao da estrutura de grupo no quociente, temos

(a)(b) = (Ha)(Hb) = Hab = (ab),

mostrando que e homomorfismo de grupos.

Vejamos agora que e injetora. O n
ucleo N uc() de consiste dos elementos
a K tais que (a) e o elemento neutro de G/H. Ora, o elemento neutro do
quociente G/H e a classe lateral do elemento neutro e G, ou seja, eG/H = He = H.
Assim, a N uc() se e somente se Ha = H, o que ocorre se e somente se a H.
Portanto N uc() = {a K | a H} = H K. Como por hipotese, H K = {e},
vemos que e injetora.
Para mostrar que e sobrejetora, precisamos ver que toda classe lateral de H
em G tem um representante em K, ou seja, que para todo b G existe a K tal
que Hb = Ha. Agora lembre que G = HK e logo todo elemento b G se escreve
como b = ha com h H e a K. Portanto Hb = Hha = Ha. Vemos assim que
e sobrejetora e portanto bijetora. Deste modo, e um homomorfismo bijetor, ou
seja, e um isomorfismo. Logo K e isomorfo a G/H.
(No caso de G ser finito, podemos ver a sobrejetividade de notando que |G| =
|HK| = |H| |K|/|H K| = |H| |K| e logo |G/H| = |G|/|H| = |K|. Assim e uma
funcao injetora entre dois conjuntos finitos com o mesmo n
umero de elementos e
portanto tem que ser tambem sobrejetora. )