Álgebra I - 2019/2

LISTA 1 - EXERCÍCIOS - TEORIA DE GRUPOS

PARTE 1
Resolver os exercícios do livro texto, à medida em que o conteúdo for desenvolvido.
 Herstein, I. Tópicos de Álgebra, Polígono, São Paulo, Brasil, 1970.

PARTE 2 - GRUPOS, SUBGRUPOS, GRUPOS QUOCIENTES

Operações Binárias e Definição de Grupo
1. Em cada caso, construa a tábua para a operação  definida sobre S.
(a) S  1,3,5,15, 25 , x  y  mdc( x, y) (b) S  1, 2, 4,8,16,32 , x  y  mmc( x, y)
(c) S  1, 2,0,7,13, 21 , x  y  min( x, y) (d) S  1, 2,0,7,13, 21 , x  y  max( x, y)
(e) S  1,  i, 1, i   ,   
(f) S  0,1, 2,3, 4,5,6,7 ,    , onde x  y = resto da divisão de x + y por 8 (repita para: x + y por 7)
(g) S  0,1, 2,3, 4,5,6,7 ,    , onde x  y = resto da divisão de x  y por 8 (repita para: x  y por 7)
2. Para cada operação binária definida sobre o conjunto S dado a seguir:
i) verifique se é associativa; é comutativa; admite elemento neutro;
ii) determine o conjunto dos elementos simetrizáveis e o conjunto dos elementos regulares;
iii) verifique se cada item tem estrutura de grupo (abeliano).
(a) S   e  :      dada por x  y  x  y  11
x y
(b) S   e  :      dada por x  y 
9
(c) S   e  :      dada por x  y  y
(d) S   e  :      dada por x  y  x  1
(e) S   e  :      dada por x  y  xy  2 x
(f) S   x   : x  1 ,  : S  S  S dada por x  y  x  y  xy

(g) S   x   : x  1 , : S  S  S dada por x y  xy  x  y

x y
(h) S    e :         dada por x y 
xy  1
(i) S    e  :         dada por x  y  x 2  y 2

(j) S   e  :      dada por x  y  3 x3  y 3

(k) S  2 e  : 2  2  2 dada por ( x, y)  ( z, t )  ( xy,0)
(l) S  2 e  : 2  2  2 dada por ( x, y)  ( z, t ) = ( x  z, y  t )
(m) S  2 e  : 2  2  2 dada por ( x, y)  ( z, t )  ( xz, y  t )
a a  b b   2a  b a b 
(n) S  IM22    e : IM     IM     IM    dada por  1 2    1 2  =  1 1 2 2 
 a3 a4   b3 b4   a3  b3 a4  b4 

Prof. Dr. Jhone Caldeira - IME/UFG

1
 Álgebra I - 2019/2
 a 
3. Mostre que G  
b
  IM 22    : a e b não ambos nulos  é um grupo abeliano em relação à
 b a  
multiplicação de matrizes.
4. Mostre que    é um grupo em relação à operação (a, b)(c, d )  (ac, bc  d ) .

5. Complete as tábuas a seguir, sabendo que elas representam as composições dos elementos em um
grupo.
a b c d e a b c d f
a a b c d e e a b c d f
b b a a a b e d
c c a b b
d d c c f a
d d
f f
6. Seja G um grupo de ordem 3. Escreva a tábua de G.
7. Seja X  r   : r  0, r  1 . Considere G o conjunto formado pelas seguintes funções de X em X:
1 x 1 1 x
f ( x) 
, g ( x)  , h ( x )  , i ( x )  x , j ( x)  1  x , k ( x )  .
1 x x x x 1
(a) Mostre que  G,   é um grupo. (b) Escreva a tábua desse grupo. (c) Verifique se G é abeliano.
8. Defina sobre  a operação dada por x  y  ax  by , para elementos fixados a, b  . Determine
condições sobre a e b para que a operação seja:
(a) associativa;
(b) comutativa;
(c) munida de elemento neutro.
9. Sejam a, b, c elementos de um grupo  G,  com elemento neutro e. Determine a solução x  G de
cada uma das equações a seguir.
(a) a '  x  a  e (b) a  x  b  a  c (c) a  b '  x  b  a '  a  b

Subgrupos
10. Em cada item a seguir, verifique se o subconjunto H é um subgrupo do grupo G dado.

(a) H   x   | x  0 e G   ,    (b) H   x   | x  0 e G   ,  

 
(c) H  0, 2, 4, 6, 8,10 e G   12 ,   (d) H  1, 3, 4, 5, 9 e G    ,  
11

(e) H  a  b 3

2   | a, b   e G   ,   (f) H  a  b 3   | a, b   , a  0 ou b  0 e G    , 
 

 a b 
