Exercı́cios

Teoria de Grupos (M2025)

2017/2018

Permutações

1. Sejam α, β ∈ Sn . Mostre que (αβ)−1 = β −1 α−1 .

   
1 2 3 4 5 6 1 2 3 4 5 6
2. Considere as permutações α = , β = ,
2 4 1 3 6 5 3 5 4 1 6 2
 
1 2 3 4 5 6
µ= e τ = (2 6)
5 2 4 3 1 6
a) Escreva α, β, µ e τ como produto de ciclos disjuntos.
b) Calcule αβ, µα, βτ , τ β, τ 2 , τ −1 , µ2 , µ−1 , β 2 , β 3 , βαβ −1 e β 100 .

3. a) Dê exemplos de permutações α, β ∈ S5 tais que: (i) (αβ)2 6= α2 β 2 . (ii) (αβ)2 = α2 β 2 .

b) Apresente uma condição necessária e suficiente para que (ii) seja satisfeita.

4. Dê exemplos de permutações α, β ∈ S5 tais que:

a) (αβ)3 6= α3 β 3 . b) (αβ)3 = α3 β 3 e αβ 6= βα.

5. Dê um exemplo de permutações α, β, γ ∈ S5 tais que: α comute com β, β comute com γ

mas α não comute com γ.

6. Em cada um dos casos seguintes calcule σασ −1 .

a) σ = (1 3 5)(1 2) e α = (1 5 7 9). b) σ = (1 7 3 5 4) e α = (3 5 4 1 7).
c) σ = (5 7 9) e α = (1 2 3)(3 4). d) σ = (1 2)(3 4) e α = (1 2 3)(4 5).

7. Quantos elementos de S5 se podem escrever como produto de um 2-ciclo por um 3-ciclo

disjuntos? E quantos 5-ciclos há em S5 ?

8. Exprima cada uma das permutações em S8 a seguir indicadas como produto de ciclos
disjuntos e, em seguida, como produto de transposições.
   
1 2 3 4 5 6 7 8 1 2 3 4 5 6 7 8
a) . b) .
8 2 6 3 7 4 5 1 3 6 4 1 8 2 5 7
 
1 2 3 4 5 6 7 8
c) . d) (1 2 3)(4 5)(1 6 8 7)(1 5).
3 1 4 7 2 5 8 6
e) (1 2)(1 2 3)(1 2). f) (2 6 5 7 3)(1 4)(1 3)(1 2). g) (4 5 6)(3 4 5)(2 3 4)(1 2 3).

9. Verifique quais das seguintes permutações são pares.

a) (1 3 4 5). b) (2 6 4 1 3). c) (1 2 3)(1 2).
d) (1 2 3 4 5)(1 2 3)(4 5). e) (1 2)(1 3)(1 4)(1 5). f) (1 2 3 . . . 17)(1 2)(2 3 1).

10. Sabendo que α e β são permutações pares e que σ e γ são permutações ı́mpares em Sn ,
calcule o sinal das permutações seguintes: α−1 , αβ, σγ, ασ, (αβσ)−1 , α2 , α3 , σ 2 e σ 3 .

1
Teoria de Grupos (M2025) 2017/18 2

11. Seja n ≥ 3. Mostre que, em Sn ,

a) todo o ciclo pode ser escrito como produto de um número k ≤ n − 1 de transposições.
b) toda a permutação que não é um ciclo pode ser escrita como produto de um número
k ≤ n − 2 de transposições.

12. Prove que:

a) para n > 4, toda a permutação em Sn pode ser escrita como produto de 4-ciclos.
b) para n > 5, toda a permutação par em Sn pode ser escrita como produto de 5-ciclos.



13. Sejam ρ = 1 2 3 4 5 e σ = 1 2 3 4 5 6 permutações de S6 . Escreva ρ2 ,
ρ3 , ρ4 , σ 2 , σ 3 e σ 4 como produto de ciclos disjuntos.

14. Mostre que, se σ é um ciclo cujo comprimento é um inteiro ı́mpar, então σ 2 é um ciclo.

15. Seja n ≥ 3. Mostre que o único elemento σ de Sn que satisfaz σγ = γσ para todo o γ de
Sn é a identidade.

16. Diga, justificando, quais das afirmações seguintes são verdadeiras.

