Doutorado

DoutoradoCompreendendo ÁlgebraTeoria 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

Sim H

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.


Doutorado → 1.1.4


U
username
0%
concluído em Doutorado


Comentários