Csoportos rendelés

A csoport sorrendje a csoport hordozójának  számossága , azaz véges csoportok esetén  a csoport elemeinek száma. Jelölve vagy .

Véges csoportok esetén a csoport sorrendje és az alcsoportja közötti kapcsolatot a Lagrange-tétel állapítja meg : egy csoport sorrendje megegyezik bármelyik részcsoportjának sorrendjével , megszorozva az indexével  - a bal vagy jobb oldali számával. kosztok:

.

A csoportrendekkel kapcsolatos fontos eredmény az az osztályegyenlet , amely egy véges csoport sorrendjét a középpontjának sorrendjéhez és a nem triviális konjugált osztályok méretéhez viszonyítja :

,

hol vannak a nemtriviális konjugáltsági osztályok méretei. Például egy szimmetrikus csoport középpontja csak egy semleges elem triviális csoportja , és az egyenlet a következő lesz .

A véges csoportok elemeinek sorrendje felosztja annak csoportrendjét. Cauchy csoportelméleti tételéből következik , hogy egy csoport sorrendje akkor és csak akkor egy prímegész hatványa, ha bármely elemének sorrendje egy bizonyos hatvány [1] .

Jegyzetek

  1. Keith Conrad. A Cauchy-tétel következményei.

Irodalom