Solvable and non-solvable finite groups of the same order type

Abstract

We construct two finite groups of size $2^{365}\cdot 3^{105}\cdot 7^{104}$: a solvable group $G$ and a non-solvable group $H$, such that for every integer $n$ the groups have the same number of elements of order $n$. This answers a question posed in 1987 by John G. Thompson.

9 pages; added a section on how these examples were found