a) Qualquer função injetiva de um conjunto em si próprio é uma permutação.
b) Qualquer função injetiva de um conjunto finito em si próprio é uma permutação.
c) Qualquer permutação é uma função injetiva.
d) S10 tem exatamente 10 elementos.
e) Qualquer permutação é um ciclo.
f) Qualquer ciclo é uma permutação.
g) O produto de dois ciclos é sempre um ciclo.
h) O produto de dois ciclos pode ser um ciclo.
i) Um ciclo de comprimento par é uma permutação par.
j) O produto de duas transposições é sempre uma transposição.
k) O produto de duas transposições pode ser uma transposição.
Teoria de Grupos (M2025) 2017/18 3

Grupos
−1
17. Mostre que, se G for um grupo e a1 , . . . , an ∈ G, então (a1 · · · an )−1 = a−1
n · · · a1 .

18. Seja G um grupo e a, b ∈ G. Mostre que, se ab = ba então (ab)m = am bm , para qualquer

m ∈ Z.
19. Define-se em R \ {1} a operação binária ∗ por x ∗ y = x + y − xy.
Mostre que (R \ {1}, ∗) é um grupo e resolva nele a equação 2 ∗ x ∗ 3 = 7.
20. Seja M = Q × (Q \ {0}) e seja ⊙ a operação binária definida em M por (x, y) ⊙ (z, t) =
(z + x t, y t). Verifique se (M, ⊙) é um grupo.
21. Mostre que ({f1 , f2 , f3 , f4 }, ◦) é um grupo, onde f1 , f2 , f3 , f4 : R \ {0} → R \ {0} são
definidas respectivamente por f1 (x) = x, f2 (x) = x1 , f3 (x) = −x e f4 (x) = − x1 . Construa a
respetiva tabela.
22. a) Quantas operações binárias podem ser definidas num conjunto com n elementos?
b) Quantas destas: i) têm elemento neutro? ii) são comutativas?
23. a) Seja G = {e, a, b}. Mostre que existe uma única operação binária em G com a qual G
é um grupo, sendo e o seu elemento neutro.
b) Identifique o elemento y = ab2 a−1 ba do grupo G referido.
24. Seja G um grupo e a, b ∈ G. Apresente a solução da equação bab−1 x = ab como produto
dos elementos a, b, a−1 , b−1 .
25. Prove que um grupo tem um único elemento x tal que x2 = x (idempotente).
26. Mostre que, se G é um grupo em que, para todo o x ∈ G, x2 = e, então G é abeliano.
27. Sendo G um grupo, mostre que φ : G → G, dada por φ(x) = x−1 , é uma função bijetiva.
28. Seja (G, ∗) um grupóide com elemento neutro e e seja U o conjunto dos elementos
invertı́veis de (G, ∗).
a) Mostre que, se ∗ for associativa, então (U, ∗) é um grupo.
b) Identifique U nos casos seguintes: (N, ·), (Z, ·), (Q, ·), (R, ·), (C, ·) e (Mn (R), ·).
29. Sejam a e b elementos de um grupo G tais que a2 = e e aba = b3 . Mostre que b8 = e.
30. Seja (R \ {0}, ∗) o grupóide em que a operação ∗ é definida por x ∗ y = |x| y.
a) Mostre que ∗ é associativa.
b) Mostre que no grupóide existe elemento neutro e à esquerda.
c) Mostre que, relativamente a e, qualquer elemento de R \ {0} tem inverso à direita.
d) (R \ {0}, ∗) é um grupo?
31. Mostre que, se (G, ∗) for um grupóide em que
i) ∗ é associativa,
ii) existe elemento neutro e à esquerda,
iii) relativamente a e, todos os elementos têm inverso à esquerda,
então (G, ∗) é um grupo.
(Sugestão: comece por provar que e é o único idempotente de G.)
32. Sendo X um conjunto não vazio, mostre que o conjunto das funções injetivas de X em
X não é, em geral, um grupo. Porque é que este exercı́cio não contradiz o anterior?
33. Seja G um grupo finito com um número par de elementos. Mostre que existem pelo
menos dois elementos em G que satisfazem a identidade x2 = e.
Teoria de Grupos (M2025) 2017/18 4

Subgrupos

