7a698343d8178953.tex
1: \begin{abstract}
2:   Two finite groups are said to have the same order type if for each
3:   positive integer $n$ both groups have the same number of elements of
4:   order $n$. In 1987 John G.~Thompson (see \cite[Problem
5:   12.37]{kourovka_notebook}) asked if in this case the solvability of
6:   one group implies the solvability of the other group.
7: 
8:   In 2024 Pawe\l{} Piwek gave a negative example in \cite{piwek2024solvablenonsolvablefinitegroups}. He
9:   constructed two groups of order
10:   $2^{365}\cdot3^{105}\cdot7^{104}\approx7.3\cdot10^{247}$ of the same
11:   order type, where only one is solvable.
12: 
13:   In this note we produce a much smaller example of order
14:   $2^{13}\cdot3^4\cdot7^3=227598336$.% and report about some other
15:                                      % observations.
16: \end{abstract}
17: