EST RU T U RAS ALGÉBRICAS

ALUNO : JOÃO MARCOS ALMEIDA FERREIRA

Questão 1 - Determinar todas as classes laterais de H = {0, 2, 4} no grupo aditivo Z6 .

Solução:

O Z6 é da forma;
Z6 = {0, 1, 2, 3, 4, 5}

A ordem de H é: ord(H) = 3 e a ordem de G = Z6 é ord(G) = 6, pelo teorema de

lagrange temos;
ord(H) | ord(G) = 3 | 6 ⇒ 6 = 3 × 2

Ou seja,
Como a ordem de H divide a ordem de G temos que a quantidade de classes laterais
será duas.
Assim, temos as classe laterais de cada elemento de G = Z6 associado ao subconjunto
H;

0 + H = H + 0 = {0 + 0, 0 + 2, 0 + 4} = {0, 2, 4} = H

1 + H = H + 1 = {1 + 0, 1 + 2, 1 + 4} = {1, 3, 5}

2 + H = H + 2 = {2 + 0, 2 + 2, 2 + 4} = {2, 4, 0}

Obs: Nos casos como por exemplo 3 + 3 não será 6, pois, não existe o elemento 6 em
Z6
Para isto você fará desta forma;

2+4=6

E a ord(g) = 6, assim;
2+4 6
=
ord(g) 6
O resto da divisão inteira será 0
Então 2 + 4 = 0 está mesma ideia servirá para os demais casos em que a adição não
se encontra no Z6
Continuando temos;

3 + H = H + 3 = {3 + 0, 3 + 2, 3 + 4} = {3, 5, 1}

4 + H = H + 4 = {4 + 0, 4 + 2, 4 + 4} = {4, 0, 2}
 5 + H = H + 5 = {5 + 0, 5 + 2, 5 + 4} = {5, 1, 3}
Como as classes se repetem, temos que as classes laterais geradas são;
G Z6
= = {H, 1 + H}
H H
Questão 2 - Determinar todas as classes laterais de H = {0, 3, 6, 9} no grupo aditivo
Z12 .

Solução:

O Z12 é da forma;
Z12 = {0, 1, 2, 3, 4, 5 6, 7, 8, 9, 10, 11}
A ordem de H é: ord(H) = 4 e a ordem de G = Z12 é ord(G) = 12, pelo teorema de
lagrange temos;
ord(H) | ord(G) = 4 | 12 ⇒ 12 = 4 × 3
Ou seja,
Como a ordem de H divide a ordem de G temos que a quantidade de classes laterais
será três.
Assim, temos as classe laterais de cada elemento de G = Z12 associado ao subconjunto
H;

0 + H = H + 0 = {0, 3, 6, 9} = H
1 + H = H + 1 = {1, 4, 7, 10}
2 + H = H + 2 = {2, 5, 8, 11}
3 + H = H + 3 = {3, 6, 9, 0}
4 + H = H + 4 = {4, 7, 10, 1}
5 + H = H + 5 = {5, 8, 11, 2}
6 + H = H + 6 = {6, 9, 0, 3}
7 + H = H + 7 = {7, 10, 1, 4}
8 + H = H + 8 = {8, 11, 2, 5}
9 + H = H + 9 = {9, 0, 3, 6}
10 + H = H + 10 = {10, 1, 4, 7}
11 + H = H + 11 = {11, 2, 5, 8}
Como as classes se repetem, temos que as classes laterais geradas são;
G Z6
= = {H, 1 + H, 2 + H}
H H
 Questão 3 - Seja S3 o grupo das permutações de E = {1, 2, 3}. Determine todas as
classes laterais de H = {f0 , f1 } subgrupo de S3 em que;
   
1 2 3  1 2 3 
f0 =  e f1 = 
1 2 3 2 1 3
Solução:

Antes de continuarmos temos que os elementos de S3 são dá forma;

     
1 2 3  1 2 3  1 2 3 
f0 =  , f1 =  , f2 = 
1 2 3 2 1 3 2 3 1
     
1 2 3  1 2 3  1 2 3 
f3 =  , f4 =  , f5 = 
1 3 2 3 2 1 3 1 2
O S3 é da forma;
S3 = {f0 , f1 , f2 , f3 , f4 , f5 }

A ordem de H é: ord(H) = 2 e a ordem de G = S3 é ord(G) = 6, pelo teorema de

lagrange temos;
ord(H) | ord(G) = 2 | 6 ⇒ 6 = 2 × 3

