Tríada de resultados fundamentales sobre p-subgrupos en grupos finitos: existencia (para un primo p que divide el orden del grupo existe un subgrupo de orden p^n donde p^n es la máxima potencia de p que divide |G|), conjugación (todos los p-subgrupos de Sylow son conjugados) y conteo (el número n_p de p-subgrupos de Sylow satisface n_p ≡ 1 (mod p) y divide la parte p′ de |G|). Estos teoremas restringen la estructura de subgrupos en grupos finitos.

Principio

La teoría de Sylow combina argumentos de conteo y acciones de grupo sobre espacios de cosets: los subgrupos p-máximos existen por existencia tipo Cauchy y son, hasta conjugación, equivalentes; las acciones de grupo y el teorema órbita-estabilizador proporcionan condiciones de congruencia y divisibilidad sobre el número de tales subgrupos.

Demostración

Ejemplo: un grupo G de orden 12 = 2^2·3 tiene subgrupos de Sylow-3 de orden 3; el número n_3 divide 4 y satisface n_3 ≡ 1 (mod 3), así que n_3 = 1, lo que implica que el subgrupo de Sylow-3 único es normal. Esto restringe inmediatamente las estructuras posibles para grupos de orden 12.

Aplicación incorrecta

Tratar los subgrupos de Sylow como automáticamente normales o únicos sin comprobar la condición de conteo. Por ejemplo, suponer que cada subgrupo de Sylow-p es normal conduce a descomposiciones erróneas; otro mal uso es aplicar conclusiones de Sylow a grupos infinitos o a órdenes de subgrupos que no sean potencias máximas de p.

Consecuencia

Proporciona herramientas potentes para clasificar grupos finitos y reducir problemas de estructura de grupos al análisis de p-subgrupos y sus clases de conjugación. Las restricciones de Sylow suelen ser el primer paso para clasificar grupos de orden pequeño y para probar la existencia de complementos p-normales bajo hipótesis adicionales.

Inversión

La perspectiva inversa estudia p′-subgrupos o subgrupos de Hall (subgrupos cuyo orden es coprimo con p); mientras los teoremas de Sylow garantizan existencia y conjugación para subgrupos de orden potencia p máxima, la existencia análoga para subgrupos de Hall requiere hipótesis más fuertes y no se cumple en general en grupos finitos.

Límite

Se aplica solo a grupos finitos y a primos p que dividen el orden del grupo. No afirma estructura para subgrupos de orden arbitrario, para grupos infinitos, ni garantiza normalidad salvo cuando el conteo fuerza unicidad (n_p = 1).

Tensión semántica

Tensión semántica entre subgrupos de Sylow y otras nociones de maximalidad: los subgrupos p-de Sylow son máximos entre los p-subgrupos pero no tienen por qué ser únicos o característicos; contrastan con subgrupos normales p, subgrupos de Hall y el subgrupo de Fitting cuya existencia o unicidad requieren condiciones diferentes.

Síntesis

Los Teoremas de Sylow establecen que para cada primo p que divide |G| existen subgrupos de orden p^n máximo, todos los subgrupos de Sylow p son conjugados, y su número satisface restricciones de congruencia y divisibilidad; estos resultados controlan la estructura p-local de los grupos finitos y son fundamentales para su análisis.