A solvable group isospectral to \(S_4(3)\). (Q605988)

Let \(G\) be a finite group. The set of element orders of \(G\) is denoted by \(\omega(G)\) and is called the spectrum of \(G\). Two finite groups \(G\) and \(H\) are called isospectral if \(\omega(G)=\omega(H)\). It was shown that if a simple group \(G\) is isospectral to a solvable group, then \(G\cong L_3(3)\), \(U_3(3)\), \(S_4(3)\) or \(\mathbb{A}_{10}\). But the existence of solvable groups isospectral to \(L_3(3)\) and \(U_3(3)\) was already proved by V. D. Mazarov and M. R. Zinovena, and A. M. Staroletov proved that there is no solvable group isospectral to \(\mathbb{A}_{10}\). Therefore the problem was open for the simple symplectic group \(S_4(3)\). In the present paper the author constructs \(17\times 17\) matrices \(A,B,C,D\) over the Galois field \(\text{GF}(3)\) such that \(G=\langle A,B,C,D\rangle\) is a solvable group of order \(2^2\cdot 3^{24}\cdot 5\) isospectral to \(S_4(3)\).