Calcule todos os subgrupos dos seguintes grupos:
(b)
;
(b)
Passo 1
Beleza, vamos resolver esse exercício juntos! A gente precisa calcular todos os subgrupos do grupo
. Primeiro, o que é um subgrupo? É basicamente um conjunto menor dentro do grupo maior que também satisfaz as mesmas regras de operação. Para isso, vamos precisar entender um pouco sobre teoria de grupos, especificamente sobre como identificar subgrupos dentro de um grupo como o
, que é o grupo das permutações de 3 elementos.
Passo 2
Vamos começar entendendo o que é
. O grupo
é chamado de grupo simétrico de ordem 3, e ele contém todas as permutações possíveis de três elementos. Ou seja, ele tem 6 elementos no total:
Aqui,
é a permutação identidade (que não muda nada), as permutações como
trocam dois elementos, e
são ciclos que rotacionam os elementos.
Passo 3
Agora, vamos identificar os subgrupos. Por definição, qualquer subgrupo deve conter o elemento identidade e ser fechado sob a operação do grupo (ou seja, se você pegar dois elementos do subgrupo e combiná-los, o resultado também deve estar no subgrupo).
Primeiro, sempre temos pelo menos dois subgrupos triviais:
- O subgrupo trivial que contém apenas a identidade:
- O próprio grupo
:
Passo 4
Além desses, vamos procurar outros subgrupos que podem ter ordem 2 ou 3, já que pela Teoria de Lagrange, a ordem de um subgrupo deve dividir a ordem do grupo principal (que é 6 no caso de
).
Subgrupos de ordem 2:
Estes subgrupos contêm a identidade e uma única troca (transposição). Existem três transposições em
, então temos três subgrupos de ordem 2:
Cada um desses conjuntos forma um subgrupo porque, por exemplo,
, mantendo a operação dentro do subgrupo.
Subgrupo de ordem 3:
Este subgrupo contém a identidade e os ciclos de 3 elementos. Há dois ciclos diferentes em
:
Esse conjunto também é um subgrupo porque
e
, fechando a operação.
Resposta
Todos os subgrupos de
são:
- O subgrupo trivial:
- Os subgrupos de ordem 2:
-
- O subgrupo de ordem 3:
- O próprio grupo
Exercícios relacionados
Sejam a, b, c, d números racionais e
um número irracional. Prove que:
Se A e B são ângulos agudos positivos, demonstre que
.
Prove que
.
Sejam
e
as transformações lineares dadas a seguir, determine se
e
e verifique se os resultados são iguais.
(b) é a rotação em torno da origem pelo ângulo
e
é a rotação em torno da origem pelo ângulo
.
(b)