34. Considere os grupos a seguir indicados. Para cada i, j ∈ {1, . . . , 9} diga se Gi ≤ Gj .

G1 = (Z, +); G2 = (9Z, +); G3 = (Q+ , ·); G4 = (R, +); G5 = (R+ , ·);
n n
G6 = ({π : n ∈ Z}, ·); G7 = (3Z, +); G8 = (6Z, +); G9 = ({6 : n ∈ Z}, ·).
35. Construa a tabela dos grupos A3 , D3 , D4 e grupo de Klein.
36. Determine o número de elementos de cada um dos seguintes subconjuntos de S5 e verifique
se são subgrupos de S5 .
a) {p ∈ S5 : p(3) = 3}. b) {p ∈ S5 : p(3) = 4}. c) {p ∈ S5 : p(1) ∈ {1, 2}}.
d) {p ∈ S5 : p({1, 2}) = {1, 2}}. e) {p ∈ S5 : p({1, 2}) = {3, 4}}.
37. Seja G um grupo e H um subconjunto não vazio e finito de G. Mostre que, se H for
fechado para a operação binária de G, então H é um subgrupo de G.
(Sugestão: comece por notar que as potências h, h2 , h3 , . . . de h ∈ H não são todos distintas.)
38. Sendo G um grupo abeliano e n ∈ N, mostre que {x ∈ G : xn = e} é um subgrupo de G.
39. Mostre que, se H e K são subgrupos de um grupo abeliano G, então
H K = {xy : x ∈ H, y ∈ K} é um subgrupo de G.
40. Dê exemplo de subgrupos H, K de S3 tais que HK não é um subgrupo de S3 .
41. Seja G um grupo e seja Z(G) = {x ∈ G : ∀y ∈ G, xy = yx}.
a) Mostre que Z(G) é um subgrupo abeliano de G, que se diz o centro de G.
b) Para n ≥ 3, determine o centro de Sn e de GL(n, R).
42. a) Determine a ordem de cada um dos seguintes elementos: a1 ) 0 e 3 em (Z, +).
a2 ) i e 1 + i em (C \ {0}, ·). a3 ) α = (12)(34)(5796) e β = (123)(534)(871) em S9 .
b) Determine hxi para cada elemento x indicado na alı́nea anterior.
c) Indique os possı́veis valores para a ordem dos elementos de S5 e de S9 .
43. Sendo α ∈ Sn e p um número primo, mostre que ord α = p sse α é um p-ciclo ou α é
produto de p-ciclos disjuntos.
   
0 −1 0 1
44. Considere os elementos A = eB = do grupo linear GL(2, R).
1 0 −1 1
Mostre que A tem ordem 4, B tem ordem 6 e AB tem ordem infinita.
45. a) Sendo T = {z ∈ C : |z| = 1}, mostre que (T, ·) ≤ (C \ {0}, ·).
b) Indique os possı́veis valores para a ordem dos elementos de T .
46. Seja G um grupo de ordem n. Averigue se, para cada divisor m de n, existe em G um
elemento de ordem m.
47. Diga, justificando, quais das afirmações seguintes são verdadeiras e quais são falsas.
a) Todo o grupo é um subgrupo de si mesmo.
b) As permutações ı́mpares de S8 formam um subgrupo de S8 .
c) Se H ≤ S9 e H contém uma permutação ı́mpar, então H contém uma transposição.
d) Se H e K são subgrupos de um grupo G, então H ∪ K é um subgrupo de G.
e) Se H e K são subgrupos de um grupo G, então H ∩ K é um subgrupo de G.
f) Se todos os subgrupos próprios de um grupo G são abelianos, então G é abeliano.
Teoria de Grupos (M2025) 2017/18 5

Homomorfismos

48. Diga quais das seguintes funções são homomorfismos (considere a adição em Z e R e a
multiplicação em R∗ = R \ {0} e Cn = {z ∈ C : z n = 1}). Determine o núcleo e a imagem
dos homomorfismos.
a) f : Z → Z . b) f : Z → Z . c) f : Z → Z . d) f : R → Z .
2
x 7→ x + 2 x 7→ x x 7→ −2x x 7→ [x]

