Finite Groups Embeddable in Division Rings

Abstract

Finite groups that are embeddable in the multiplicative groups of division rings $K$ were completely determined by S. A. Amitsur in 1955. In case $K$ has characteristic $p>0$, the only possible finite subgroups of $K^*$ are cyclic groups, according to a theorem of I. N. Herstein. Thus, the only interesting case is when $K$ has characteristic 0; that is, when $K\supseteq {\Bbb Q}$. Herstein conjectured that odd-order subgroups of division rings $K$ were cyclic, and he proved this to be the case when $K$ is the division ring of the real quaternions. Herstein's conjecture was settled negatively by Amitsur. As part of his complete classification of finite groups in division rings, Amitsur showed that the smallest noncyclic odd-order group that can be embedded in a division ring is one of order 63 (and this group is unique). Amitsur's paper is daunting to read as it is long and technically complicated. In lecturing to a graduate class on division rings, I tried to find a simple reason for the ``first exceptional odd order'' 63 (to Herstein's conjecture). After some work, I did come up with a reason that was simple enough to be explained to my class, without having to go through any part of Amitsur's paper. Furthermore, the method I used led easily to the second exceptional odd order, 117 (which was not mentioned in Amitsur's paper). Since this line of reasoning did not seem to have appeared in the literature before, I record it in this short note. To better motivate the results discussed here, I have also included a quick exposition on the beginning part of the theory of finite subgroups of division rings.