Conjunto de teoremas que describen, para un grupo finito y un primo p que divide su orden, la existencia de p-subgrupos de orden máxima potencia de p (subgrupos de Sylow), sus propiedades de conjugación y restricciones congruenciales/contables sobre su número.

Principio

La factorización del orden del grupo en p^k por la parte p′ obliga a la existencia de subgrupos de orden p^k; las propiedades de conjugación y conteo controlan la posición de estos subgrupos en el grupo y cuándo son normales.

Demostración

Si |G|=12=2^2·3, los teoremas de Sylow garantizan subgrupos de orden 4 y 3; la congruencia de conteo restringe el número de subgrupos de Sylow-3 a valores ≡1 (mod 3) y divisores de 4, lo que fuerza unicidad y por tanto normalidad del Sylow-3 en cualquier grupo de orden 12.

Aplicación incorrecta

Asumir las conclusiones de Sylow para grupos infinitos o para primos que no dividen el orden del grupo, o deducir abelianidad de la mera existencia de subgrupos de Sylow; la unicidad implica normalidad pero no conmutatividad.

Consecuencia

Proporciona fuertes restricciones estructurales usadas en argumentos de clasificación: la existencia da subgrupos a estudiar, la conjugación reduce el problema a normalizadores y las restricciones de conteo eliminan órdenes de grupo imposibles.

Inversión

En lugar de centrarse en p-subgrupos, se puede estudiar subgrupos de Hall (órdenes compuestos por un conjunto dado de primos) o complementos de Sylow; las conclusiones estructurales difieren y no se derivan en general de los teoremas de Sylow.

Límite

Se aplica solo a grupos finitos y a primos que dividen el orden del grupo. No describe el tipo de isomorfismo de los subgrupos de Sylow, solo existencia, conjugación y restricciones numéricas por congruencia.

Tensión semántica

Tensión entre la teoría de Sylow y otros resultados de existencia de subgrupos (por ejemplo Sylow vs teoremas de Hall o clasificación de grupos simples): Sylow da información local p-primaria, mientras que la estructura global suele necesitar herramientas adicionales.

Síntesis

Los teoremas de Sylow constituyen el paquete existencia–conjugación–conteo que identifica los subgrupos p-maximales como bloques locales canónicos en el análisis de grupos finitos e impone restricciones aritméticas que guían clasificación y argumentos de normalidad.