e) f : R∗ → R . f) f : R∗ → R∗ . g) f : C5 → C5 . h) f : Sn → C2 .
x 7→ x x 7→ |x| x 7→ x2 p 7→ sgn p
49. Defina uma operação ∗ em R de tal modo que f : R → R dada por f (x) = 2x + 3 seja
um homomorfismo de (R, +) em (R, ∗).
50. Mostre que, considerando a multiplicação em R \ {0}, a função f : GL(n, R) → R \ {0}
dada por f (M) = det(M) é um homomorfismo e determine o respetivo núcleo e imagem.
51. Para cada um dos casos seguintes, verifique se existe um homomorfismo f do grupo G1
no grupo G2 nas condições indicadas.
a) G1 = Z, G2 = S3 , f (1) = (12). b) G1 = S3 , G2 = Z, f ((12)) = 1.
c) G1 = G2 = S3 , f ((12)) = (123). d) G1 = G2 = S3 , f (α) = α−1 .
52. Mostre que um grupo G é abeliano se e só se a aplicação f : G → G definida por
f (x) = x−1 é um automorfismo.
53. Seja G um grupo, a ∈ G e f : Z → G dada por f (n) = an . Mostre que f é um
homomorfismo do grupo (Z, +) no grupo G. Determine Imf e diga quais as possibilidades
para o núcleo de f .
54. Sejam G1 e G2 grupos e f : G1 → G2 um homomorfismo sobrejetivo. Mostre que:
(∀ a ∈ G1 , x2 = a tem solução em G1 ) =⇒ (∀ a ∈ G2 , x2 = a tem solução em G2 ).
55. Sendo V o grupo de Klein, mostre que há exatamente 16 homomorfismos de V em V.
56. Indique quais são os grupos isomorfos entre os seguintes: (Z, +), (C6 , ·), (15Z, +), (C4 , ·),
(Q, +), (R, +), (R \ {0}, ·), (C \ {0}, ·), (Q \ {0}, ·), (S3 , ◦).
57. Mostre que (R, +) ≈ (R, ∗), onde x ∗ y = x + y − 2, ∀x, y ∈ R.
 
1 2 3 4 5
58. Construa a tabela da multiplicação do subgrupo cı́clico de S5 gerado por ρ = .
2 4 5 1 3
Diga se o grupo que obteve é isomorfo a S3 .
59. Seja f um isomorfismo entre dois grupos G1 e G2 de permutações. Se p ∈ G for uma
permutação ı́mpar, então f (p) tem também de ser ı́mpar?
60. Diga, justificando, quais das afirmações seguintes são verdadeiras e quais são falsas.
a) Quaisquer dois grupos de ordem 3 são isomorfos.
b) Quaisquer dois grupos com a mesma ordem são isomorfos.
c) (R, +) é isomorfo a um grupo de permutações.
d) Um grupo aditivo não pode ser isomorfo a um grupo multiplicativo.
e) Não existe um homomorfismo não trivial de um grupo infinito num grupo finito.
f) Se G1 ≃ G2 então Z(G1 ) ≃ Z(G2 ).
Teoria de Grupos (M2025) 2017/18 6

Grupos cı́clicos

