Un teorema histórico en teoría de grupos finitos: todo grupo finito de orden impar es resoluble. En particular, no existen grupos finitos simples no abelianos de orden impar. La prueba es extensa y emplea técnicas profundas de teoría de representaciones y análisis local; la afirmación impone una fuerte restricción estructural sobre los grupos finitos simples.

Principio

Principio de resolubilidad por orden impar: la paridad del orden del grupo impone restricciones fuertes sobre los factores de composición y la estructura local de subgrupos; en entornos de orden impar desaparecen ciertos obstáculos a la resolubilidad presentes en órdenes pares, permitiendo argumentos inductivos y basados en caracteres para demostrar la resolubilidad.

Demostración

Aplicación ejemplar: cualquier grupo de orden 21 = 3·7 debe ser resoluble; el análisis de Sylow produce subgrupos de Sylow normales o una estructura de producto semidirecto que es resoluble. El teorema de Feit–Thompson generaliza razonamientos de casos pequeños a todos los órdenes impares.

Aplicación incorrecta

Suponer la recíproca (todo grupo finito resoluble tiene orden impar) o extender el teorema a grupos infinitos. También usarlo para deducir propiedades que requieren hipótesis más fuertes como supersolubilidad o nilpotencia es incorrecto; la resolubilidad es más débil que esas propiedades y no las implica necesariamente.

Consecuencia

Restringe drásticamente los posibles grupos finitos simples a órdenes pares, alimentando esfuerzos de clasificación y permitiendo argumentos estructurales que separan el comportamiento de órdenes impares y pares; simplifica las posibilidades al descartar obstrucciones simples de orden impar.

Inversión

La inversión directa es falsa: existen muchos grupos finitos no resolubles de orden par (por ejemplo grupos simples de orden par). El contraste subraya cómo la presencia del factor 2 es central para la existencia de grupos finitos simples no abelianos.

Límite

Se aplica únicamente a grupos finitos y a la condición de orden impar; no describe la naturaleza de los grupos resolubles de orden impar más allá de la resolubilidad, ni se extiende a grupos infinitos ni a refinamientos como la supersolubilidad salvo que se den hipótesis adicionales.

Tensión semántica

Tensión con otros resultados de finitud como el teorema de Burnside p^a q^b; aunque ambos restringen la simplicidad y resolubilidad, se basan en hipótesis distintas (patrón de factores primos frente a paridad) y tienen alcances diferentes.

Síntesis

El Teorema de Feit–Thompson afirma que todo grupo finito de orden impar es resoluble, excluyendo así grupos finitos simples no abelianos de orden impar y estableciendo una dicotomía estructural basada en la paridad que sustenta resultados de clasificación más profundos.