Un conjunto de tres resultados fundamentales sobre p-subgrupos de un grupo finito: existencia (hay un subgrupo de orden igual a la mayor potencia de un primo p que divide el orden del grupo), conjugación (todos esos subgrupos p-maximales son conjugados) y conteo (el número de tales subgrupos satisface restricciones de congruencia y divisibilidad).

Principio

Los subgrupos p-maximales en un grupo finito existen, están relacionados por conjugación y su cantidad está limitada por condiciones aritméticas derivadas del orden del grupo.

Demostración

En el grupo simétrico S3 de orden 6 y p = 3 existe un subgrupo de orden 3 (el generado por una 3-ciclo); todos los subgrupos de orden 3 son conjugados en S3, y su número es congruente con 1 módulo 3 y divide 2, por lo que hay exactamente un subgrupo de Sylow 3, que así resulta normal.

Aplicación incorrecta

Tratar la unicidad de un subgrupo de Sylow p como suficiente para concluir propiedades estructurales más amplias sin comprobar las hipótesis, o intentar aplicar las afirmaciones de Sylow a grupos infinitos o a divisores del orden que no sean potencias de un primo.

Consecuencia

Impone fuertes restricciones sobre la estructura posible de los grupos: la existencia aporta subgrupos para estudiar, la conjugación permite centrarse en un representante, y el conteo limita las configuraciones posibles, conduciendo a menudo a la existencia de subgrupos normales o a descomposiciones en productos semidirectos.

Inversión

Invertir los teoremas sería afirmar la inexistencia de subgrupos p-maximales, la ausencia de conjugación o la falta de restricciones aritméticas sobre su número; tal situación aparece en grupos infinitos o si faltan las hipótesis de potencias de p, lo que muestra la necesidad de las condiciones dadas.

Límite

Se aplican solo a grupos finitos y a subgrupos con orden potencia de un primo p que divide el orden del grupo; no afirman nada sobre subgrupos de orden no potencia de primo ni sobre grupos infinitos o topológicos sin hipótesis adicionales.

Tensión semántica

El término 'subgrupo de Sylow p' a veces se confunde con 'subgrupo p-maximal' por inclusión; formalmente, un Sylow p-subgrupo tiene orden igual a la máxima potencia de p que divide |G|, mientras que 'máximo por inclusión' puede diferir fuera del contexto finito, con lo que la distinción importa en generalizaciones.

Síntesis

Los teoremas de Sylow forman una herramienta compacta: garantizan la existencia de subgrupos p-maximales en grupos finitos, muestran que todos son conjugados y establecen restricciones aritméticas sobre su número, facilitando deducciones concretas sobre la estructura del grupo.