61. Mostre que um grupo cı́clico com um único gerador tem no máximo dois elementos.
62. Sejam G1 , G2 grupos e f : G1 → G2 um homomorfismo. Mostre que, se G1 = hai, então
f fica completamente determinado pela imagem f (a) de a.
63. Seja G = (Z × Z, +), onde (x, y) + (z, t) = (x + z, y + t).
a) Mostre que G é um grupo.
b) Mostre que G não é isomorfo a (Z, +).
64. Use dois argumentos diferentes para mostrar que Z4 e o grupo de Klein V não são
isomorfos.
65. a) Mostre que (Cn , ·) é um grupo cı́clico.
b) Defina um isomorfismo entre Cn e Zn .
66. Determine a ordem do subgrupo:
a) h2530 i de Z30 . b) h3042 i de Z42 ; c) hcis 2π
3
i de C6 . d) hcis 4π
5
i de C5 .
67. Seja G um grupo cı́clico finito de ordem n e d um divisor positivo de n. Mostre que a
equação xd = e tem exatamente d soluções em G.
68. Qual é o número de geradores dos grupos cı́clicos de ordem 6, 8, 12 e pq com p e q primos?
69. Esboce os diagramas dos subgrupos de (Zn , +), para n = 4, 6, 7, 8, 10, 11, 12, 18 e 36.
70. Mostre que, se n = pα1 1 pα2 2 · · · pαk k onde p1 , p2 , . . . , pk são primos distintos, então Zn tem
(α1 + 1)(α2 + 1) · · · (αk + 1) subgrupos.
71. Mostre que um grupo não trivial sem subgrupos não triviais é finito e de ordem prima.
72. Mostre que, se G é cı́clico de ordem n e d | n, então existe x ∈ G tal que ord x = d.
73. Diga, justificando, quais das afirmações seguintes são verdadeiras e quais são falsas.
a) Todo o grupo abeliano é cı́clico.
b) Para cada n ∈ N, existe um grupo abeliano de ordem n.
c) Dois grupos cı́clicos com a mesma ordem são isomorfos.
d) Qualquer elemento de um grupo cı́clico é gerador desse grupo.
e) O grupo Sn não é cı́clico para nenhum n ∈ N.
f) Um grupo com um número finito de subgrupos é finito.
g) Se G é um grupo tal que todos os seus subgrupos próprios são cı́clicos, então G é cı́clico.
h) Um grupo cı́clico com mais do que dois elementos tem pelo menos dois automorfismos.
74. Mostre que, se (m, n) = 1, então há um único homomorfismo de Zn em Zm .
75. Determine todos os automorfismos de cada um dos grupos: Z2 , Z6 , Z8 , Z, Z17 .
76. Determine todos os homomorfismos:
a) f : Z → Z. b) f : Z → Z6 . c) f : Z6 → Z. d) f : Z6 → Z12 .
e) f : Z3 → Z6 t.q. f (53) = 56 . f) f : Z4 → Z12 t.q. f (34 ) = 312 .
g) f : Z12 → Z20 t.q. f (512 ) = 520 . h) f : Z12 → Z60 t.q. f (612 ) = 3060 .
i) f : Z6 → S4 t.q. f (36 ) = (12). j) f : Z15 → S5 . k) f : S3 → Z6 .
Teoria de Grupos (M2025) 2017/18 7

Produtos diretos

77. Sejam G1 , G2 , G3 e K grupos. Mostre que:

a) G1 × G2 ≃ G2 × G1 .
b) G1 × G2 é abeliano se e só se G1 e G2 são abelianos.
c) Um subgrupo H de G1 × G2 não é necessariamente da forma H = H1 × H2 , em que
H 1 ≤ G1 e H 2 ≤ G2 .
d) Se H ≤ G1 × G2 , então H1 = {a ∈ G1 : (∃b ∈ G2 : (a, b) ∈ H)} ≤ G1 .
e) Se G1 ≃ G′1 e G2 ≃ G′2 , então G1 × G2 ≃ G′1 × G′2 .
f) Se G1 × G2 ≃ K então G1 × G2 × G3 ≃ K × G3 .

78. Para cada um dos casos seguintes, determine um produto direto de dois grupos não
triviais que seja isomorfo a G, e indique um isomorfismo entre eles.
a) G = Z20 . b) G = Z15 . c) G = Z24 . d) G = Z35 . e) G = Z60 .

79. Determine as ordens de:

a) (24 , 212 ). b) (26 , 215 ). c) (812 , 1018 ). d) (34 , 1012 , 915 ).
e) (16 , 6, 0) em Z6 × Z × Z. f) (cis 4π
3
, −i) em C6 × C4 . g) (1, cis π3 ) em C3 × C6 .

80. Determine um subgrupo de ordem:

a) 14 em Z8 × Z7 . b) 30 em Z4 × Z9 × Z25 .
c) 30 em Z2 × Z2 × Z9 × Z5 × Z5 . d) 14 em Z4 × Z4 × Z7 .
e) 6 em Z4 × Z9 × Z4 × Z9 . f) 12 em Z6 × Z8 × Z10 .

81. Determine todos os homomorfismos de Z4 em Z4 × Z8 .

82. Seja G um grupo abeliano e a, b ∈ G tais que a 6= b e ord a = ord b = 2. Mostre que
< a, b > ≃ V .

83. Determine todos os subgrupos:

