Documente Academic
Documente Profesional
Documente Cultură
bab−1 = abb−1 = ae = a,
Mas então Z(G)x(αn )−1 = Z(G), o que ocorre se e só se x(αn )−1 está em Z(G).
Assim x(αn )−1 é igual a algum elemento a ∈ Z(G) , ou seja, x(αn )−1 = a, implicando
que x = aαn . Vemos então que todo x ∈ G se escreve como x = aαn , para algum
n ≥ 0 e a ∈ Z(G).
Seja y ∈ G, digamos y = bαm com m ≥ 0 e b ∈ Z(G). Então
∗
xy = (aαn )(bαm ) = a(αn b)αm = a(bαn )αm
∗
= (ab)(αn αm ) = (ba)(αm+n ) = (ba)(αm αn )
∗
= b(aαm )αn = b(αm a)αn = (bαm )(aαn )
= yx,
1
onde nas igualdades marcadas com ∗ usamos que a e b estão em Z(G).
QUESTÃO 2 (2,5 pts) - Seja G um grupo de ordem |G| = pq onde p e q são números
primos tais que p < q e p não divide q − 1. Mostre que G é cı́clico.
Resp.: Mostraremos que G é cı́clico exibindo um gerador para G, isto é, um
elemento de ordem igual a |G|. Para isso, vamos examinar os subgrupos de Sylow
de G. Sendo np o número de p-Sylow subgrupos de G, temos
np ≡ 1 (mod p) e np divide q.
nq ≡ 1 (mod q) e nq divide p.
2
Vimos então que G possui:
1 elemento de ordem 1 (que é 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 dá 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
G = HN ∼
=H ×N ∼
= Zp × Zq ∼
= Zpq .
ϕ : H → aHa−1
h 7→ aha−1
3
é claramente sobrejetora e é injetora pois se aha−1 = ah0 a−1 então, multiplicando
por a e a−1 apropriadamente, obtemos que h = h0 . Assim ϕ é bijetora e portanto
aHa−1 tem o mesmo número de elementos que H. Mas, por hipótese, H é o único
subgrupo de G de ordem n, implicando que aHa−1 = H. Como isso vale para qual-
quer a ∈ G, então H é normal em G.
|H| |K| nn
|HK| = = = sn.
|H ∩ K| r
φ : K → G/H
a 7→ Ha
Para ver que φ é homomorfismo de grupos, precisamos ver que φ(ab) = φ(a)φ(b)
4
para quaisquer a, b ∈ K. Pela definição da estrutura de grupo no quociente, temos