Teoremas de Sylow

Los teoremas de Sylow describen los subgrupos de un grupo finito cuyo orden es la mayor potencia de un primo dado que divide el orden del grupo, garantizando su existencia, conjugación y un conteo preciso.

Definition

Para un primo p y un grupo finito G cuyo orden es p^k veces un entero coprimo con p, un p-subgrupo de Sylow es un subgrupo de orden p^k. Los teoremas de Sylow afirman que tales subgrupos existen, que todos son conjugados y que su número es congruente con 1 módulo p y divide el índice.

Scope

Este tema cubre la definición de un p-subgrupo de Sylow, los tres teoremas de Sylow sobre la existencia, la conjugación y el número de subgrupos de Sylow, y sus aplicaciones estándar para demostrar la no simplicidad y la clasificación de grupos finitos pequeños.

Core questions

• ¿Siempre existen subgrupos de orden potencia de primo maximal en un grupo finito?
• ¿Cómo se relacionan dos p-subgrupos de Sylow cualesquiera?
• ¿Qué restricciones impone el conteo de p-subgrupos de Sylow a la estructura del grupo?
• ¿Cómo se utilizan los teoremas de Sylow para demostrar que grupos de ciertos órdenes no son simples?

Key theories

Primer teorema de Sylow (existencia)

Si p^k es la mayor potencia del primo p que divide el orden de un grupo finito, entonces el grupo contiene al menos un subgrupo de orden p^k.

Segundo teorema de Sylow (conjugación)

Todos los p-subgrupos de Sylow de un grupo finito son conjugados entre sí, y cada p-subgrupo está contenido en algún p-subgrupo de Sylow.

Tercer teorema de Sylow (número)

El número de p-subgrupos de Sylow es congruente con 1 módulo p y divide el índice de un p-subgrupo de Sylow, restringiendo drásticamente cuántos puede haber.

Clinical relevance

Los teoremas de Sylow son la herramienta principal para analizar la estructura de grupos finitos: al contar los subgrupos de Sylow, frecuentemente se demuestra que debe existir un subgrupo normal, probando que grupos de muchos órdenes no pueden ser simples, un paso clave hacia la clasificación de grupos simples finitos.

History

Ludwig Sylow demostró estos teoremas en 1872, extendiendo el resultado anterior de Cauchy de que un primo que divide el orden del grupo fuerza la existencia de un elemento de ese orden. Frobenius posteriormente proporcionó pruebas válidas para grupos abstractos, y los teoremas se convirtieron en fundamentales para la teoría de grupos finitos.

Key figures

• Ludwig Sylow
• Augustin-Louis Cauchy
• Georg Frobenius

Seminal works

• dummit2004
• rotman1995
• isaacs2008

Frequently asked questions

¿Qué es un p-subgrupo de Sylow intuitivamente?

Es un subgrupo que captura todo el primo p que contiene el orden del grupo: su tamaño es la potencia completa de p que divide el orden del grupo. Los teoremas dicen que tales p-subgrupos maximales siempre existen y son esencialmente únicos salvo conjugación.

¿Cómo demuestran los teoremas que un grupo no es simple?

Si las condiciones de congruencia y divisibilidad fuerzan que el número de p-subgrupos de Sylow sea exactamente uno, ese subgrupo es normal, por lo que el grupo tiene un subgrupo normal propio no trivial y no puede ser simple.