a) de Z2 × Z2 , Z3 × Z3 , Z4 × Z5 .
b) de Klein de Z4 × Z12 × Z15 .
c) cı́clicos de Z2 × Z4 .
d) cı́clicos de ordem máxima de Z6 × Z8 .

84. a) Sejam G um grupo e h, k ∈ G. Determine uma condição necessária e suficiente sobre

h e k para que exista um homomorfismo f : Z × Z → G tal que f (1, 0) = h e f (0, 1) = k.
Justifique que existe quando muito um tal homomorfismo f .
b) Determine uma condição necessária e suficiente sobre um grupo G para que, quaisquer
que sejam h, k ∈ G, exista um homomorfismo f : Z × Z → G tal que f (1, 0) = h e f (0, 1) = k.

85. Sejam A e B subconjuntos de um grupo G. Mostre que:

a) Se A ⊆ B então hAi ⊆ hBi.
b) hA ∩ Bi ⊆ hAi ∩ hBi. (Poderá acontecer hA ∩ Bi =
6 hAi ∩ hBi?).

86. Sejam a, b ∈ Z não ambos nulos e seja d = mdc(a, b).

a) Mostre que ha, bi = hdi em Z.
b) Conclua que a equação a x + b y = c tem solução em Z sse d | c.
c) Mostre que han , bn i = hdn i em Zn , para qualquer n ∈ N.
Teoria de Grupos (M2025) 2017/18 8

87. Determine os seguintes subgrupos de Z12 :

a) h212 , 312 i. b) h412 , 612 i. c) h812 , 612 , 1012 i.

88. Mostre que, para n ≥ 3, An é gerado pelos ciclos de comprimento 3.

(Sugestão: prove que o produto de duas transposições se escreve sempre como produto de
ciclos de comprimento 3).

89. Determine o subgrupo de torção de cada um dos seguintes grupos, indicando os que são
de torção e os que são livres de torção.
a) Z. b) Z3 × Z × Z2 . c) Z × Z × Z5 . d) Z12 × Z × Z12 .
e) (R, +). f) (Q, +). g) (R , ·).
∗
h) (T, ·), onde T = {z ∈ C : |z| = 1}.

90. Determine, a menos de isomorfismo todos os grupos abelianos:

a) de ordens 24, 25, 36, 50, 121 e 720.
b) com número de Betti 2 e cujo subgrupo de torção tem ordem 30.
c) com número de Betti 3 e cujo subgrupo de torção tem ordem 16.
d) com número de Betti 2 e cujo subgrupo de torção tem ordem 20.

91. Seja G um grupo abeliano de ordem 72.

a) Pode dizer quantos subgrupos de ordem 8 tem G? Porquê?
b) Pode dizer quantos subgrupos de ordem 4 tem G? Porquê?

92. Mostre que, se n ∈ N é livre de quadrados (n não é divisı́vel pelo quadrado de nenhum
primo), então todo o grupo abeliano de ordem n é cı́clico.

93. Diga, justificando, quais das afirmações seguintes são verdadeiras e quais são falsas.
a) Z4 × Z6 é isomorfo a S4 .
b) Z2 × Z4 é isomorfo a D4 .
c) Z2 × Z4 é isomorfo a Z8 .
d) Z4 × Z9 é isomorfo a Z6 × Z6 .
e) Z4 × Z4 é isomorfo a Z2 × Z8 .
f) Z15 é gerado por {615 , 1015 }.
g) Z2 × Z × Z4 tem exatamente 8 elementos de ordem finita.
h) Qualquer grupo abeliano finito tem número de Betti igual a 0.
i) Todo o grupo abeliano de ordem divisı́vel por 4 tem um subgrupo cı́clico de ordem 4.
j) Todo o grupo abeliano de ordem divisı́vel por 6 tem um subgrupo cı́clico de ordem 6.
k) Qualquer grupo abeliano de ordem prima é cı́clico.
l) Qualquer grupo abeliano cuja ordem é potência de um número primo é cı́clico.
m) Qualquer grupo abeliano não trivial é isomorfo ao produto directo de dois subgrupos
próprios não triviais.
Teoria de Grupos (M2025) 2017/18 9

Subgrupos normais

