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.