(g) H   
 | a, c  , b  d  0  e G   IM22 (),  
  c d  
 a b  
(h) H    | b  , a  1 ou a  1 e G   GL2 (),  (i) H   f  S5 | f (3)  3 e G  S5
 0 1  
11.
(a) Sejam G um grupo abeliano e k um natural positivo fixado. Mostre que H  a  G : a k  1 é um
subgrupo de G.

Prof. Dr. Jhone Caldeira - IME/UFG

2
 Álgebra I - 2019/2
(b) Vale para G não abeliano?
12. Seja SC o grupo das permutações de um conjunto não vazio C. Seja T   um subconjunto de C.
Mostre que H   f  SC : f (t )  t , t  T  é um subgrupo de SC .

13. Liste todos os subgrupos de:

(a) 10 (b) 13 (c) 7 (d) 11
 1 n  
14. Mostre que o conjunto H    | n    é um subgrupo cíclico de  GL2 (),  .
 0 1  
Potências e Ordens
15.
1 2 3 1 2 3 
 . Mostre que  ab   a b .
1 1 1
(a) Considere os elementos de S3 : a    e b
3 1 2 1 3 2 

1 2 3 4 5 6 7
(b) Determine a ordem do elemento de a     S7 .
2 3 7 5 1 4 6
16.
(a) Determine a ordem e o inverso de cada um dos elementos dos grupos S3 e S 4 .
(b) Determine todos os elementos de S3 e S 4 que satisfazem f  f  f  id .
(c) Liste os subgrupos cíclicos de S3 .
(d) Existem subgrupos não cíclicos em S3 ?

17. Determine a ordem de cada elemento dos seguintes grupos:

(a)  4 (b)  7 (c) 10 (d) 7 (e) 11 (f) S3 (g) 

18.
 a b  
(a) Seja GL(2, )     IM 22    : ad  bc  0  o conjunto das matrizes reais de ordem 2
 c d  
inversíveis. Mostre que  GL(2, ),  é um grupo não abeliano.
 1 1 
 0 1  2 2
(b) Determine a ordem dos seguintes elementos de GL(2, ) : a    b
, .
1 1  3 1 
 2 2
0 1  0 1
(c) Sejam x    e y   em GL(2, ) . Mostre que x  3 , y  4 e que xy tem ordem
 1 1 1 0 
infinita.
19. Faça o que se pede em cada item a seguir.
(a) Mostre que 1 é um gerador do grupo cíclico  ,   .

 
(b) Responda, justificando: o grupo 5 ,  é cíclico? Se sim, determine todos os possíveis geradores.

(c) Responda, justificando: o grupo   ,   é cíclico? Se sim, determine todos os possíveis geradores.

7

(d) Responda, justificando: o grupo multiplicativo U    6  é cíclico? Se sim, determine todos os

possíveis geradores.

Prof. Dr. Jhone Caldeira - IME/UFG

3
 Álgebra I - 2019/2
(e) Responda, justificando: o grupo multiplicativo U    8  é cíclico? Se sim, determine todos os
possíveis geradores.
20. Faça o que se pede em cada item a seguir.

(a) Em  ,   , determine os subgrupos 0 , 3 , 3 , 4 , 4 , 5 , 5 , 8 , 8 . O que se

observa?

(b) Determine os subgrupos 2 e

1
2

em  ,   e em  ,  . 
(c) Determine o subgrupo x , para cada x U   10  .
(d) Determine o subgrupo x , para cada x U   12  .
(e) Determine o subgrupo x , para cada x  S3 .
1 2 3 4
(f) Determine o subgrupo x , x     S4 . Repita o exercício para outros elementos de S 4 .
2 3 4 1
21. Calcule cada potência indicada, caso esteja definida.
(a) x 7 , x  12 em  ,   (b) x 4 , x  1 em   ,  (c) x 10 , x  11 em  ,  
2
(d) x 6 , x  2  i em  ,   (e) x3 , x  1  2i em   ,  (f) x 6 , x  4 em  10 ,  

(g) x 2 , x  5 em  9 ,  (h) x 5 , x  7 U   12 

3 7  2  1 2 
(i) x , x  
3
 em  IM 22    ,   (j) x 2
, x    em  IM 22    , 
 4 1  0 1 
 2
22. Seja G um grupo.
(a) Sabendo que um elemento x  G satisfaz o( x)  12 , determine a ordem de cada um dos elementos:
x2 , x3 , x4 ,, x11  G .
(b) O que o item (a) sugere: qual a ordem de x m quando o( x)  n ?

23.
(a) Mostre que se x 2  x em um grupo, então x  e .
(b) Mostre que se  xy   x 2 y 2 para todos x, y  G , então G é abeliano.
2

