# construct matrix group in GAP

Mathematics Asked by YONG YANG on January 3, 2022

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.

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"


Answered by Derek Holt on January 3, 2022

## Related Questions

### Efficient Method to Find A Root and/or Minima of A Multivariate Polynomial With Constraints on the Variables

0  Asked on January 1, 2022

### For what values of $k$ is the following matrix diagonalizable?

1  Asked on January 1, 2022 by math-comorbidity

### Rearrangement of matrix inverse sum expression

0  Asked on January 1, 2022

### If $F, K$ are fields, $F$ algebraically closed, and $F subseteq K$ then $K = F$?

1  Asked on January 1, 2022

### Difference in eigenvalue equations

2  Asked on January 1, 2022

### Existence of limit for sequence $x_n=frac12left(x_{n-1}+frac8{x_{n-2}}right)$ with initial values $x_0=5,x_1=10$

3  Asked on December 29, 2021 by xfioramstr18

### Calculate the total possible number of combinations out of x permutations, that’s would sum to the same value.

1  Asked on December 29, 2021 by nrapps

### Property of Lebesgue measure in $mathbb{R}^2$

2  Asked on December 29, 2021

### Trouble on Factorizing

1  Asked on December 29, 2021

### Is a column-wise and row-wise Gaussian matrix, jointly Gaussian?

1  Asked on December 29, 2021 by kvphxga

### Lipschitz function, Berkeley problem 1.2.2

0  Asked on December 29, 2021 by vinay-deshpande

### Is this proof right?

2  Asked on December 29, 2021 by the-mathematician

### arrow category and functor category

2  Asked on December 29, 2021

### The locus of vertex of a parabola, given that an orthogonal intersection is made with another having specified latus rectum and orientation.

1  Asked on December 29, 2021

### Derivative of a symplectic form

1  Asked on December 29, 2021 by thegeekgreek

### Ellipse on complex plane

2  Asked on December 29, 2021 by alexey-sokolik

### Can you find a function $beta(x)$ where if $a+b=n^m$ then $beta(frac{a}{b})$ is irrational?

1  Asked on December 29, 2021

### Prove that $xge n(n-1)(n-3)/8$, where $x$ is the number of $4$-cycles in a graph on $n$ vertices with at least $frac12binom{n}{2}$ edges.

2  Asked on December 29, 2021 by shakir

### In tetrahedron ABCD, prove that $r<frac{ABcdot CD}{2AB+2CD}$

2  Asked on December 29, 2021 by mja

### “Lengths” of Random Variables in Infinite Dimensional Spaces

3  Asked on December 29, 2021 by bcf

Get help from others!