Finite subgroup of a field multiplicative group is cyclic
= Finite subgroup of a field multiplicative group is cyclic
Every finite subgroup of $K^\times$ is cyclic. If its exponent is $m$, all its elements are roots of $X^m-1$, so its size is at most $m$; finite abelian group theory supplies an element of order $m$, forcing equality.