Escolar Documentos
Profissional Documentos
Cultura Documentos
23 de março de 2015
1 / 16
Classes Laterais
a ∼E b ⇐⇒ a−1 b ∈ H
Tal relação, é uma Relação de Equivalência em G .
2 / 16
Prova do Teorema
3 / 16
Prova do Teorema
3 / 16
Prova do Teorema
3 / 16
Prova do Teorema
3 / 16
Prova do Teorema
3 / 16
Prova do Teorema
3 / 16
Classes de Equivalência geradas por ∼E
4 / 16
Classes de Equivalência geradas por ∼E
4 / 16
Classes de Equivalência geradas por ∼E
4 / 16
Classes de Equivalência geradas por ∼E
4 / 16
Classes de Equivalência geradas por ∼E
4 / 16
Classes de Equivalência geradas por ∼E
4 / 16
Classes de Equivalência geradas por ∼E
4 / 16
Classes de Equivalência geradas por ∼E
Exemplo
Considere o grupo aditivo dos números reais e o subgrupo
1
H = {2k ; k ∈ Z}. Determine a classe lateral aH sendo a = .
3
5 / 16
Classes de Equivalência geradas por ∼E
Exemplo
Considere o grupo aditivo Z8 e o subgrupo H = 2 . Exiba as
classes laterais à esquerda de H.
6 / 16
Classes Laterais
a ∼D b ⇐⇒ ab −1 ∈ H
Tal relação, é uma Relação de Equivalência em G .
7 / 16
Classes de Equivalência geradas por ∼D
8 / 16
Classes de Equivalência geradas por ∼D
8 / 16
Classes de Equivalência geradas por ∼D
8 / 16
Classes de Equivalência geradas por ∼D
8 / 16
Classes de Equivalência geradas por ∼D
8 / 16
Classes de Equivalência geradas por ∼D
8 / 16
Classes de Equivalência geradas por ∼D
8 / 16
Classes de Equivalência geradas por ∼D
Exemplo
Exiba as classes laterais à direita do subgrupo 3Z de Z.
9 / 16
Classes de Equivalência
Exemplo
Considere o grupo S3 , das bijeções de f : {1, 2, 3} −→ {1, 2, 3}.
Verifiquemos as classes laterais à direita e à esquerda
10 / 16
Classes de Equivalência
Exemplo
Considere o grupo S3 , das bijeções de f : {1, 2, 3} −→ {1, 2, 3}.
Verifiquemos as classes laterais à direita e à esquerda
1 2 3 1 2 3 1 2 3
f0 = , f1 = , f2 =
1 2 3 1 3 2 2 1 3
1 2 3 1 2 3 1 2 3
f3 = , f4 = , f5 =
2 3 1 3 1 2 3 2 1
10 / 16
Classes de Equivalência
Exemplo
Considere o grupo S3 , das bijeções de f : {1, 2, 3} −→ {1, 2, 3}.
Verifiquemos as classes laterais à direita e à esquerda
1 2 3 1 2 3 1 2 3
f0 = , f1 = , f2 =
1 2 3 1 3 2 2 1 3
1 2 3 1 2 3 1 2 3
f3 = , f4 = , f5 =
2 3 1 3 1 2 3 2 1
10 / 16
Classes de Equivalência
1 2 3
f1 =
1 3 2
11 / 16
Classes de Equivalência
1 2 3
f1 =
1 3 2
1 2 3 1 2 3 1 2 3
f1 ◦ f1 = ◦ =
1 3 2 1 3 2 1 2 3
11 / 16
Classes de Equivalência
1 2 3
f1 =
1 3 2
1 2 3 1 2 3 1 2 3
f1 ◦ f1 = ◦ =
1 3 2 1 3 2 1 2 3
Portanto, H = hf1 i = {f0 , f1 } é um subgrupo de G = S3 .
11 / 16
Classes de Equivalência
1 2 3
f1 =
1 3 2
1 2 3 1 2 3 1 2 3
f1 ◦ f1 = ◦ =
1 3 2 1 3 2 1 2 3
Portanto, H = hf1 i = {f0 , f1 } é um subgrupo de G = S3 .
Vamos determinar aH e Ha onde a = f2 .
11 / 16
Classes de Equivalência
1 2 3
f1 =
1 3 2
1 2 3 1 2 3 1 2 3
f1 ◦ f1 = ◦ =
1 3 2 1 3 2 1 2 3
Portanto, H = hf1 i = {f0 , f1 } é um subgrupo de G = S3 .
Vamos determinar aH e Ha onde a = f2 .
aH = {ah ; h ∈ H} = {f2 ◦ e, f2 ◦ f1 } = {f2 , f3 }
11 / 16
Classes de Equivalência
1 2 3
f1 =
1 3 2
1 2 3 1 2 3 1 2 3
f1 ◦ f1 = ◦ =
1 3 2 1 3 2 1 2 3
Portanto, H = hf1 i = {f0 , f1 } é um subgrupo de G = S3 .
Vamos determinar aH e Ha onde a = f2 .
aH = {ah ; h ∈ H} = {f2 ◦ e, f2 ◦ f1 } = {f2 , f3 }
Ha = {ha ; h ∈ H} = {e ◦ f2 , f1 ◦ f2 } = {f2 , f4 }
11 / 16
Classes de Equivalência
1 2 3
f1 =
1 3 2
1 2 3 1 2 3 1 2 3
f1 ◦ f1 = ◦ =
1 3 2 1 3 2 1 2 3
Portanto, H = hf1 i = {f0 , f1 } é um subgrupo de G = S3 .
Vamos determinar aH e Ha onde a = f2 .
aH = {ah ; h ∈ H} = {f2 ◦ e, f2 ◦ f1 } = {f2 , f3 }
Ha = {ha ; h ∈ H} = {e ◦ f2 , f1 ◦ f2 } = {f2 , f4 }
Conclusão: nem sempre ocorre aH = Ha!
11 / 16
Igualdade entre as classes laterais
Teorema
Quando G é um grupo abeliano, então aH = Ha para qualquer
subgrupo H de G . Neste caso, falaremos apenas em Classes
Laterais de H contendo a.
12 / 16
Exemplos
13 / 16
Exemplos
13 / 16
Exemplos
13 / 16
Exemplos
13 / 16
Exemplo
Exemplo
Encontre a partição de (Z6 , +) em classes laterais do subgrupo
H = {0, 3}
14 / 16
Exemplo
Exemplo
Encontre a partição de (Z6 , +) em classes laterais do subgrupo
H = {0, 3}
14 / 16
Exemplo
Exemplo
Encontre a partição de (Z6 , +) em classes laterais do subgrupo
H = {0, 3}
14 / 16
Exemplo
Exemplo
Encontre a partição de (Z6 , +) em classes laterais do subgrupo
H = {0, 3}
14 / 16
Exemplo
Exemplo
Encontre a partição de (Z6 , +) em classes laterais do subgrupo
H = {0, 3}
14 / 16
Teorema de Lagrange
Teorema (Lagrange)
Seja H um subgrupo de um grupo finito G . Então, a ordem de H
é um divisor da ordem de G .
15 / 16
Teorema de Lagrange
Teorema (Lagrange)
Seja H um subgrupo de um grupo finito G . Então, a ordem de H
é um divisor da ordem de G .
15 / 16
Teorema de Lagrange
Teorema (Lagrange)
Seja H um subgrupo de um grupo finito G . Então, a ordem de H
é um divisor da ordem de G .
15 / 16
Teorema de Lagrange
Teorema (Lagrange)
Seja H um subgrupo de um grupo finito G . Então, a ordem de H
é um divisor da ordem de G .
15 / 16
Teorema de Lagrange
Teorema (Lagrange)
Seja H um subgrupo de um grupo finito G . Então, a ordem de H
é um divisor da ordem de G .
15 / 16