Решая задачу из задачника п/р А.И.Кострикина №58.17 (г)
(изд-во МЦНМО 2009, в старом, который синий, номер другой, кажется 5813),
которая выглядит так:
Если 
--
конечная подгруппа в 
,
то порядок
делит
,
немного удивился.
На мой взгляд, из предыдущих пунктов (а)-(в) (извините, много печатать, если надо -- допишу) следует,
что это утверждение можно сформулировать и для любого нечетного простого

:
порядок
делит 
Если это верно (если нет, значит 3 чем-то существенно отличается от всех других нечетных простых),
то логично задать вопрос:
Какие конечные подгруппы есть в 
?
Бегло порывшись в доступных источниках, ответа не нашел. Очевидно, что диагональные

матрицы
с четным числом -1 подходят. А ещё?
Спасибо