Teoremas de Sylow

En matemáticas, especificamente no campo da teoría de grupos finitos, os **teoremas de Sylow** son unha colección de teoremas chamados así en honra do matemático noruegués Peter Ludwig Sylow  que dan información detallada sobre o número de subgrupos dunha orde fixa que contén un grupo finito dado. Os teoremas de Sylow  forman unha parte fundamental da teoría de grupos finitos e teñen aplicacións moi importantes na clasificación dos grupos simples finitos.

Para un número primo p, un p-grupo é un grupo cuxa cardinalidade é unha potencia de  p ou equivalentemente, a orde de cada elemento do grupo é unha potencia de p. Un p-subgrupo de Sylow   (ás veces dise subgrupo p-**Sylow** ) dun grupo finito  é un  p-subgrupo maximal de G, é dicir, un subgrupo de G que é un p-grupo e non é subgrupo propio de ningún outro p-subgrupo de G. O conxunto de todos os p-subgrupos de Sylow  para un primo dado p denótase ás veces por \text{Syl}_p(G).

Os teoremas de Sylow  establecen un recíproco parcial  do  teorema de Lagrange. O teorema de Lagrange establece que para calquera grupo finito G  a orde (número de elementos) de cada subgrupo de G divide á orde de G. Os teoremas de Sylow  afirman que para cada factor primo *p* da orde dun grupo finito G, existe un  p-subgrupo de Sylow  de orde p^n, a maior potencia  de p  que divide á orde de G. Ademais, cada subgrupo de orde *p^n* é un  *p*-subgrupo de Sylow, e os  p-subgrupos de Sylow dun grupo G (para un primo p dado) son conxugados uns de outros. Ademais, o número de  p-subgrupos de Sylow dun grupo G para un primo p dado  é congruente con 1 (mod p).

## Teoremas 
### Motivación 
Os teoremas de Sylow  son afirmacións moi fortes sobre a estrutura dos grupos en xeral, e teñen tamén moito alcance nas aplicacións da teoría de grupos finitos. Isto é así porque dan un método para utilizar a descomposición prima da cardinalidade dun grupo finito G para facer afirmacións sobre a estrutura dos seus subgrupos: esencialmente, dan unha técnica para transportar información básica da teoría de números sobre un grupo á súa estrutura de grupo. A partir desta observación, clasificar os grupos finitos convírtese nun xogo para descubrir que construcións/combinacións de grupos de orde máis pequena poden ser aplicadas para construír un grupo. Por exemplo, unha aplicación típica destes teoremas é a clasificación dos grupos finitos dalgunha cardinalidade fixa,  por exemplo|G| = 60.

### Enunciado 
As coleccións de subgrupos que son cada un maximal nun sentido ou outro son comúns en teoría de grupos. O resultado sorprendente aquí é que no caso de \operatorname{Syl}_p(G), todos os membros son de feito isomorfos uns aos outros e teñen a orde máis grande posíbel: se |G|=p^nm  con n > 0, onde p  non divide a *m*, entón cada  *p*-subgrupo de Sylow *P*  ten orde  |P| = p^n. Isto é, *P* é un *p*-grupo e \text{mcd}(|G:P|, p) = 1. Estas propiedades poden ser explotadas para analizar a estrutura de G.

Os seguintes teoremas foron propostos e probados por primeira vez por Ludwig Sylow en 1872, e publicados nos *Mathematische Annalen*.

;Teorema (1)
: Para todo factor primo  con  multiplicidade  na orde dun grupo finito , existe un subgrupo de Sylow -subgrupo de , de orde *p^n*.

A seguinte versión máis feble do teorema (1) foi demostrada por primeira vez por Augustin-Louis Cauchy, e é coñecida como o teorema de Cauchy.

**Corolario** — Dado un grupo finito  e un número primo  que divide a orde de , existe un elemento (e polo tanto un subgrupo cíclico xerado por ese elemento) de orde  en '**.

**Teorema (2)** — Dado un grupo finito  e un número primo , todos os -subgrupos de Sylow de  son conxugados entre si. É dicir, se  e  son -subgrupos de Sylow de , entón existe un elemento g \in G tal que g^{-1}Hg = K.

