În teoria grupurilor , teoremele lui Sylov sunt o versiune incompletă a teoremei inverse cu teorema lui Lagrange și, pentru unii divizori de ordinul grupului G, garantează existența subgrupurilor de acest ordin. Teoremele au fost demonstrate de matematicianul norvegian Sylov în 1872 .
Fie un grup finit și fie un număr prim care împarte ordinul lui . Subgrupurile de ordine sunt numite -subgrupuri .
Să evidențiem gradul maxim de , adică unde nu este divizibil cu , din ordinea grupului . Atunci un subgrup Sylow este un subgrup de ordin .
Să fie un grup finit. Apoi:
Dacă toți divizorii , cu excepția lui 1, după împărțirea la dau un rest altul decât unitatea, atunci există un subgrup Sylow unic și este normal (și chiar caracteristic ).
De exemplu: Să demonstrăm că grupul de ordin 350 nu poate fi simplu . , deci subgrupul Sylow 5 are ordinul 25. trebuie să împartă 14 și este congruent cu 1 modulo 5. Aceste condiții sunt îndeplinite numai de identitate. Prin urmare, într -un singur subgrup Sylow 5, ceea ce înseamnă că este normal și, prin urmare, nu poate fi simplu.
Fie divizorul primar al ordinului .
1. Demonstrăm teorema prin inducție de ordinul . Când teorema este adevărată. Lasă acum . Să fie centrul grupului . Sunt posibile două cazuri:
a) împarte . Apoi, există un grup ciclic la centru (ca element al descompunerii primare a centrului) care este normal în . Grupul de coeficient din acest grup ciclic are un ordin mai mic decât , prin urmare, prin ipoteza de inducție, conține un subgrup Sylow . Să luăm în considerare prototipul său în . Va fi subgrupul Sylow de care avem nevoie .
b) nu împarte . Apoi luați în considerare împărțirea în clase de conjugație : (deoarece dacă un element se află în centru, atunci clasa sa de conjugație constă numai din el). Ordinea este divizibilă cu , deci trebuie să existe o clasă a cărei ordine nu este divizibilă cu . Centralizatorul corespunzător are ordine , . Prin urmare, prin ipoteza de inducție, există un Sylow -subgrup în el - va fi cel dorit.
2. Fie un -subgrup arbitrar de . Luați în considerare acțiunea sa asupra setului de clase din stânga prin deplasări la stânga, unde este un subgrup Sylow . Numărul de elemente ale oricărei orbite non-triviale trebuie să fie divizibil cu . Dar nu este divizibil cu , ceea ce înseamnă că acțiunea are un punct fix . Obținem , și, prin urmare, , adică se află în întregime într-un subgrup Sylow .
Dacă, în plus, este un subgrup Sylow , atunci este conjugat cu .
3. Numărul de subgrupuri p Sylow este [G:N G (P)], deci împarte |G|. După teorema 2, mulțimea tuturor subgrupurilor p Sylow este X = {gPg -1 }. Se consideră acțiunea lui P asupra X prin conjugări. Fie H din X un punct fix sub această acțiune. Atunci P și H aparțin normalizatorului subgrupului H și, în plus, sunt conjugați în N G (H) ca subgrupele sale Sylow p. Dar H este normal în normalizatorul său, deci H = P și singurul punct fix de acțiune este P. Deoarece ordinele tuturor orbitelor netriviale sunt multiple ai p, obținem .
Problema găsirii unui subgrup Sylow dintr-un grup dat este o problemă importantă în teoria grupurilor computaționale . Pentru grupurile de permutare, William Cantor a demonstrat că un p -subgrup Sylow poate fi găsit în timp polinomial în dimensiunea problemei (în acest caz, ordinea grupului , ori numărul generatorilor ).