Ero sivun ”Ratkeava ryhmä” versioiden välillä

[arvioimaton versio][arvioimaton versio]
Poistettu sisältö Lisätty sisältö
Urtis (keskustelu | muokkaukset)
p virheiden korjaus
Urtis (keskustelu | muokkaukset)
p abelin ryhmät ratkeaviin
Rivi 8:
 
==Ratkeavia ja ratkeamattomia ryhmiä==
* '''[[Symmetrinen ryhmä]]''' <i>S<sub>n</sub></i> on ratkeava tarkalleen silloin, kun 1 &le; <i>n</i> &le; 4.
* '''Äärellinen ryhmä''' on ratkeava tarkalleen silloin, kun sen kompositiotekijät ovat [[syklinen ryhmä|syklisiä ryhmiä]], joiden kertaluku on [[alkuluku]].
**Jos erityisesti äärellisen ryhmän kertaluku on jonkin alkuluvun potenssi (ks. [[p-ryhmä]]), niin ryhmä on ratkeava.
**[[Burnsiden lause]]en mukaan äärellinen ryhmä <i>G</i>, jonka kertaluku on muotoa#<i>G</i> = <i>p<sup>a</sup>q<sup>b</sup></i>, missä <i>p</i> ja <i>q</i> ovat alkulukuja on aina ratkeava.
**[[Burnsiden otaksuma]]n (todistettu oikeaksi v.1963) mukaan jokainen äärellinen paritonta kertalukua oleva ryhmä on ratkeava.
**Kolmella alkuluvulla jaollinen ryhmä ei aina ole ratkeva. Edellisen kohdan perusteella kertaluvun on tällöin oltava parillinen.
*[[Abelin ryhmä]]t ovat aina ratkeavia, sillä niillä <i>G'</i> = {1}.