Álgebra II

EP13 - Versão Tutor

16a Semana - Aula 16


1a Questão: Determine os elementos e a tabela da operação + do grupo quociente Z24 / 4 .

Solução:



Como 4 = {0, 4, 8, 12, 16, 20}, os elementos de Z24 / 4 são:


• w= 4


• x = 1 + 4 = {1, 5, 9, 13, 17, 21}


• y = 2 + 4 = {2, 6, 10, 14, 18, 22}


• z = 3 + 4 = {3, 7, 11, 15, 19, 23}


A tabela da operação + do grupo quociente Z24 / 4 é

+ w x y z

w w x y z
x x y z w
y y z w x
z z w x y

Definição: Um subgrupo H é dito um subgrupo normal de G se as classes laterais à direita

de H são iguais às classes laterais à esquerda de H, isto é,

Hg = gH, ∀g ∈ H.

Nesse caso, escrevemos H E G.

2a Questão: Sejam G um grupo e H um subgrupo de G. Suponha que H possui a seguinte

propriedade: o produto de quaisquer duas classes laterais à direita de H é também uma
classe lateral à direita de H. Prove que Hg = gH, ∀g ∈ H.

1
 Sugestão: Se g ∈ G e g −1 é o seu inverso, considere o produto das classes Hg e Hg −1 .

Solução:
Sejam e o elemento neutro de G e g −1 o inverso de g ∈ G. Temos, pela propriedade de
H, que
HgHg −1 = Hg 0 , para algum g 0 ∈ G.

Como g ∈ Hg e g −1 ∈ Hg −1 , então

e = gg −1 ∈ HgHg −1 = Hg 0

o que implica na existência de h ∈ H tal que e = hg 0 . Dessa forma, g 0 = h−1 e, portanto,

sendo H um subgrupo de G, segue-se que g 0 ∈ H. Deste modo, obtemos

HgHg −1 = Hg 0 = H ⇒ hghg −1 ∈ H, ∀h ∈ H ⇒ ghg −1 ∈ H, ∀h ∈ H

e, portanto, Hg = gH, ∀g ∈ G.

Observação: Vamos mostrar a última implicação da demonstração acima, isto é,

ghg −1 ∈ H, ∀h ∈ H ⇒ Hg = gH.

De fato,

• se u ∈ gH, então existe h ∈ H tal que u = gh. Dessa forma, visto que ghg −1 ∈ H,
segue-se que
u = gh = ghg −1 g ∈ Hg

e, portanto, gH ⊂ Hg.

• Inicialmente, observe que de modo análogo ao que foi feito no exercı́cio anterior,
verifica-se que g −1 hg ∈ H. Dessa forma, se u ∈ Hg, então existe h ∈ H tal que
u = hg. Logo,
u = hg = gg −1 hg ∈ gH

e, portanto, Hg ⊂ gH.

2
 Conclusão: Hg = gH.

3a Questão: O ı́ndice do subgrupo H do grupo G, iG (H) é definido como o número de

classes laterais à direita distintas de H em G. Quando G é um grupo finito, tem-se

ordem de(G)
iG (H) = .
ordem de(H)

Prove que se iG (H) = 2, então Hg = gH, ∀g ∈ G.

Solução:
Se g ∈ H então gH = Hg = H.
Suponhamos que g ∈
/ H. Como iG (H) é igual ao número de classes laterais à direita
distintas de H em G e iG (H) = 2, podemos escrever

G = H ∪ Hg ⇒ Hg = G − H.

Por outro lado, como o número de classes laterais à direita distintas de H em G é igual ao
número de classes laterais à esquerda distintas de H em G, podemos escrever

G = H ∪ gH ⇒ gH = G − H.

Conclusão: gH = Hg, ∀g ∈ G.

4a Questão: Considere o grupo dos Quatérnios Q = {I, −I, J, −J, K, −K, L, −L} cuja
tabela da operação é mostrada abaixo

∗ I −I J −J K −K L −L

I I −I J −J K −K L −L
−I −I I −J J −K K −L L
J J −J −I I L −L −K K
−J −J J I −I −L L K −K
K K −K −L L −I I J −J
−K −K K L −L I −I −J J
L L −L K −K −J J −I I
−L −L L −K K J −J I −I

3
 (a) Prove que este grupo é não abeliano e que se H é um subgrupo de Q, então Hg =
gH, ∀g ∈ Q.

(b) Construa a tabela do grupo quociente Q/{I, −I}.

(c) Construa a tabela do grupo quociente Q/{I, −I, J, −J}.

Solução:
(a) Como a tabela da operação não é simétrica em relação à diagonal principal, G não
é abeliano. Por exemplo,(−L) ∗ (−K) = −J e (−K) ∗ (−L) = J.
Vamos agora mostrar que todos os subgrupos de Q são normais. Pelo Teorema de La-
grange, as possı́veis ordens dos subgrupos próprios de Q são 2 e 4.

