6
$\begingroup$

A field $F$ has at most a finite number of elements of order $\leq n$ for any $n$ in integers.

How can I prove this? I thought it's related to the fact that a polynomial of degree $n$ would have at most $n$ roots over $F$. But I am not sure. Would appreciate hints.

$\endgroup$
  • 1
    $\begingroup$ An element of order $n$ will be a root of $x^n-1$. So, straight away, there can be only finitely many elements of order dividing $n$. But I don't see immediately how that tells you something about elements of orders $\leq n$ not dividng $n$. $\endgroup$ – hoyland Feb 18 '12 at 14:54
  • 1
    $\begingroup$ If $x\in F$ has order $k\geq 1$ then $x^k=1$ so either $x=1$ or $1+x+\ldots+x^{k-1}=0$. $\endgroup$ – Davide Giraudo Feb 18 '12 at 14:55
  • 3
    $\begingroup$ @hoyland But you could also look at $x^k - 1$ for $k < n$, and there are only finitely many of these polynomials. $\endgroup$ – Dylan Moreland Feb 18 '12 at 15:09
  • 1
    $\begingroup$ @Dylan: simple + brutal= perfect! $\endgroup$ – Georges Elencwajg Feb 18 '12 at 17:29
4
$\begingroup$

Hint: by pigeonholing, if there are infinitely many elements of order $\le n$ then for some $k\le n$ there are infinitely many elements of order $k,\:$ hence $x^k - 1$ has infinitely many roots $\:\Rightarrow\Leftarrow$

$\endgroup$
3
$\begingroup$

Your idea works. There are various ways to carry it out. For example, let $N$ be the least common multiple of the numbers $1, 2, \dots, n$. Then every element of order $\le n$ is a zero of the polynomial $x^N-1=0$. Or else, more wastefully, you can use the polynomial $\prod_{k=1}^n (x^k-1)$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.