UNEB - Universidade do Estado da Bahia

UAB - Universidade Aberta do Brasil

Professora: Érica Macêdo Semestre: 2019.2 Data: 07.11.2019

Aluno:

Roteiro de Estudos 01 - Álgebra II

Grupos e Subgrupos

Definição 1. Seja < G, ∗ > um grupo. Um subconjunto não vazio H de G é um subgrupo de G

(denotamos H < G) quando, com a operação de G, o conjunto H é um grupo, isto é, quando as
condições seguintes são satisfeitas:
(ı)h1 ∗ h2 ∈ H, ∀h1 , h2 ∈ H.
(ıı)h1 ∗ (h2 ∗ h3 ) = (h1 ∗ h2 ) ∗ h3 , ∀h1 , h2 , h3 ∈ H.
(ııı)∃e ∈ H tal que e ∗ h = h ∗ e = h, ∀h ∈ H.
(ıv) Para cada h ∈ H, existe k ∈ H tal que h ∗ k = k ∗ h = e.

Definição 2. Sejam G um grupo e a ∈ G. Denomina-se subgrupo gerado por a o conjunto de todas

as potências inteiras de a, isto é, < a >= {am ; m ∈ Z} = {· · · , a−2 , a−1 , a0 , a1 , a2 , · · · } é o subgrupo
gerado por a.

Definição 3. Sejam G um grupo finito e H um subgrupo de G. Então |G| = |H| · (G : H); em

particular, a ordem e o ı́ndice de H dividem a ordem de G.

Questões

Questão 1. Verifique se os conjuntos abaixo são subgrupos dos grupos indicados.

a. H1 = {0, 2, 4} subconjunto do grupo < Z6 , + >;
b. H2 = Z∗ subconjunto do grupo < R∗ , · >;
√
c. H3 = {a + b 2; a, b ∈ Q} subconjunto do grupo < R, + >.

+ 0 2 4
0 0 2 4
a. H1 é subgrupo de Z6 pois é um subconjunto fechado em Z6 ; observe sua tábua: .
2 2 4 0
4 4 0 2
Além disto, 0 é seu elemento neutro e os elementos 2 e 4 são inversos aditivos um do outro.
b. O conjunto H1 = Z∗ não é subgrupo do grupo multiplicativo R∗ , pois em Z∗ os elementos não

Profa . Ms. Érica N. Macêdo Bons Estudos!

 UNEB - Universidade do Estado da Bahia
UAB - Universidade Aberta do Brasil

possuem inversos multiplicativos, com exceção dos números 1 e −1.

√
c. O conjunto H3 = {a + b 2; a, b ∈ Q} é subconjunto do grupo < R, + >. Verificaremos todas
√ √
as condições descritas acima. Considere x, y, z ∈ H3 sendo que x = a1 + b1 2, y = a2 + b2 2 e
√ √
z = a3 + b3 2 em que a1 , a2 , a3 , b1 , b2 , b3 ∈ Q. Veja que x + y = (a1 + a2 ) + (b1 + b2 ) 2 ∈ H3 pois
√ √
a1 + a2 ∈ Q e b1 + b2 ∈ Q ; (x + y) + z = [(a1 + a2 ) + (b1 + b2 ) 2] + a3 + b3 2 = (a1 + a2 + a3 ) + (b1 + b2 +
√ √ √ √
b3 ) 2 = [a1 +(a2 +a3 )]+[b1 +(b2 +b3 )] 2 = [a1 +b1 2]+(a2 +a3 )+(b2 +b3 ) 2 = x+(y+z); temos que
√ √ √ √
0 = 0+0 2 ∈ H3 é o elemento neutro deste conjunto pois x+0 = a1 +b1 2+0+0 2 = a1 +b1 2 = 0+x
√ √
e para todo x ∈ H3 , x = a1 + b1 2 temos que −x = −a1 − b1 2 ∈ H3 é tal que x + (−x) = 0.

Questão 2. Considere o grupo aditivo Z12 . Determine os subgrupos pedidos:

a. H1 =< 2 > = {0, 2, 4, 6, 8, 10}
b. H2 =< 5 > = Z12
c. H3 =< 6 > = {0, 6}
d. H4 =< 1 > = Z12

Questão 3. Considere o grupo G = {e, a, b, c, d, f }, munido da operação ∗, dada pela seguinte tábua:

* e a b c d f

e e a b c d f
Determine os subgrupos pedidos:
a a b e f c d
a. H1 =< a >= {e, a, b}
b b e a d f c
b. H2 =< c >= {e, c}
c c d f e a b
c. H3 =< d >= {e, d}
d d f c b e a
f f c d a b e

Questão 4. Um grupo finito de ordem 12 pode ter um subgrupo com 8 elementos? Porque?

Temos que a ordem do grupo G é 12, ou seja, |G| = 12. Usando o Teorema de Lagrange temos que
os possı́veis valores para as ordens dos subgrupos de G são 1, 2, 3, 4, 6 e 12, ou seja, os divisores de 12.
Desse modo não poderı́amos ter um subgrupo de ordem 8.

Questão 5. Considere o grupo aditivo Z16 . Este grupo é cı́clico? Qual o seu gerador? Determine a
ordem de cada um dos subgrupos gerados pelos elementos 4, 5, 8 e 10.

O grupo aditivo Z16 é cı́clico e seu gerador é o elemento 1. Para determinar a ordem dos subgrupos
gerados pelos elementos pedidos basta determinar a ordem de cada um destes elementos, pois por
4
definição, a ordem do elemento é a ordem do subgrupo gerado por ele. Assim, 4 = 0, então | < 4 >
16 2 8
| = 4; 5 = 0, então | < 5 > | = 16; 8 = 0, então | < 8 > | = 2 e 10 = 0, então | < 10 > | = 8.

Profa . Ms. Érica N. Macêdo Bons Estudos!