有限群子群和正规子群个数的计算

gap> G:=SL(3,2);;S:=AllSubgroups(G);;N:=NormalSubgroups(G);;S1:=[];;for g in S do if not (IdGroup(g) in S1) then Add(S1,IdGroup(g));fi;od;List(S1);List(N,IdGroup);Print("|S(G)|=",Size(S),",|S1(G)|=",Size(S1),",|N(G)|=",Size(N),"\n");
[ [ 1, 1 ], [ 2, 1 ], [ 3, 1 ], [ 4, 2 ], [ 4, 1 ], [ 6, 1 ], [ 7, 1 ], [ 8, 3 ], [ 12, 3 ], [ 21, 1 ], [ 24, 12 ],
  [ 168, 42 ] ]
[ [ 1, 1 ], [ 168, 42 ] ]
|S(G)|=179,|S1(G)|=12,|N(G)|=2
gap> G:=SL(3,2);L:=Elements(G);;for i in [1..168] do Print(i,"->",Order(L[i]),",");od;S:=GroupWithGenerators([L[51],L[54],L[55]]);;IdGroup(S);
SL(3,2)
1->2,2->3,3->4,4->3,5->4,6->3,7->7,8->7,9->3,10->7,11->7,12->4,13->7,14->4,15->3,16->7,17->7,18->7,19->4,20->3,21->4,
22->3,23->2,24->3,25->3,26->7,27->7,28->4,29->7,30->7,31->4,32->3,33->2,34->4,35->4,36->2,37->4,38->7,39->7,40->3,41->
3,42->3,43->3,44->3,45->3,46->7,47->4,48->7,49->7,50->4,51->3,52->7,53->4,54->3,55->2,56->3,57->4,58->7,59->7,60->3,
61->2,62->3,63->3,64->4,65->3,66->4,67->7,68->7,69->3,70->7,71->7,72->4,73->2,74->3,75->4,76->3,77->1,78->2,79->2,80->
2,81->2,82->3,83->4,84->3,85->4,86->3,87->2,88->3,89->2,90->4,91->2,92->4,93->2,94->3,95->4,96->3,97->4,98->3,99->7,
100->7,101->2,102->4,103->3,104->3,105->2,106->3,107->3,108->4,109->7,110->7,111->4,112->3,113->4,114->7,115->3,116->
7,117->4,118->7,119->3,120->7,121->4,122->3,123->7,124->7,125->2,126->2,127->4,128->4,129->4,130->3,131->7,132->7,
133->3,134->3,135->3,136->3,137->3,138->7,139->4,140->7,141->7,142->4,143->3,144->7,145->2,146->3,147->4,148->3,149->
2,150->4,151->3,152->3,153->4,154->3,155->7,156->7,157->3,158->4,159->7,160->7,161->3,162->7,163->7,164->4,165->3,
166->7,167->7,168->4,[ 24, 12 ]
gap> for n in [3..6] do G:=SymmetricGroup(n);;S:=AllSubgroups(G);;N:=NormalSubgroups(G);;S1:=[];;for g in S do if not (IdGroup(g) in S1) then Add(S1,IdGroup(g));fi;od;List(S1);List(N,IdGroup);Print("|S(G)|=",Size(S),",|S1(G)|=",Size(S1),",|N(G)|=",Size(N),"\n");od;
|S(G)|=6,|S1(G)|=4,|N(G)|=3
|S(G)|=30,|S1(G)|=9,|N(G)|=4
|S(G)|=156,|S1(G)|=16,|N(G)|=3
|S(G)|=1455,|S1(G)|=29,|N(G)|=3
gap> G:=SymmetricGroup(6);;S:=AllSubgroups(G);;N:=NormalSubgroups(G);;S1:=[];;for g in S do if not (IdGroup(g) in S1) then Add(S1,IdGroup(g));fi;od;List(S1);List(N,IdGroup);Print("|S(G)|=",Size(S),",|S1(G)|=",Size(S1),",|N(G)|=",Size(N),"\n");
[ [ 1, 1 ], [ 2, 1 ], [ 3, 1 ], [ 4, 2 ], [ 4, 1 ], [ 5, 1 ], [ 6, 1 ], [ 6, 2 ], [ 8, 5 ], [ 8, 3 ], [ 8, 2 ],
  [ 9, 2 ], [ 10, 1 ], [ 12, 3 ], [ 12, 4 ], [ 16, 11 ], [ 18, 4 ], [ 18, 3 ], [ 20, 3 ], [ 24, 13 ], [ 24, 12 ],
  [ 36, 10 ], [ 36, 9 ], [ 48, 48 ], [ 60, 5 ], [ 72, 40 ], [ 120, 34 ], [ 360, 118 ], [ 720, 763 ] ]