(c) Mostre que G é um grupo abeliano se, e somente se,  xy   x 1 y 1 para todos x, y  G .
1

(d) Mostre que se todo elemento não identidade de um grupo G tem ordem 2, então G é abeliano.
(e) Sejam x, y, z, t  G , G grupo multiplicativo. O que é  xyzt  ?
1

(f) Dê exemplo de um grupo em que a equação x 2  e tenha mais de duas soluções.

(g) Mostre que em um grupo, yxy 1  x .
(h) Mostre que em um grupo, xy  yx .

Classes Laterais, Subgrupos Normais, Grupos Quocientes e Teorema de Lagrange

24. Em cada item a seguir, é dado um grupo G e um subgrupo H. Descreva todas as classes laterais, o
quociente G , expresse G como a união disjuntas das classes e determine G : H .
H
Prof. Dr. Jhone Caldeira - IME/UFG
4
 Álgebra I - 2019/2
(a) G   ,   e H  4 
(b) G   12 ,   e H  0, 2, 4, 6, 8,10 
(c) G    8 ,   e H  0, 4 (d) G    ,  e H  1,10

11

(e) G  U  ( 9 ) e H  1, 8 (f) G    6 ,   e H  2

(g) G    ,  e H  1, 1 (h) G    ,  e H  1, 1, i, i

25. Determine o índice de H em G, em cada caso:
(a) H  3 e G  12 (b) H  3 e G   20
1 2 3 4
(c) H  12, 20 e G   40 (d) H    e G  S4
2 3 4 1
26. Seja G um grupo e seja a  G tal que o(a)  30 . Determine o índice de H  a 4 em K  a .

27. Dê exemplos de grupos infinitos G e subgrupos H  G tais que:

(a) G : H seja finito (b) G : H seja infinito

28. Faça o que se pede em cada item a seguir.

(a) Sejam G grupo e x  G tais que G  x e o( x)  15 . Sabendo que H  x3 , faça o seguinte:
descreva as classes laterais de H em G; determine G : H e verifique o Teorema de Lagrange para G e H.
(b) Seja G um grupo e seja x  G tal que o( x)  30 . Determine o índice de H  x 4 em K  x .
29. Demonstre cada uma das afirmações a seguir.
(a) Sejam H e K subgrupos finitos de um grupo. Então H  K é um divisor de H e K .
(b) Sejam H e K subgrupos finitos de um grupo G. Se H  p e K  q , p e q primos distintos, então
H  K  e . Generalize para a interseção de um número finito de subgrupos finitos de G cujas ordens
são primos dois a dois distintos.
(c) Sejam H e K subgrupos finitos de um grupo, ambos de ordem prima p. Se H  K , então
H  K  e .
(d) Se G é um grupo tal que G  25 , então ou G é cíclico ou todo elemento não trivial de G tem
ordem 5.
(e) Generalização de (d): se G é um grupo tal que G  p 2 , p primo, então ou G é cíclico ou todo
elemento não trivial de G tem ordem p.
30. Verifique se cada subgrupo do Exercício 10 é normal.
31.
1 2 3   1 2 3   1 2 3  
(a) Dados N   , ,   e G  S3 , verifique se N é subgrupo normal de G.
1 2 3   2 3 1   3 1 2  
 1 b    a b  
(b) Dados N    : b    e G    : a, b, d  , ad  0 (com a multiplicação), verifique
 0 1    0 d  
se N é subgrupo normal de G.

Prof. Dr. Jhone Caldeira - IME/UFG

5
 Álgebra I - 2019/2
 0 2  1 2
(c) Considere em G   GL2 (),  o subgrupo H  A , em que A    . Dado x   ,
1 0 0 3
 2 
determine as classes laterais Hx e xH e verifique se H  G .
(d) Verifique se o subgrupo 1234 é normal em S4.
 a 0    a 0  
(e) Dados H    | a, b    e N    | a    , verifique se H  GL2 () e se
 0 b    0 a  
N  GL2 () .
(f) Mostre que N   A  GLn () |det A  0  GLn () . Faça isso de mais de uma maneira.
32. Sejam G um grupo, H e K subgrupos de G.
(a) Mostre que H  K  G .
(b) Verifique se vale H  K  G .
(c) Mostre que se H  G e K  G , então H  K  G .
(d) Argumente a favor ou contra da seguinte afirmação, justificando: se apenas um de H ou K é normal
em G, então H  K  G .
33. Sejam G um grupo, H  G e K  G . Mostre que se H  K  e , então hk  kh , para todos h  H ,
k K .
34. Mostre que se N  G e G é cíclico, então G é cíclico.
N

Prof. Dr. Jhone Caldeira - IME/UFG

6