Stellingen van Sylow
In de groepentheorie, een onderdeel van de wiskunde, geven de stellingen van Sylow informatie over bepaalde ondergroepen van eindige groepen. De stellingen zijn naar Sylow genoemd, een wiskundige uit Noorwegen. Het zijn drie stellingen.
Neem een eindige groep en een priemgetal . We noemen een -ondergroep van iedere ondergroep van waarvan de orde een macht is van . Een -ondergroep van is een -ondergroep, zodat er geen grotere ondergroep van is, ongelijk aan , die ook nog een -ondergroep is van .
Als de orde van niet door een bepaald priemgetal kan worden gedeeld, volgt uit de stelling van Lagrange dat geen -ondergroepen kan hebben.
Als de orde van wel door kan worden gedeeld, geven de stellingen van Sylow informatie over de -ondergroepen van .
-ondergroepen waarbij het priemgetal niet specifiek is gegeven worden in het algemeen Sylow-ondergroepen genoemd.
Geschiedenis
[bewerken | brontekst bewerken]Sylow publiceerde zijn drie stellingen in 1872 in een tien pagina lang artikel dat in de Mathematische Annalen verscheen.[1] Cauchy had toen al bewezen dat een groep, waarvan de orde door een priemgetal kan worden gedeeld, ook altijd een element van orde heeft. Sylow bewees wat misschien wel een van de belangrijkste resultaten is in de theorie van de eindige groepen. Sylow gaf zelf tien jaar later ook het wiskundige bewijs voor zijn stellingen.
Stellingen
[bewerken | brontekst bewerken]Neem en zoals hierboven. Schrijf de orde van als een product waarbij en natuurlijke getallen zijn en niet door kan worden gedeeld.
- Bestaan – heeft een -ondergroep.
- Conjugatie – De -ondergroepen zijn aan elkaar geconjugeerd.
- Aantal – Noem het aantal -ondergroepen van . Dan kan kan door worden gedeeld en is congruent aan .
Opmerkingen
[bewerken | brontekst bewerken]- Er bestaan dus -ondergroepen en ze zijn alle isomorf. Hun orde is in dit geval .
- Een -ondergroep is een normaaldeler dan en slechts dan als het de enige -ondergroep is van .
- Er bestaan elementen volgens de stelling van Cauchy met orde . Het bestaan van -ondergroepen is een sterker resultaat.
Toepassingen
[bewerken | brontekst bewerken]De stellingen kunnen worden gebruikt om informatie over de structuur van een eindige groep te verkrijgen. Bijvoorbeeld,
- Er bestaat precies een groep van orde 15, namelijk de cyclische groep van die orde. Dit kan als volgt worden nagegaan. Zij een groep van orde 15. kan volgens de stelling van Lagrange alleen ondergroepen van 3 en 5 hebben. De triviale groep en zelf worden niet meegeteld. heeft volgens de eerste stelling van Sylow een unieke 3-ondergroep en een unieke 5-ondergroep. Deze ondergroepen zijn normaaldelers. Omdat hun ordes relatief priem zijn, moet de directe som van deze cyclische groepen zijn.
- Een groep van orde is nooit enkelvoudig. Een 3-ondergroep is een echte ondergroep en is uniek, dus ook een normaaldeler, waarmee de stelling is bewezen. Noem het aantal 3-ondergroepen. 2 kan door worden gedeeld en is congruent aan 1 modulo 3. De enige oplossing hiervoor is dat .
- voetnoten
- ↑ L Sylow. Théorèmes sur les groupes de substitutions, 1872. in Mathematische Annalen 5, blz 584–863
- websites