**Teorema (3)'* — Sexa  un factor primo con multiplicidade  na orde dun grupo finito , de xeito que a orde de  pode escribirse como p^n m, onde n > 0 e  non divide a . Sexa n_p o número de -subgrupos de Sylow de . Entón cúmprese:
* n_p divide a , que é o índice do -subgrupo de Sylow en .
* n_p \equiv 1 \pmod{p}
* n_p = |G:N_G(P)|, onde  é calquera -subgrupo de Sylow de  e N_G denota o normalizador.

### Consecuencias 
Os teoremas de Sylow implican que, para un número primo p, todo -subgrupo de Sylow ten a mesma orde, p^n. De maneira recíproca, se un subgrupo ten orde p^n, entón é un -subgrupo de Sylow, e polo tanto é conxugado con todos os demais -subgrupos de Sylow. Pola condición de maximalidade, se H é calquera -subgrupo de , entón H está contido nun -subgrupo de orde p^n.

Unha consecuencia importante do Teorema (2) é que a condición n_p = 1 é equivalente a que o -subgrupo de Sylow de  sexa un subgrupo normal (o Teorema (3) pode a miúdo demostrar que n_p = 1). Porén, existen grupos que teñen subgrupos normais propios non triviais pero ningún subgrupo de Sylow normal, como S_4. Os grupos de orde potencia dun primo non teñen subgrupos de Sylow propios.

O terceiro punto do Teorema (3) ten como consecuencia inmediata que n_p divide a |G|.

### Teoremas de Sylow para grupos infinitos 
Existe un análogo dos teoremas de Sylow para grupos infinitos. Defínese un -subgrupo de Sylow nun grupo infinito como un *p*-subgrupo (é dicir, todo elemento ten orde potencia de ) que é maximal por inclusión entre todos os -subgrupos do grupo. Sexa \operatorname{Cl}(K) o conxunto dos conxugados dun subgrupo K \subset G.

**Teorema** — Se  é un -subgrupo de Sylow de , e n_p = |\operatorname{Cl}(K)| é finito, entón todo -subgrupo de Sylow é conxugado con , e n_p \equiv 1 \pmod{p}.

## Exemplos 
miniatura|En *D*6 todas as reflexións son conxugadas, pois corresponden a 2-subgrupos de Sylow.

miniatura|esquerda|En *D*12 as reflexións xa non corresponden a 2-subgrupos de Sylow, e caen en dúas clases de conxugación.Unha ilustración simple dos subgrupos de Sylow e dos teoremas de Sylow é o grupo diedral do *n*-gono, *D*2*n*. Para *n* impar, 2 = 21 é a maior potencia de 2 que divide a orde, e polo tanto os subgrupos de orde 2 son subgrupos de Sylow. Estes son os grupos xerados por unha reflexión, dos cales hai *n*, e todos eles son conxugados por rotacións; xeometricamente os eixes de simetría pasan por un vértice e por un lado.

Pola contra, se *n* é par, entón 4 divide a orde do grupo, e os subgrupos de orde 2 xa non son subgrupos de Sylow; de feito divídense en dúas clases de conxugación, xeometricamente segundo se pasan por dous vértices ou por dúas caras. Estas están relacionadas por un automorfismo externo, que pode representarse por unha rotación de π/*n*, a metade da rotación mínima no grupo diedral.

Outro exemplo son os -subgrupos de Sylow de *GL*2(*F**q*), onde *p* e *q* son números primos&nbsp;≥&nbsp;3 e  , que son todos abelianos. A orde de *GL*2(*F**q*) é . Como , a orde de . Polo Teorema&nbsp;1, a orde dos -subgrupos de Sylow é *p*2*n*.

Un deses subgrupos, *P*, é o conxunto de matrices diagonais \begin{bmatrix}x^{im} & 0 \\0 & x^{jm} \end{bmatrix}, onde *x* é unha raíz primitiva de *F**q*. Como a orde de *F**q* é , as súas raíces primitivas teñen orde *q* − 1, o que implica que  ou *x**m* e todas as súas potencias teñen orde que é unha potencia de *p*. Así, *P* é un subgrupo no que todos os seus elementos teñen orde potencia de *p*. Hai *pn* eleccións posibles para *a* e *b*, o que dá . Isto significa que *P* é un -subgrupo de Sylow, que é abeliano porque todas as matrices diagonais conmutan, e como o Teorema (2) afirma que todos os -subgrupos de Sylow son conxugados entre si, os -subgrupos de Sylow de *GL*2(*F**q*) son todos abelianos.

## Exemplos de aplicación 
Como o teorema de Sylow garante a existencia de -subgrupos dun grupo finito, resulta útil estudar con máis detalle os grupos de orde potencia dun primo. A maioría dos exemplos empregan o teorema de Sylow para demostrar que un grupo dunha orde particular non é simple. Para grupos de orde pequena, a condición de congruencia do teorema de Sylow é a miúdo suficiente para forzar a existencia dun subgrupo normal. 

;Exemplo-1: Grupos de orde *pq*, con *p* e *q* primos e *p*&nbsp;2*q*, con *p* e *q* primos distintos, son algunhas das aplicacións. 
;Exemplo-3: (Grupos de orde 60): Se a orde |*G*|&nbsp;=&nbsp;60 e *G* ten máis dun 5-subgrupo de Sylow, entón *G* é simple.

### Ordes de grupos cíclicos 
Algúns números non primos *n* teñen a propiedade de que todo grupo de orde *n* é cíclico. Pode demostrarse que *n* = 15 é un destes números empregando os teoremas de Sylow: sexa *G* un grupo de orde 15 = 3 · 5 e sexa *n*3 o número de 3-subgrupos de Sylow. Entón *n*3 \mid 5 e *n*3 ≡ 1 (mod 3). O único valor que satisfai estas condicións é 1; polo tanto, só hai un subgrupo de orde 3, e debe ser normal (xa que non ten conxugados distintos). Do mesmo xeito, *n*5 debe dividir 3, e *n*5 ≡ 1 (mod 5); así que tamén debe haber un único subgrupo normal de orde 5. Como 3 e 5 son coprimos, a intersección destes dous subgrupos é trivial, e polo tanto *G* debe ser o produto directo interno de grupos de orde 3 e 5, é dicir, o grupo cíclico de orde 15. Así, só existe un grupo de orde 15 (agás isomorfismo).

### Os grupos pequenos non son simples 
Un exemplo máis complexo implica a orde do grupo simple máis pequeno  que non é cíclico. O teorema de Burnside sobre grupos *p^a q^b* establece que se a orde dun grupo é o produto dunha ou dúas potencias primas, entón o grupo é resoluble, e polo tanto o grupo non é simple, ou ben é de orde prima e cíclico. Isto descarta todos os grupos de orde ata 30 .

Se *G* é simple, e |*G*| = 30, entón *n*3 debe ser divisor de 10 ( = 2 · 5), e *n*3 ≡ 1 (mod 3). Polo tanto, *n*3 = 10, xa que nin 4 nin 7 dividen a 10, e se *n*3 = 1, como antes, *G* tería un subgrupo normal de orde 3 e non podería ser simple. *G* ten daquela 10 subgrupos cíclicos distintos de orde 3, cada un con 2 elementos de orde 3 (máis a identidade). Isto significa que *G* ten polo menos 20 elementos distintos de orde 3.

Así mesmo, *n*5 = 6, xa que *n*5 debe dividir a 6 ( = 2 · 3), e *n*5 ≡ 1 (mod 5). Polo tanto, *G* ten tamén 24 elementos distintos de orde 5. Mais a orde de *G* é só 30, de xeito que non pode existir un grupo simple de orde 30.

Pola súa parte, se |*G*| = 42 = 2 · 3 · 7, entón *n*7 debe dividir a 6 ( = 2 · 3) e *n*7 ≡ 1 (mod 7), o que forza *n*7 = 1. Polo tanto, como antes, *G* non pode ser simple.

En cambio, para |*G*| = 60 = 22 · 3 · 5, é perfectamente posíbel que *n*3 = 10 e *n*5 = 6. E de feito, o grupo simple máis pequeno  non cíclico é *A*5, o grupo alternante sobre 5 elementos. Ten orde 60, e posúe 24 permutacións cíclicas de orde 5, e 20 de orde 3.

### Teorema de Wilson 
Parte do teorema de Wilson afirma que

:(p-1)! \equiv -1 \pmod p

para todo número primo *p*. Pode demostrarse facilmente este teorema a partir do terceiro teorema de Sylow. En efecto,  
o número *np* de -subgrupos de Sylow  
no grupo simétrico *Sp* é  veces o número de *p*-ciclos en *Sp*, é dicir, . Por outra banda, . Polo tanto, . Así, .

### Resultados de fusión 
O argumento de Frattini mostra que un subgrupo de Sylow dun subgrupo normal fornece unha factorización dun grupo finito.  
Unha pequena xeneralización coñecida como o **teorema de fusión de Burnside** establece que se *G* é un grupo finito cun -subgrupo de Sylow *P* e dous subconxuntos *A* e *B* normalizados por *P*, entón *A* e *B* son conxugados en *G* se e só se son conxugados en *NG*(*P*).  
A demostración é unha aplicación sinxela do teorema de Sylow: se *B*=*Ag*, entón o normalizador de *B* contén non só a *P* senón tamén a  *Pg* (pois *Pg* está contido no normalizador de *Ag*). Polo teorema de Sylow *P* e *Pg* son conxugados non só en *G*, senón tamén no normalizador de *B*. Así, *gh*−1 normaliza a *P* para algún *h* que normaliza a *B*, e daquela *A**gh*−1 = *B*h−1 = *B*, polo que *A* e *B* son conxugados en *NG*(*P*).  
O teorema de fusión de Burnside pode empregarse para obter unha factorización máis potente chamada produto semidirecto: se *G* é un grupo finito cuxo -subgrupo de Sylow *P* está contido no centro do seu normalizador, entón *G* ten un subgrupo normal *K* de orde coprima con *P*, con *G* = *PK* e *P*∩*K* = {1}, é dicir, *G* é *p*-nilpotente.

As aplicacións menos triviais dos teoremas de Sylow inclúen o teorema do subgrupo focal, que estuda o control que un -subgrupo de Sylow do subgrupo derivado exerce sobre a estrutura de todo o grupo. Este control explótase en varias etapas da clasificación dos grupos simples finitos, e por exemplo define as divisións de casos empregadas no teorema de Alperin–Brauer–Gorenstein, que clasifica os grupos simples finitos cuxo 2-subgrupo de Sylow é un grupo cuasi-diedral. Estes resultados dependen do reforzo feito por J. L. Alperin da parte de conxugación do teorema de Sylow, para controlar que tipos de elementos se empregan na conxugación.

## Algoritmos 
O problema de atopar un subgrupo de Sylow dun grupo dado é un problema importante na teoría computacional de grupos.

Unha das demostracións da existencia de -subgrupos de Sylow é construtiva: se *H* é un -subgrupo de *G* e o índice [*G*:*H*] é divisíbel por *p*, entón o normalizador *N* = *NG*(*H*) de *H* en *G* tamén cumpre que [*N*:*H*] é divisíbel por *p*. Noutras palabras, pódese atopar un sistema de xeradores policíclico dun -subgrupo de Sylow a partir de calquera -subgrupo *H* (incluída a identidade) tomando elementos de orde potencia de *p* contidos no normalizador de *H* pero non en *H* mesmo. A versión algorítmica disto (e moitas melloras) descríbese en forma de manual en Butler, incluíndo o algoritmo descrito en Cannon. Estas versións seguen empregándose no sistema de álxebra computacional GAP.

En grupos de permutacións, está demostrado, en Kantor e Kantor e Taylor,, que un -subgrupo de Sylow e o seu normalizador poden atoparse en tempo polinómico respecto á entrada (o grao do grupo multiplicado polo número de xeradores). Estes algoritmos descríbense en forma de manual en Seress, e están a facerse prácticos a medida que o recoñecemento construtivo de grupos simples finitos se converte nunha realidade. En particular, versións deste algoritmo úsanse no sistema de álxebra computacional Magma.

## Notas 
## Véxase tamén 
### Bibliografía 
#### Demostracións 
* 
* 
* 
* 
* 
* 
* 

#### Algoritmos 
* 
* 
* 
* 
* 
* 
* 
### Outros artigos 
* Argumento de Frattini
* Subgrupo de Hall
* Subgrupo maximal
* Conxectura de McKay
* p-grupo

### Ligazóns externas 
* 
* * *The Sylow Theorems'' en Wikibooks en inglés
* 
*