W系列、E系列、DDD系列的有限群序列

定义W系列的有限群序列Wmn(m,n)：
n*m*m阶群Wmn(m,n),
Wmn(2,n)=Dih(4n)
W_32=Wmn(4,2)=GAP[32,13]
W_48=Wmn(4,3)=GAP[48,11]
gap> Wmn:=function(m,n) F:=FreeGroup(2);;G:=F/[F.1^(m*n),F.2^m,F.2^(-1)*F.1*F.2*F.1^(1-2*n)];;return G;end;;
gap> for n in [1..20] do if n=8 or n>14 then Print(IdGroup(Wmn(2,n)),IdGroup(Wmn(4,n)),"未知","\n");else Print(IdGroup(Wmn(2,n)),IdGroup(Wmn(4,n)),IdGroup(Wmn(8,n)),"\n");fi;od;
[ 4, 2 ][ 16, 2 ][ 64, 2 ]
[ 8, 3 ][ 32, 13 ][ 128, 100 ]
[ 12, 4 ][ 48, 11 ][ 192, 14 ]
[ 16, 7 ][ 64, 48 ][ 256, 451 ]
[ 20, 4 ][ 80, 11 ][ 320, 11 ]
[ 24, 6 ][ 96, 24 ][ 384, 89 ]
[ 28, 3 ][ 112, 10 ][ 448, 12 ]
[ 32, 18 ][ 128, 156 ]未知
[ 36, 4 ][ 144, 11 ][ 576, 12 ]
[ 40, 6 ][ 160, 24 ][ 640, 86 ]
[ 44, 3 ][ 176, 10 ][ 704, 12 ]
[ 48, 7 ][ 192, 64 ][ 768, 57251 ]
[ 52, 4 ][ 208, 11 ][ 832, 11 ]
[ 56, 5