[ [ 1, 1 ], [ 360, 118 ], [ 720, 763 ] ]
|S(G)|=1455,|S1(G)|=29,|N(G)|=3
gap> G:=DihedralGroup(8);;S:=AllSubgroups(G);;N:=NormalSubgroups(G);;S1:=[];;for g in S do if not (IdGroup(g) in S1) then Add(S1,IdGroup(g));fi;od;List(S1);List(N,IdGroup);Print("|S(G)|=",Size(S),",|S1(G)|=",Size(S1),",|N(G)|=",Size(N),"\n");
[ [ 1, 1 ], [ 2, 1 ], [ 4, 2 ], [ 4, 1 ], [ 8, 3 ] ]
[ [ 8, 3 ], [ 4, 1 ], [ 4, 2 ], [ 4, 2 ], [ 2, 1 ], [ 1, 1 ] ]
|S(G)|=10,|S1(G)|=5,|N(G)|=6
gap> for n in [1..14] do G:=SmallGroup(16,n);;S:=AllSubgroups(G);;N:=NormalSubgroups(G);;S1:=[];;for g in S do if not (IdGroup(g) in S1) then Add(S1,IdGroup(g));fi;od;List(S1);List(N,IdGroup);Print("|S(G)|=",Size(S),",|S1(G)|=",Size(S1),",|N(G)|=",Size(N),"\n");od;
|S(G)|=5,|S1(G)|=5,|N(G)|=5
|S(G)|=15,|S1(G)|=6,|N(G)|=15
|S(G)|=23,|S1(G)|=7,|N(G)|=11
|S(G)|=15,|S1(G)|=6,|N(G)|=11
|S(G)|=11,|S1(G)|=7,|N(G)|=11
|S(G)|=11,|S1(G)|=7,|N(G)|=9
|S(G)|=19,|S1(G)|=7,|N(G)|=7
|S(G)|=15,|S1(G)|=8,|N(G)|=7
|S(G)|=11,|S1(G)|=6,|N(G)|=7
|S(G)|=27,|S1(G)|=7,|N(G)|=27
|S(G)|=35,|S1(G)|=8,|N(G)|=19
|S(G)|=19,|S1(G)|=7,|N(G)|=19
|S(G)|=23,|S1(G)|=8,|N(G)|=17
|S(G)|=67,|S1(G)|=5,|N(G)|=67  
gap> for n in [1..60] do fn:=NumberSmallGroups(n);;for k in [1..fn] do G:=SmallGroup(n,k);;S:=AllSubgroups(G);;N:=NormalSubgroups(G);;S1:=[];;for g in S do if not (IdGroup(g) in S1) then Add(S1,IdGroup(g));fi;od;List(S1);List(N,IdGroup);Print(IdGroup(G),":|S(G)|=",Size(S),",|S1(G)|=",Size(S1),",|N(G)|=",Size(N),"\n");od;od;
[ 1, 1 ]:|S(G)|=1,|S1(G)|=1,|N(G)|=1
[ 2, 1 ]:|S(G)|=2,|S1(G)|=2,|N(G)|=2
[ 3, 1 ]:|S(G)|=2,|S1(G)|=2,|N(G)|=2
[ 4, 1 ]:|S(G)|=3,|S1(G)|=3,|N(G)|=3
[ 4, 2 ]:|S(G)|=5,|S1(G)|=3,|N(G)|=5
[ 5, 1 ]:|S(G)|=2,|S1(G)|=2,|N(G)|=2
[ 6, 1 ]:|S(G)|=6,|S1(G)|=4,|N(G)|=3
[ 6, 2 ]:|S(G)|=4,|S1(G)|=4,|N(G)|=4
[ 7, 1 ]:|S(G)|=2,|S1(G)|=2,|N(G)|=2
[ 8, 1 ]:|S(G)|=4,|S1(G)|=4,|N(G)|=4
[ 8, 2 ]:|S(G)|=8,|S1(G)|=5,|N(G)|=8
[ 8, 3 ]:|S(G)|=10,|S1(G)|=5,|N(G)|=6
[ 8, 4 ]:|S(G)|=6,|S1(G)|=4,|N(G)|=6
[ 8, 5 ]:|S(G)|=16,|S1(G)|=4,|N(G)|=16
[ 9, 1 ]:|S(G)|=3,|S1(G)|=3,|N(G)|=3
[ 9, 2 ]:|S(G)|=6,|S1(G)|=3,|N(G)|=6
[ 10, 1 ]:|S(G)|=8,|S1(G)|=4,|N(G)|=3
[ 10, 2 ]:|S(G)|=4,|S1(G)|=4,|N(G)|=4
[ 11, 1 ]:|S(G)|=2,|S1(G)|=2,|N(G)|=2
[ 12, 1 ]:|S(G)|=8,|S1(G)|=6,|N(G)|=5
[ 12, 2 ]:|S(G)|=6,|S1(G)|=6,|N(G)|=6
[ 12, 3 ]:|S(G)|=10,|S1(G)|=5,|N(G)|=3
[ 12, 4 ]:|S(G)|=16,|S1(G)|=7,|N(G)|=7
[ 12, 5 ]:|S(G)|=10,|S1(G)|=6,|N(G)|=10
[ 13, 1 ]:|S(G)|=2,|S1(G)|=2,|N(G)|=2
[ 14, 1 ]:|S(G)|=10,|S1(G)|=4,|N(G)|=3
[ 14, 2 ]:|S(G)|=4,|S1(G)|=4,|N(G)|=4
[ 15, 1 ]:|S(G)|=4,|S1(G)|=4,|N(G)|=4
[ 16, 1 ]:|S(G)|=5,|S1(G)|=5,|N(G)|=5
[ 16, 2 ]:|S(G)|=15,|S1(G)|=6,|N(G)|=15
[ 16, 3 ]:|S(G)|=23,|S1(G)|=7,|N(G)|=11
[ 16, 4 ]:|S(G)|=15,|S1(G)|=6,|N(G)|=11
[ 16, 5 ]:|S(G)|=11,|S1(G)|=7,|N(G)|=11
[ 16, 6 ]:|S(G)|=11,|S1(G)|=7,|N(G)|=9
[ 16, 7 ]:|S(G)|=19,|S1(G)|=7,|N(G)|=7
[ 16, 8 ]:|S(G)|=15,|S1(G)|=8,|N(G)|=7
[ 16, 9 ]:|S(G)|=11,|S1(G)|=6,|N(G)|=7
[ 16, 10 ]:|S(G)|=27,|S1(G)|=7,|N(G)|=27
[ 16, 11 ]:|S(G)|=35,|S1(G)|=8,|N(G)|=19
[ 16, 12 ]:|S(G)|=19,|S1(G)|=7,|N(G)|=19
[ 16, 13 ]:|S(G)|=23,|S1(G)|=8,|N(G)|=17
[ 16, 14 ]:|S(G)|=67,|S1(G)|=5,|N(G)|=67
[ 17, 1 ]:|S(G)|=2,|S1(G)|=2,|N(G)|=2
[ 18, 1 ]:|S(G)|=16,|S1(G)|=6,|N(G)|=4
[ 18, 2 ]:|S(G)|=6,|S1(G)|=6,|N(G)|=6
[ 18, 3 ]:|S(G)|=14,|S1(G)|=7,|N(G)|=6
[ 18, 4 ]:|S(G)|=28,|S1(G)|=6,