94. Em cada um dos casos seguintes, determine as classes laterais esquerdas e direitas de H
em G e determine (G : H). Verifique em que casos é que H é um subgrupo normal de G.
a) G = Z, H = 5Z. b) G = 2Z, H = 4Z. c) G = Z10 , H = h210 i.
d) G = Z10 , H = h510 i. e) G = Z3 × Z2 × Z4 , H = h13 i × h02 i × h04 i
f) G = S3 , H = h(12)i. g) G = Sn , H = An , n ≥ 2.

95. Sejam G um grupo, H um subgrupo de G e a, b ∈ G. Diga, justificando, se as seguintes

afirmações são sempre verdadeiras.
a) aH = bH ⇐⇒ b ∈ aH. b) aH = bH =⇒ Ha = Hb.
c) aH = bH =⇒ Ha−1 = Hb−1 . d) aH = bH =⇒ a2 H = b2 H.

96. Considere o subgrupo H = {p ∈ S8 : p(5) = 5} de S8 .

a) Verifique se H é um subgrupo normal.
b) Descreva as classes laterais esquerdas e direitas de H que contêm transposições.

97. Verifique se existe e, caso exista, dê um exemplo de:

a) um subgrupo H de um grupo abeliano G cujas classes laterais esquerdas formem uma
partição de G diferente da formada pelas classes laterais direitas.
b) um subgrupo H de um grupo G tal que (G : H) = 1.
c) um subgrupo H de um grupo G de ordem 6 tal que (G : H) = 6.
d) um subgrupo H de um grupo G de ordem 6 tal que (G : H) = 4.

98. Dê exemplo de subgrupos não triviais H, K de D4 tais que H E G e K 6E G.

99. Seja G um grupo finito de ordem n.

a) Mostre que an = e para todo o a ∈ G.
b) Seja H E G e (G : H) = m. Mostre que am ∈ H, para todo o a ∈ G.

100. Seja G um grupo não trivial sem subgrupos não triviais.

a) Mostre que G é finito e de ordem prima.
b) Determine os endomorfismos de G.

101. Calcule a ordem do grupo quociente em cada um dos casos seguintes.

a) Z6 /h36 i. b) (Z4 × Z12 )/(h24 i × h212 i). c) (Z4 × Z12 )/h(24 , 212 )i.

102. Calcule a ordem do elemento no grupo quociente em cada um dos casos seguintes.
a) 1660 + h1860 i em Z60 /h1860 i. b) (34 , 14 ) + h(14 , 14 )i em (Z4 × Z4 )/h(14, 14 )i.
c) (34 , 38 ) + h(14 , 28 )i em (Z4 × Z8 )/h(14, 28 )i.

103. Em cada um dos casos seguintes classifique o grupo quociente de acordo com o teorema
fundamental dos grupos abelianos finitamente gerados.
a) (Z2 × Z4 )/h(02, 14 )i. b) (Z2 × Z4 )/h(12 , 24 )i. c) (Z4 × Z8 )/h(14, 28 )i.
d) (Z4 × Z4 × Z8 )/h(14, 24 , 48 )i. e) (Z × Z × Z4 )/h(3, 0, 04)i. f) (Z × Z)/h(1, 2)i.
g) (Z × Z × Z)/h(1, 1, 1)i. h) (Z × Z × Z)/h(3, 3, 3)i.

104. Dê exemplo de um grupo G e de dois subgrupos normais H1 e H2 de G tais que H1 seja
isomorfo a H2 , mas G/H1 não seja isomorfo a G/H2 .
Teoria de Grupos (M2025) 2017/18 10

 
1 1
105. Verifique se o elemento Sl(2, R) ∈ Gl(2, R)/Sl(2, R) tem ordem 2.
2 1
106. Mostre que A4 não tem subgrupos de ordem 6.

107. Diga, justificando, quais das afirmações seguintes são verdadeiras e quais são falsas.
a) Qualquer subgrupo de um grupo é uma classe lateral de si mesmo.
b) O número de classes laterais esquerdas de um subgrupo de um grupo finito G divide a
ordem de G.
c) Se G for um grupo finito e G tiver um subgrupo de ordem d, então d | ord G.
d) Se G for um grupo finito e d | ord G, então G tem um subgrupo de ordem d.
e) Um grupo quociente de um grupo não abeliano não é abeliano.
f) R/nR é cı́clico de ordem n, onde R é o grupo aditivo usual e nR = {nr : r ∈ R}.
g) Se todos os grupos quociente de um grupo G são abelianos, então G é abeliano.
h) Se todos os grupos quociente de um grupo G por subgrupos normais não triviais são
abelianos, então G é abeliano.
i) Qualquer grupo quociente de um grupo finito é finito.
j) Se todos os grupos quociente de um grupo G por subgrupos normais não triviais são
finitos, então G é finito.

