Doutorado → Compreendendo Álgebra → Teoria dos grupos ↓
Subgrupos normais
A teoria dos grupos é um ramo da matemática que estuda estruturas algébricas conhecidas como grupos. Um subgrupo é um grupo contido dentro de um grupo que por si só forma um grupo sob a mesma operação. Um subgrupo normal é um tipo particularmente interessante de subgrupo. Vamos dar uma olhada mais aprofundada na compreensão dos subgrupos normais, como eles funcionam e sua importância na teoria dos grupos.
Definição de subgrupos normais
Na teoria dos grupos, um subgrupo H
de um grupo G
é chamado de subgrupo normal se for invariante sob conjugação por elementos de G
. Isso significa que para cada elemento h
em H
e cada g
em G
, o elemento ghg-1
também está em H
.
H é um subgrupo normal de G se ∀ g ∈ G e ∀ h ∈ H, ghg -1 ∈ H.
Esta propriedade pode ser brevemente expressa da seguinte forma:
Se N
é um subgrupo normal, escrevemos N ⊲ G
Representação visual
Nesta ilustração, o grande círculo representa o grupo G
e o pequeno círculo dentro dele representa o subgrupo H
. Se H
é um subgrupo normal, então sua posição dentro de G
permanece inalterada, apesar de qualquer alteração interna feita por G
.
Propriedades matemáticas
Os subgrupos normais têm várias propriedades matemáticas interessantes que os tornam fundamentais na teoria dos grupos:
1. Grupo quociente
Se N
é um subgrupo normal de G
, podemos formar o grupo quociente G/N
. Os elementos deste grupo são as classes laterais de N
em G
. As classes laterais são uma forma de partição que utiliza subconjuntos para dividir todo o grupo em conjuntos, cada um dos quais contém elementos naturalmente relacionados sob a operação do grupo.
2. Núcleo da homeomorfismo
O subgrupo N
é normal e é o núcleo do homomorfismo do grupo. O núcleo é o conjunto de elementos que mapeiam para a identidade sob o homomorfismo. Como todo núcleo forma um subgrupo normal, a análise de homomorfismos é outra maneira de entender os subgrupos normais.
Para homomorfismo φ: G → G', o núcleo é Ker(φ) = { g ∈ G | φ(g) = e' }, onde e' é a identidade em G'.
3. Subgrupo comutador
O subgrupo comutador, ou subgrupo derivado, de um grupo G
é o subgrupo gerado por todos os comutadores. Ele é sempre um subgrupo normal de G
. Isso é útil para entender a comutatividade na estrutura do grupo. O grupo derivado frequentemente ajuda na construção de uma série de experimentos voltados para estudar a solubilidade dos grupos.
Comutador: [a, b] = aba -1 b -1
Exemplo: Inteiros sob adição
Considere o grupo de inteiros Z
sob adição. Todo subgrupo nZ
(múltiplos de n
) é um subgrupo normal. Para ver isso, note que para qualquer inteiro k
e subgrupo nZ
, temos:
k + nZ + (-k) = nZ
Isso equivale a nZ
, o que mostra invariância sob conjugação.
Exemplo: Grupo simétrico
Vamos olhar para o grupo simétrico S3
que consiste em todas as permutações de três objetos. Considere A3
, que é um grupo alternante consistente em todas as permutações pares em S3
. A3
é um subgrupo normal de S3
. Se g
é uma permutação par e conjugamos por qualquer h
em S3
, o resultado permanece uma permutação par e está, portanto, dentro de A3
.
Importância dos subgrupos normais
Subgrupos normais desempenham um papel importante na compreensão da estrutura dos grupos. Aqui estão alguns aspectos chave:
- Fatoração: Subgrupos normais permitem a construção de grupos fator, que são úteis na simplificação da estrutura de grupos maiores.
- Extensões de grupos: Eles são importantes na formação de novos grupos por meio de extensões, que produzem grupos mais complexos a partir de grupos conhecidos.
- Classificação: A classificação de grupos frequentemente envolve a análise de subgrupos comuns e suas interações dentro de um dado grupo.
Compreender subgrupos normais é essencial para um estudo aprofundado da teoria dos grupos e tem implicações para uma gama de tópicos matemáticos, incluindo topologia algébrica, geometria e teoria dos números.
Conclusão
Subgrupos normais são um conceito fundamental em álgebra abstrata, proporcionando uma visão profunda sobre o comportamento e a estrutura dos grupos. Através da lente da normalidade, os matemáticos podem compreender melhor operações de grupos, criar grupos quociente e, em última análise, desvendar a complexa teia que compõe a teoria dos grupos moderna.
Ao desenvolver uma compreensão sólida desses blocos de construção fundamentais, pode-se explorar paisagens matemáticas ricas e complexas com um conhecimento fundamental sólido que conecta áreas díspares da matemática em um todo unificado.