1
$\begingroup$

I am having trouble construct the following group in GAP. It is a solvable primitive linear group acting on V where |V|=5^8. We know the Fitting subgroup is of order 2^6*4 (central product of extra special group E of order 2^7 with a cyclic group of order 4). On top of E/Z(E) we have a group A of order 6^4 acts on E/Z(E). Here A itself has a normal extra special group D of order 27 and A/D acts on D/Z(D) and A/D \cong GL(2,3). In some sense, G would be a maximal solvable primitive group on V=5^8.

If it is possible, I need similar construction in |V|=7^8.

$\endgroup$
1
4
$\begingroup$

I cannot easily tell you how I did this calculation, but in case it is helpful anyway, here is the group that you are looking for.

F1 := Identity(GF(5));;
G := Subgroup (GL(8,5), [
  F1*[
    [ 1, 1, 4, 4, 2, 3, 2, 3 ],
    [ 3, 2, 2, 3, 4, 4, 4, 4 ],
    [ 3, 3, 3, 3, 1, 4, 4, 1 ],
    [ 1, 4, 1, 4, 3, 3, 2, 2 ],
    [ 3, 2, 2, 3, 1, 1, 1, 1 ],
    [ 1, 1, 4, 4, 3, 2, 3, 2 ],
    [ 1, 4, 1, 4, 2, 2, 3, 3 ],
    [ 3, 3, 3, 3, 4, 1, 1, 4 ]
  ],
  F1*[
    [ 2, 0, 4, 0, 0, 0, 0, 0 ],
    [ 0, 0, 0, 0, 2, 0, 4, 0 ],
    [ 0, 0, 0, 0, 3, 0, 4, 0 ],
    [ 2, 0, 1, 0, 0, 0, 0, 0 ],
    [ 0, 3, 0, 1, 0, 0, 0, 0 ],
    [ 0, 0, 0, 0, 0, 2, 0, 4 ],
    [ 0, 0, 0, 0, 0, 2, 0, 1 ],
    [ 0, 2, 0, 1, 0, 0, 0, 0 ]
  ]
]);;
gap> Size(G); 
331776
gap> StructureDescription(G);
"((((((C2 x ((C4 x C2) : C2)) : C2) : C2) : ((C3 x C3) : C3)) :  Q8) : C3) : C4"
$\endgroup$
1
  • $\begingroup$ Thanks a lot. Do you happen to have a similar construction for |V|=3^8 and |V|=7^8, the only difference would be the cyclic group on the bottom where the first is C_2 and the second would be C_6. $\endgroup$ – YONG YANG Jul 25 '20 at 13:07

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.