Grupo Resoluble

Un grupo resoluble es aquel que puede construirse a partir de piezas abelianas a través de una cadena de subgrupos normales, una propiedad estructural que rige si las ecuaciones polinómicas son resolubles por radicales.

Definition

Un grupo es resoluble si tiene una serie subnormal finita cuyos grupos cociente sucesivos son todos abelianos, o equivalentemente, si su serie derivada termina en el subgrupo trivial.

Scope

Este tema abarca las series derivadas y los subgrupos conmutadores, las series subnormales con factores abelianos, la equivalencia de las diversas definiciones de resolubilidad, los grupos nilpotentes como una condición más fuerte y el papel de los grupos resolubles en la teoría de Galois.

Core questions

• ¿Qué significa construir un grupo a partir de capas abelianas?
• ¿Cómo caracterizan la resolubilidad las series derivadas y las series subnormales?
• ¿Qué familias estándar de grupos son resolubles y cuáles no lo son?
• ¿Por qué la resolubilidad es la condición decisiva para resolver ecuaciones por radicales?

Key theories

Caracterización por series derivadas

Un grupo es resoluble exactamente cuando su serie derivada, obtenida al iterar el subgrupo conmutador, alcanza el grupo trivial en un número finito de pasos.

Propiedades de cierre de los grupos resolubles

Los subgrupos y los grupos cociente de grupos resolubles son resolubles, y una extensión de un grupo resoluble por un grupo resoluble es resoluble, por lo que la resolubilidad se conserva bajo las operaciones estructurales estándar.

Resolubilidad y radicales

Un polinomio sobre un cuerpo de característica cero es resoluble por radicales si y solo si su grupo de Galois es un grupo resoluble, el criterio que demuestra que la quíntica general no puede resolverse por radicales.

Clinical relevance

Los grupos resolubles son la obstrucción precisa en la teoría de ecuaciones: el criterio de Galois conecta la resolubilidad de un grupo con la resolubilidad de polinomios por radicales. El concepto también organiza la teoría de grupos finitos, donde el teorema de Feit-Thompson demuestra que todo grupo de orden impar es resoluble.

History

La noción surgió del estudio de Galois sobre qué ecuaciones son resolubles por radicales, donde 'resoluble' se refería originalmente a la ecuación; la propiedad teórica de grupos correspondiente mantuvo el nombre. El teorema de Feit-Thompson de 1963, que establece que todos los grupos de orden impar son resolubles, fue un hito en la clasificación de grupos simples finitos.

Key figures

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

Seminal works

• dummit2004
• rotman1995
• isaacs2008

Frequently asked questions

¿Cuál es la diferencia entre grupos resolubles y nilpotentes?

Los grupos nilpotentes tienen una serie central y forman una clase estrictamente más pequeña; todo grupo nilpotente es resoluble, pero no a la inversa. Los grupos nilpotentes finitos son exactamente productos directos de sus subgrupos de Sylow.

¿Por qué el grupo simétrico de cinco letras no es resoluble?

Su serie derivada se estabiliza en el grupo alternante no trivial de cinco letras, que es simple y no abeliano, por lo que la serie nunca alcanza el subgrupo trivial. Esta no resolubilidad es la razón por la que la quíntica general no tiene una fórmula radical.