108. Sejam G um grupo e H, K ≤ G. Mostre que:

a) Se H, K E G, então H ∩ K E G.
b) Se K E G, então H ∩ K E H. É H ∩ K necessariamente um subgrupo normal de G?
c) Se K E G, então HK ≤ G. Além disso, se também H E G, então HK E G.

109. Sejam H e K subgrupos de um grupo G tais que K ≤ H ≤ G. Mostre que se (G : H)

e (H : K) são ambos finitos, então (G : K) = (G : H) · (H : K).
(Sugestão: sendo ai H, i = 1, . . . , r as diferentes classes esquerdas de H em G e bj K, j = 1, . . . , s
as diferentes classes esquerdas de K em H, mostre que (ai bj )K, i = 1, . . . , r, j = 1, . . . , s são as
diferentes classes esquerdas de K em G.)

110. Mostre que, se H e K são subgrupos normais de um grupo G tais que H ∩ K = {e},
então hk = kh para quaisquer h ∈ H e k ∈ K.
(Sugestão: considere o comutador hkh−1 k−1 = (hkh−1 )k−1 = h(kh−1 k−1 ).

111. Seja f : G1 → G2 um homomorfismo de grupos. Justifique que:

a) Se G1 tem ordem prima, então f é trivial ou injetivo.
b) Se G2 é finito, então Imf é finita e |Im f | divide |G2 |.
c) Se G1 é finito, então Imf é finita e |Im f | divide |G1 |.

112. Diga, justificando, quais das afirmações seguintes são verdadeiras e quais são falsas.
a) Existe um homomorfismo injetivo Z12 em S3 .
b) Existe um homomorfismo sobrejetivo de Z12 em D4 .
c) Existe um homomorfismo sobrejetivo de Z12 em S3 .
d) Existe um homomorfismo injetivo de Z3 em D4 .
e) Existe um homomorfismo injetivo de Z4 em D4 .
f) Existe um homomorfismo de D4 em S3 cujo núcleo tem ordem 2.
g) Existe um homomorfismo de D4 em S3 cujo núcleo tem ordem 4.
Teoria de Grupos (M2025) 2017/18 11

113. Determine os homomorfismos f : Z12 → Z24 cujo núcleo tem ordem 6, bem como os
respetivos núcleo e imagem.

114. Mostre que (R/Z, +) ≃ (T, ·), onde T = {z ∈ C : |z| = 1}.

115. Determine o centro e o subgrupo derivado do grupo D4 .

116. Seja H um subgrupo de um grupo G e a ∈ G. Mostre que aHa−1 = {axa−1 : x ∈ H}

também é um subgrupo de G.
Os subgrupos de G da forma aHa−1 dizem-se os subgrupos conjugados de H em G.

117. Mostre que se G é um grupo finito que tem um só subgrupo H de uma ordem dada,
então H E G.

118. Mostre que todo o grupo não abeliano de ordem 6 é isomorfo a S3 .

Conclua que, a menos de isomorfismo, há apenas dois grupos de ordem 6: Z6 e S3 .

119. Seja G um grupo, Aut(G) o conjunto dos automorfismos de G e, para cada a ∈ G,

φa : G → G a aplicação dada por φa (x) = axa−1 .
a) Mostre que Aut(G), é um grupo relativamente à operação de composição.
b) Mostre que φa é um automorfismo de G.
Os automorfismos de G deste tipo chamam-se automorfismos internos de G.
c) Sendo Int(G) = {φa : a ∈ G}, mostre que Int(G) E Aut(G).
d) Sendo f : G → Aut(G) a função dada por f (a) = φa , mostre que f é um homomorfismo
e que ker f = Z(G).
e) Conclua que G/Z(G) ≃ Int(G).

120. Prove que, se G1 ≃ G2 então Aut(G1 ) ≃ Aut(G2 ).

121. Identifique todos os grupos simples de ordem ≤ 10.