Ou seja,
Como a ordem de H divide a ordem de G temos que a quantidade de classes laterais
será três pela direita e três pela esquerda.
Assim, temos as seguintes classe laterais pela esquerda de cada elemento de G = S3
associado ao subgrupo H;

f0 ◦ H = {f0 ◦ f0 , f0 ◦ f1 } = {f0 , f1 }
     
1 2 3   1 2 3   1 2 3 
f0 ◦ f0 =  ◦ = = f0
1 2 3 1 2 3 1 2 3
     
1 2 3   1 2 3   1 2 3 
f0 ◦ f1 =  ◦ = = f1
1 2 3 2 1 3 2 1 3

f1 ◦ H = {f1 ◦ f0 , f1 ◦ f1 } = {f0 , f1 }
     
1 2 3   1 2 3   1 2 3 
f1 ◦ f0 =  ◦ = = f1
2 1 3 1 2 3 2 1 3
     
1 2 3   1 2 3   1 2 3 
f1 ◦ f1 =  ◦ = = f0
2 1 3 2 1 3 1 2 3

f2 ◦ H = {f2 ◦ f0 , f2 ◦ f1 } = {f2 , f4 }
     
1 2 3   1 2 3   1 2 3 
f2 ◦ f0 =  ◦ = = f2
2 3 1 1 2 3 2 3 1
      
1 2 3   1 2 3   1 2 3 
f2 ◦ f1 =  ◦ = = f4
2 3 1 2 1 3 3 2 1

f3 ◦ H = {f3 ◦ f0 , f3 ◦ f1 } = {f3 , f5 }
     
1 2 3   1 2 3   1 2 3 
f3 ◦ f0 =  ◦ = = f3
1 3 2 1 2 3 1 3 2
     
1 2 3   1 2 3   1 2 3 
f3 ◦ f1 =  ◦ = = f5
1 3 2 2 1 3 3 1 2

f4 ◦ H = {f4 ◦ f0 , f4 ◦ f1 } = {f3 , f5 }
     
1 2 3   1 2 3   1 2 3 
f4 ◦ f0 =  ◦ = = f4
3 2 1 1 2 3 3 2 1
     
1 2 3   1 2 3   1 2 3 
f4 ◦ f1 =  ◦ = = f2
3 2 1 2 1 3 2 3 1

f5 ◦ H = {f5 ◦ f0 , f5 ◦ f1 } = {f3 , f5 }
     
1 2 3   1 2 3   1 2 3 
f5 ◦ f0 =  ◦ = = f5
3 1 2 1 2 3 3 1 2
     
1 2 3   1 2 3   1 2 3 
f5 ◦ f1 =  ◦ = = f3
3 1 2 2 1 3 1 3 2

Como as classes se repetem, temos que as classes laterais a esquerda geradas são;

{H, f2 ◦ H, f3 ◦ H}

Ainda, temos as seguintes classe laterais pela direita de cada elemento de G = S3

associado ao subgrupo H;

H ◦ f0 = {f0 ◦ f0 , f1 ◦ f0 } = {f0 , f1 }
     
1 2 3   1 2 3   1 2 3 
f0 ◦ f0 =  ◦ = = f0
1 2 3 1 2 3 1 2 3
     
1 2 3   1 2 3   1 2 3 
f1 ◦ f0 =  ◦ = = f1
2 1 3 1 2 3 2 1 3

H ◦ f1 = {f0 ◦ f1 , f1 ◦ f1 } = {f0 , f1 }
     
1 2 3   1 2 3   1 2 3 
f0 ◦ f1 =  ◦ = = f1
1 2 3 2 1 3 2 1 3
     
1 2 3   1 2 3   1 2 3 
f1 ◦ f1 =  ◦ = = f0
2 1 3 2 1 3 1 2 3

H ◦ f2 = {f0 ◦ f2 , f1 ◦ f2 } = {f2 , f3 }
      
1 2 3   1 2 3   1 2 3 
f0 ◦ f2 =  ◦ = = f2
1 2 3 2 3 1 2 3 1
     
1 2 3   1 2 3   1 2 3 
f1 ◦ f2 =  ◦ = = f3
2 1 3 2 3 1 1 3 2

H ◦ f3 = {f0 ◦ f3 , f1 ◦ f3 } = {f2 , f3 }
     
1 2 3   1 2 3   1 2 3 
f0 ◦ f3 =  ◦ = = f3
1 2 3 1 3 2 1 3 2
     
1 2 3   1 2 3   1 2 3 
f1 ◦ f3 =  ◦ = = f2
2 1 3 1 3 2 2 3 1

