The problem of recognition of finite simple groups by element orders is solved

Abstract

For a finite group $G$, let $\omega(G)$ be the set of element orders of $G$ and let $h(G)$ be the number of pairwise nonisomorphic finite groups $H$ with $\omega(H)=\omega(G)$. We say that the recognition problem is solved for $G$ if the number $h(G)$ is known, and if it is finite, then all finite groups $H$ with $\omega(H)=\omega(G)$ are listed. We complete the solution of the recognition problem for all finite simple groups.