Teorema de Feit–Thompson
Definición
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.