It's a well-known result that in a field everyfinitesubgroup of is cyclic. A much less known but more interesting result is this:

Let be a division ring, i.e. a field which is not necessarily commutative. Prove that everyfinite abeliansubgroup of is cyclic.

Suggestion:

Spoiler: