Skupinové pořadí

Pořadí grupy  je mohutnost nositele grupy , to znamená pro konečné grupy  počet prvků ve skupině. Označeno nebo .

Pro konečné grupy je spojení mezi řádem grupy a její podgrupou stanoveno Lagrangeovým teorémem : řád grupy se rovná řádu kterékoli z jejích podgrup , vynásobené jejím indexem  – počtem její levé nebo pravé strany . cosety:

.

Důležitým výsledkem o uspořádáních skupin je třídní rovnice , která dává do souvislosti pořadí konečné grupy s řádem jejího středu a velikostí jejích netriviálních tříd konjugace :

,

kde jsou velikosti netriviálních tříd konjugace. Například střed symetrické grupy je jen triviální grupou jednoho neutrálního prvku a rovnice se stává .

Pořadí prvků konečných grup rozděluje jeho grupový řád. Z Cauchyho věty o teorii grup vyplývá , že řád grupy je mocninou prvočíselného celého čísla právě tehdy, je-li řád některého z jejích prvků určitou mocninou [1] .

Poznámky

  1. Keith Conrad. Důsledky Cauchyho věty.

Literatura