8
• Se um subgrupo H de Q tem ordem 4, então iQ H = = 2, logo pelo exercı́cio 3,
4
segue-se que Hg = gH, ∀g ∈ Q.

• Examinando a tabela da operação, vemos que o único elemento de ordem 2 é −I, logo
H = {I, −I} é o único subgrupo de ordem 2. Além disto, é fácil verificar que se g ∈ Q
então g · (−Ig −1 ) = −I ∈ {I, −I}, resultando do Teorema 1.2.2 que {I, −I} E Q. Isto
completa nossa prova.

(b) Vimos em (a) que {I, −I} E Q. É fácil verificar que

Q/{I, −I} = {e = {I, −I}, a = {J, −J}, b = {K, −K}, c = {L, −L}}.

A tabela da operação ⊕ de Q/{I, −I} é:

∗ e a b c

e e a b c
a a e c b
b b c e a
c c b a e

(c) Vimos em a) que {I, −I, J, −J} E Q. É fácilmente verificável que

Q/{I, −I, J, −J} = {e = {−I, I, J, −J}, a = {K, −K, L, −L}}.

4
A tabela da operação ⊕ de Q/{I, −I, J, −J} é:

⊕ e a

e e a
e a e

5a Questão:
(a) Pove que se G é um grupo abeliano, então G/H é abeliano.

(b) Prove que se G é um grupo cı́clico, então G/H é cı́clico.

Solução:
(a) Sejam Hg, Hg1 ∈ G/H. Como G é abeliano temos gg1 = g1 g o que implica

Hg ⊕ Hg1 = Hgg1 = Hg1 g = Hg1 ⊕ Hg

e completa a prova de que G/H é abeliano.

(b) Sejam Hg ∈ G/H e a. Como G é cı́clico existe k inteiro positivo tal que g = ak e
temos
(Ha)k = Hak = Hg

o que mostra que Ha é gerador de G/H e completa a prova de que G/H é cı́clico.

6a Questão: Considere o grupo quociente Q/Z. Prove que, dado g ∈ Q, existe um inteiro
positivo n tal que (g + Z)n = Z.
p
Solução: Se g ∈ Q, podemos escrever g = , onde p ∈ Z e q é inteiro positivo. Para
q
concluirmos a prova basta observar que se n = q, então

(g + Z)q = (qg + Z) = p + Z = Z.

7a Questão:Dados os grupos G e seus subgrupos H abaixo, determine as classes laterais à

direita e à esquerda determinadas pelos elementos de G e escreva G como a união das classes
laterais à direita e à esquerda distintas.

5
 (a) G = Z12 e H = {0, 4, 8}.
   
 1 2 3 1 2 3 
(b) G = S3 e H =  ,  .
 1 2 3 1 3 2 
(c) G = Z e H = 6Z.

(d) G = Z∗13 e H = 5 .



Solução:
(a)
0+H =4+H =8+H =H
1 + H = 5 + H = 9 + H = {1, 5, 9}
2 + H = 6 + H = 10 + H = {2, 6, 10}
3 + H = 7 + H = 11 + H = {3, 7, 11}
Z12 = {0, 4, 8} ∪ {1, 5, 9} ∪ {2, 6, 10} ∪ {3, 7, 11}.

(b)
   
1 2 3 1 2 3
 H =  H = H
1 2 3 1 3 2
       
1 2 3 1 2 3  1 2 3 1 2 3 
I= H =  H =  , 
2 1 3 2 3 1  2 1 3 2 3 1 
       
1 2 3 1 2 3  1 2 3 1 2 3 
J = H =  H =  , 
3 1 2 3 2 1  3 1 2 3 2 1 
S3 = H ∪ I ∪ J.
   
1 2 3 1 2 3
H =H =H
1 2 3 1 3 2
       
1 2 3 3 1 2  1 2 3 1 2 3 
K =H =H =  , 
2 1 3 2 3 1  2 1 3 3 1 2 
       
1 2 3 1 2 3  1 2 3 1 2 3 
L=H   =H   =  , 
2 3 1 3 2 1  2 3 1 3 2 1 
S3 = H ∪ K ∪ L.

6
(c)
0 = {6k; k ∈ Z}
1 = {1 + 6k; k ∈ Z}
2 = {2 + 6k; k ∈ Z}
3 = {3 + 6k; k ∈ Z}
4 = {4 + 6k; k ∈ Z}
5 = {5 + 6k; k ∈ Z}
Z = 0 ∪ 1 ∪ 2 ∪ 3 ∪ 4 ∪ 5.

(d)
1H = 5H = 8H = 12H = H
4H = 6H = 7H = 9H = {4, 6, 7, 9}
2H = 3H = 10H = 11H = {2, 3, 10, 11}
Z∗13 = {1, 5, 8, 12} ∪ {4, 6, 7, 9} ∪ {2, 3, 10, 11}.