It's a well-known result that in a field every finite subgroup 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 every finite abelian subgroup of is cyclic.
Suggestion:
Spoiler: