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 , un -grupo é un grupo cuxa cardinalidade é unha potencia de ou equivalentemente, a orde de cada elemento do grupo é unha potencia de . Un -subgrupo de Sylow (ás veces dise subgrupo -Sylow ) dun grupo finito é un -subgrupo maximal de , é dicir, un subgrupo de que é un -grupo e non é subgrupo propio de ningún outro -subgrupo de . O conxunto de todos os -subgrupos de Sylow para un primo dado denótase ás veces por .
Os teoremas de Sylow establecen un recíproco parcial do teorema de Lagrange. O teorema de Lagrange establece que para calquera grupo finito a orde (número de elementos) de cada subgrupo de divide á orde de . Os teoremas de Sylow afirman que para cada factor primo da orde dun grupo finito , existe un -subgrupo de Sylow de orde , a maior potencia de que divide á orde de . Ademais, cada subgrupo de orde é un -subgrupo de Sylow, e os -subgrupos de Sylow dun grupo (para un primo dado) son conxugados uns de outros. Ademais, o número de -subgrupos de Sylow dun grupo para un primo dado é congruente con 1 (mod ).
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 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.
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 , todos os membros son de feito isomorfos uns aos outros e teñen a orde máis grande posíbel: se con , onde non divide a m, entón cada p-subgrupo de Sylow P ten orde . Isto é, P é un p-grupo e . 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 .
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 tal que .
Teorema (3) — Sexa un factor primo con multiplicidade na orde dun grupo finito , de xeito que a orde de pode escribirse como , onde e non divide a . Sexa o número de -subgrupos de Sylow de . Entón cúmprese: divide a , que é o índice do -subgrupo de Sylow en .
, onde é calquera -subgrupo de Sylow de e denota o normalizador. Consecuencias
Os teoremas de Sylow implican que, para un número primo , todo -subgrupo de Sylow ten a mesma orde, . De maneira recíproca, se un subgrupo ten orde , entón é un -subgrupo de Sylow, e polo tanto é conxugado con todos os demais -subgrupos de Sylow. Pola condición de maximalidade, se é calquera -subgrupo de , entón está contido nun -subgrupo de orde .
Unha consecuencia importante do Teorema (2) é que a condición é equivalente a que o -subgrupo de Sylow de sexa un subgrupo normal (o Teorema (3) pode a miúdo demostrar que ). Porén, existen grupos que teñen subgrupos normais propios non triviais pero ningún subgrupo de Sylow normal, como . 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 divide a .
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 o conxunto dos conxugados dun subgrupo .
Teorema — Se é un -subgrupo de Sylow de , e é finito, entón todo -subgrupo de Sylow é conxugado con , e .
Exemplos miniatura|En D6 todas as reflexións son conxugadas, pois corresponden a 2-subgrupos de Sylow.
miniatura|esquerda|En D12 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, D2n. 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 GL2(Fq), onde p e q son números primos ≥ 3 e , que son todos abelianos. A orde de GL2(Fq) é . Como , a orde de . Polo Teorema 1, a orde dos -subgrupos de Sylow é p2n.
Un deses subgrupos, P, é o conxunto de matrices diagonais , onde x é unha raíz primitiva de Fq. Como a orde de Fq é , as súas raíces primitivas teñen orde q − 1, o que implica que ou xm 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 GL2(Fq) 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 < q. Exemplo-2 Grupo de orde 30, grupos de orde 20, grupos de orde p2q, con p e q primos distintos, son algunhas das aplicacións. Exemplo-3 (Grupos de orde 60): Se a orde |G| = 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 n3 o número de 3-subgrupos de Sylow. Entón n3 5 e n3 ≡ 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, n5 debe dividir 3, e n5 ≡ 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 n3 debe ser divisor de 10 ( = 2 · 5), e n3 ≡ 1 (mod 3). Polo tanto, n3 = 10, xa que nin 4 nin 7 dividen a 10, e se n3 = 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, n5 = 6, xa que n5 debe dividir a 6 ( = 2 · 3), e n5 ≡ 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 n7 debe dividir a 6 ( = 2 · 3) e n7 ≡ 1 (mod 7), o que forza n7 = 1. Polo tanto, como antes, G non pode ser simple.
En cambio, para |G| = 60 = 22 · 3 · 5, é perfectamente posíbel que n3 = 10 e n5 = 6. E de feito, o grupo simple máis pequeno non cíclico é A5, 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
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 Agh−1 = Bh−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.