0

Let $F$ be a field, $F^*$ be its multiplicative group and $G \in F^*$ be a finite subgroup. Show that $G$ is cyclic.

Here is my attempt, I am not sure if it's correct.

Proof. Let $n=|G|$, we know that $1 \in G$ and $x^n=1$ for every $x \in G$. But clearly $x^{n-1} \ne 1$ for some $x \in G$, otherwise we would have $n$ distinct roots to $x^{n-1}=1$. Hence there is an $x \in G$ with order equal to $n$. $\square$

Is there an easier answer to this? And is my solution correct? Thanks.

user1729
  • 31,015
Bernoulli
  • 622

0 Answers0