Gruppens ordning är kardinaliteten hos gruppens bärare , det vill säga för ändliga grupper , antalet element i gruppen. Betecknad eller .
För ändliga grupper upprättas sambandet mellan ordningen för en grupp och dess undergrupp av Lagrangesatsen : ordningen för en grupp är lika med ordningen för någon av dess undergrupper , multiplicerat med dess index - numret på dess vänstra eller högra kostymer:
.Ett viktigt resultat om gruppordningar är klassekvationen som relaterar ordningen för en ändlig grupp till ordningen på dess centrum och storlekarna på dess icke-triviala konjugationsklasser :
,var är storlekarna på icke-triviala konjugationsklasser. Till exempel är mitten av en symmetrisk grupp bara en trivial grupp av ett neutralt element , och ekvationen blir .
Ordningen av element i ändliga grupper delar upp dess gruppordning. Det följer av Cauchys gruppteoretiska teorem att ordningen för en grupp är en potens av ett primtal heltal om och endast om ordningen för något av dess element är en viss potens [1] .