Неразрешимость конечных групп, изоспектральных группе автоморфизмов второй спорадической группы Янко

Для конечной группы $G$ спектром называется множество $\omega(G)$ порядков элементов группы $G$. Спектр группы $G$ замкнут относительно делимости и поэтому однозначно определяется множеством $\mu(G)$, состоящим из максимальных относительно делимости элементов спектра $\omega(G)$. Доказывается, что конечная группа, изоспектральная $\operatorname{Aut}(J_2)$, неразрешима.