H ◦ f4 = {f0 ◦ f4 , f1 ◦ f4 } = {f4 , f5 }
     
1 2 3   1 2 3   1 2 3 
f0 ◦ f4 =  ◦ = = f4
1 2 3 3 2 1 3 2 1
     
1 2 3   1 2 3   1 2 3 
f1 ◦ f4 =  ◦ = = f5
2 1 3 3 2 1 3 1 2

H ◦ f5 = {f0 ◦ f5 , f1 ◦ f5 } = {f4 , f5 }
     
1 2 3   1 2 3   1 2 3 
f0 ◦ f5 =  ◦ = = f5
1 2 3 3 1 2 3 1 2
     
1 2 3   1 2 3   1 2 3 
f1 ◦ f5 =  ◦ = = f4
2 1 3 3 1 2 3 2 1

Como as classes se repetem, temos que as classes laterais a esquerda geradas são;

{H, H ◦ f2 , H ◦ f4 }

Questão 4 - Dê um exemplo de duas permutações do grupo S3 que não comutam.

Solução:

Antes de continuarmos temos que os elementos de S3 são dá forma;

     
1 2 3  1 2 3  1 2 3 
f0 =  , f1 =  , f2 = 
1 2 3 2 1 3 2 3 1
     
1 2 3  1 2 3  1 2 3 
f3 =  , f4 =  , f5 = 
1 3 2 3 2 1 3 1 2
O S3 é da forma;
S3 = {f0 , f1 , f2 , f3 , f4 , f5 }
Um exemplo de duas permutações que podemos utilizar e que não se comutam é o f2
e o f5 , vejamos;
  
1 2 3 
f2 = 
2 3 1
Podemos escrever está permutação como σ(1) = 3, σ(3) = 2 e σ(2) = 1, o qual
denotamos por (3 2 1)
Já com f5 , temos;  
1 2 3
f5 =  
3 1 2
Podemos escrever está permutação como σ(1) = 2, σ(2) = 3 e σ(3) = 1, o qual
denotamos por (2 3 1)
Portanto como podemos ver elas não comutam, ou seja, (3 2 1) 6= (2 3 1)

Questão 5 - Expresse cada uma das seguintes permutações de S8 como produto de

ciclos disjuntos e, depois, como produto de transposições:
 
1 2 3 4 5 6 7 8 
(a) 
8 2 6 3 7 4 5 1

Solução:

Podemos expressar o S8 como produto de ciclos disjuntos da seguinte forma;

σ(1) = 8, σ(8) = 1

σ(3) = 6, σ(6) = 4, σ(4) = 3

σ(5) = 7, σ(7) = 5
Portanto, temos;
σ = (8 1) ◦ (6 4 3) ◦ (7 5)
Já como produto de transposições expressamos da seguinte forma;

(8 1) = (8 1)

(6 4 3) = (6 3) ◦ (6 4)
(7 5) = (7 5)
Logo, temos;
σ = (8 1) ◦ (6 3) ◦ (6 4) ◦ (7 5)

 
1 2 3 4 5 6 7 8 
(b) 
3 6 4 1 8 2 5 7
Solução:

Podemos expressar o S8 como produto de ciclos disjuntos da seguinte forma;

σ(1) = 3, σ(3) = 4, σ(4) = 1

σ(2) = 6, σ(6) = 2

σ(5) = 8, σ(8) = 7, σ(7) = 5

Portanto, temos;
σ = (3 4 1) ◦ (6 2) ◦ (8 7 5)

Já como produto de transposições expressamos da seguinte forma;

(3 4 1) = (3 1) ◦ (3 4)

(6 2) = (6 2)

(8 7 5) = (8 5) ◦ (8 7)

Logo, temos;
σ = (3 1) ◦ (3 4) ◦ (6 2) ◦ (8 5) ◦ (8 7)

 
1 2 3 4 5 6 7 8 
(c) 
3 1 4 7 2 5 8 6

Solução:

Podemos expressar o S8 como produto de ciclos disjuntos da seguinte forma;

σ(1) = 3, σ(3) = 4, σ(4) = 7, σ(7) = 8, σ(8) = 6, σ(6) = 5, σ(5) = 2, σ(2) = 1

Portanto, temos;
σ = (3 4 7 8 6 5 2 1)

Já como produto de transposições expressamos da seguinte forma;

σ = (3 1) ◦ (3 2) ◦ (3 5) ◦ (3 6) ◦ (3 8) ◦ (3 7) ◦ (3 4)