UNIVERSIDADE FEDERAL DE ALAGOAS - INSTITUTO DE MATEMÁTICA

Programa de Pós-Graduação em Matemática

Curso de Álgebra I - Prof. Gregório Silva Neto

7a Lista de Exercı́cios - Data de entrega: 03/11/2020

1. Encontre todos os subgrupos normais de S3 e D4 .

2. Mostre que, se f : G1 → G2 é um homomorfismo de grupos, então o conjunto imagem
Im(f ) = {y ∈ G2 |y = f (g) para algum g ∈ G1 } é um subgrupo de G2 .
3. Se f : G1 → G2 é um homomorfismo de grupos e H é um subgrupo de G1 , mostre que f (H)
é um subgrupo de G2 e f −1 (f (H)) = H ker f.
4. Seja f : G1 → G2 um homomorfismo injetivo de grupos. Mostre que

O(f (x)) = O(x), ∀x ∈ G.

5. a) Mostre que os grupos S3 e S4 são isomorfos;

b) Mostre que os grupos D4 e D são isomorfos.
6. Se H é o único subgrupo de ordem n de um grupo G, então H é subgrupo caracterı́stico de
G
7. Mostre que, em D , hR1 i C hR1 , Rπ i C D , mas hR1 i não é normal em D .
8. Considere a função
I : (G, ·) −→ (I(G), ◦)

g 7−→ Ig

que, por definição, é sobrejetiva.

a) I é um homomorfismo de grupos.
b) Mostre que ker I = Z(G) e que I(G) ' G/Z(G).
c) Mostre que, se G não é abeliano, então I(G) não é cı́clico.
9. Determinar os homomorfismos do grupo S3 em Z/2Z × Z/2Z.
10. Mostre que todo grupo quociente de um grupo cı́clico é cı́clico.
11. a) Determine todos os homomorfismos de Z/4Z em D4 .
b) Determine todos os homomorfismos de Z/6Z em S3 . Mostre que nenhum deles é um
isomorfismo.
c) Determine todos os homomorfismos de Z em S3 .
d) Determine todos os homomorfismos de Z/5Z em D4 .
 e) Seja G um grupo finito. Mostre que ϕ : G → Z, dado por ϕ(g) = 0, ∀g ∈ G, é o único
homomorfismo de G em Z.
f ) Seja G = hai um grupo cı́clico e seja f : G → G um homomorfismo de grupos. Mostre
que f é um automorfismo se e somente se f (a) é um gerador de G.
12. Seja
Φ : N −→ N

n 7−→ #{1 ≤ r ≤ n|M.D.C.{r, n} = 1}

a função de Euler. Com a multiplicação módulo n, o conjunto {1 ≤ r ≤ n|M.D.C.{r, n} = 1}
é o grupo (Z/nZ)∗ .
a) Sejam m, n ∈ Z primos entre si. Para todo r ≥ 1, sejam r1 o resto da divisão de r por
n e r2 o resto da divisão de r por m. Defina a aplicação

ψ : (Z/mnZ)∗ −→ (Z/nZ)∗ × (Z/mZ)∗

r 7−→ (r1 , r2 ).

Mostre que ψ está bem definida e é uma bijeção. Conclua que Φ(mn) = Φ(m)Φ(n).
b) Mostre que ψ é um homomorfismo, e portanto, um isomorfismo entre os grupos (Z/mnZ)∗
e (Z/nZ)∗ × (Z/mZ)∗ .
c) Seja n = pt11 · · · ptss , com p1 , . . . , ps números primos e t1 , . . . , ts números inteiros ≥ 1.
Mostre que Φ(n) = Φ(pt11 ) · · · Φ(ptss ) e que (Z/nZ)∗ ' (Z/pt11 Z)∗ × · · · × (Z/ptss Z)∗ .
d) Seja p um número primo e seja t ≥ 1 um número inteiro. Mostre que Φ(pt ) = pt−1 (p−1).
13. Resolva os exercı́cios de número 10 a 29 do Capı́tulo 5 de “GARCIA, A. & LEQUAIN, Y.
Elementos de Álgebra. Projeto Euclides, IMPA, Rio de Janeiro, 2002.”