Grupo Solúvel

Um grupo solúvel é aquele que pode ser construído a partir de peças abelianas através de uma cadeia de subgrupos normais, uma propriedade estrutural que governa se equações polinomiais são solúveis por radicais.

Definition

Um grupo é solúvel se possui uma série subnormal finita cujos grupos quocientes sucessivos são todos abelianos, ou equivalentemente, se sua série derivada termina no subgrupo trivial.

Scope

Este tópico abrange a série derivada e os subgrupos comutadores, séries subnormais com fatores abelianos, a equivalência das várias definições de solubilidade, grupos nilpotentes como uma condição mais forte, e o papel dos grupos solúveis na teoria de Galois.

Core questions

• O que significa construir um grupo a partir de camadas abelianas?
• Como a série derivada e a série subnormal caracterizam a solubilidade?
• Quais famílias padrão de grupos são solúveis e quais não são?
• Por que a solubilidade é a condição decisiva para resolver equações por radicais?

Key theories

Caracterização por série derivada

Um grupo é solúvel exatamente quando sua série derivada, obtida pela iteração do subgrupo comutador, atinge o grupo trivial em um número finito de passos.

Propriedades de fechamento de grupos solúveis

Subgrupos e grupos quocientes de grupos solúveis são solúveis, e uma extensão de um grupo solúvel por um grupo solúvel é solúvel, de modo que a solubilidade é preservada sob as operações estruturais padrão.

Solubilidade e radicais

Um polinômio sobre um corpo de característica zero é solúvel por radicais se e somente se seu grupo de Galois é um grupo solúvel, o critério que prova que a quíntica geral não pode ser resolvida por radicais.

Clinical relevance

Grupos solúveis são a obstrução precisa na teoria das equações: o critério de Galois conecta a solubilidade de um grupo à solubilidade de polinômios por radicais. O conceito também organiza a teoria de grupos finitos, onde o teorema de Feit-Thompson mostra que todo grupo de ordem ímpar é solúvel.

History

A noção surgiu do estudo de Galois sobre quais equações são solúveis por radicais, onde 'solúvel' originalmente se referia à equação; a propriedade teórica de grupos correspondente manteve o nome. O teorema de Feit-Thompson de 1963, que todos os grupos de ordem ímpar são solúveis, foi um marco na classificação de grupos simples finitos.

Key figures

• Évariste Galois
• Walter Feit
• John G. Thompson

Seminal works

• dummit2004
• rotman1995
• isaacs2008

Frequently asked questions

Qual a diferença entre grupos solúveis e nilpotentes?

Grupos nilpotentes possuem uma série central e formam uma classe estritamente menor; todo grupo nilpotente é solúvel, mas não o inverso. Grupos nilpotentes finitos são exatamente produtos diretos de seus subgrupos de Sylow.

Por que o grupo simétrico em cinco letras não é solúvel?

Sua série derivada estabiliza no grupo alternado não trivial em cinco letras, que é simples e não abeliano, de modo que a série nunca atinge o subgrupo trivial. Essa não-solubilidade é a razão pela qual a quíntica geral não possui uma fórmula radical.