2520阶群、20160阶群、有限单群的阶

除了无限系的单群之外，还有26个散在单群，早在1861年及1873年马蒂厄已经知道其中的5个，1966-1975年间又陆续发现了21个。
到了1980年初，所有这26个零散单群都已经具体造出来。
gap> B:=SimpleGroup("B");Order(B);
B
4154781481226426191177580544000000
gap> ON:=SimpleGroup("ON");Order(ON);
ON
460815505920
gap> Suz:=SimpleGroup("Suz");Order(Suz);
Suz
448345497600
gap> Fi24:=SimpleGroup("Fi24");Order(Fi24);
Fi24'
1255205709190661721292800
gap> Co3:=SimpleGroup("Co3");Order(Co3);
Co_3
495766656000
gap> J4:=SimpleGroup("J(4)");Order(J4);
J4
86775571046077562880
gap> M11:=SimpleGroup("M(11)");Order(M11);StructureDescription(M11);cl:=ConjugacyClasses(M11);;len:=Size(cl);for i in [1..len] do Print(Size(cl[i]),","); od;Print("\n");for i in [1..len] do Print(Order(Centralizer(cl[i])),","); od;
M11
7920
"M11"
10
1,165,440,1320,1584,720,720,990,990,990,
7920,48,18,6,5,11,11,8,8,8,
gap> n:=7920;;for i in [1..n] do if n mod i=0 then Print(i,",");fi;od;
1,2,3,4,5,6,8,9,10,11,12,15,16,18,20,22,24,30,33,36,40,44,45,48,55,60,66,72,80,88,90,99,110,120,132,144,165,176,180,198,220,240,264,330,360,396,440,495,528,660,720,792,880,990,1320,1584,1980,2640,3960,7920,
gap> G:=M11;L:=List(Elements(G),Order);;M:=[1,2,3,4,5,6,8,9,10,11,12,15,16,18,20,22,24,30,33,36,40,44,45,48,55,60,66,72,80,88,90,99,110,120,132,144,165,176,180,198,220,240,264,330,360,396,440,495,528,660,720,792,880,990,1320,1584,1980,2640,3960,7920];;for i in M do Print(Size(Positions(L,i)),","); od;
M11
1,165,440,990,1584,1320,1980,0,0,1440,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
gap> sl2M11:=SylowSubgroup(M11,2);IdGroup(sl2M11);
Group([ (2,10)(3,11)(4,8)(6,9), (3,4)(5,7)(6,9)(8,11), (2,3,6,4,10,11,9,8)(5,7) ])
[ 16, 8 ]
gap> sl3M11:=SylowSubgroup(M11,3);IdGroup(sl3M11);
Group([ (3,7,6)(4,9,5)(8,11,10), (3,4,10)(5,11,6)(7,9,8) ])
[ 9, 2 ]
gap> sl5M11:=SylowSubgroup(M11,5);IdGroup(sl5M11);
Group([ (2,3,11,10,5)(4,7,8,9,6) ])
[ 5, 1 ]
gap> sl11M11:=SylowSubgroup(M11,11);IdGroup(sl11M11);
Group(