3
$\begingroup$

Suppose $F$ is an algebraically closed field. Find all monic polynomials $f\left(x\right)\in F\left[x\right]$ with distinct roots such that the set of roots of $f$ is closed under multiplication.

In $\mathbb{C}$ we have that the set of polynomials of the type $x^n-a$ have this property where the roots are of the form $\sqrt[n]{a}$ times a power of the n-th root of unity. But how do we work with the general case?

  • 0
    do we need that $a$ itself not be an nth root?2012-06-04

2 Answers 2

3

You can't take $a$ arbitrary ; the only $a$ that works must be $1$.

Assume that the roots are closed under multiplication, and let $\alpha \neq 0$ be a root of $f(x)$ and $n = \deg f$. Then the set $ \{ \alpha, \alpha^2, \alpha^3, \dots, \alpha^n, \alpha^{n+1}\} $ must contain two elements that are the same, i.e. there must exists $1 \le i,j \le n+1$ such that $i < j$ and $\alpha^i = \alpha^j$, which means $\alpha^{j-i} = 1$. Therefore the roots of $f$ are roots of unity.

Furthermore, the set of roots is finite, closed under multiplication and inverses (since if $\alpha^d = 1$, $\alpha^{-1} = \alpha^{d-1}$ which is in the set of roots because $\alpha^{d-1}$ is a product of roots of $f$). This means that the set of roots forms a group under multiplication. Since this group is a finite subgroup of $F^{\times}$, it is a cyclic group, hence generated by one element $\alpha$. Let $d$ denote the order of $\alpha$. Then the roots of $f(x)$ are $\alpha, \alpha^2, \dots, \alpha^{d-1}, \alpha^d = 1$.

Since the roots are distinct, we now have two possibilities : either $0$ is not a root of $f$ and we have $f(x) = x^d -1$, $d = n$, or $0$ is a root of $f$ and we have $f(x) = x^{d+1} - x$, $d = n$. (Thanks to anon for the comment!)

Since $F$ is algebraically closed, all the polynomials $x^n -1$ do split (with $n \neq \mathrm{char}(F)$ obviously), hence the polynomials you are looking for must be $x^n-1$ for $n \in \Bbb N$ and $\mathrm{char}(F) \nmid n$.

Hope that helps,

  • 1
    @Galois You're confusing the characteristic and the number of elements in the field. What is true is that it is not possible for a *finite field* to be algebraically closed.2012-06-04
2

Hint: If $\alpha$ is a root of $f(x)$, then $\alpha^2, \alpha^3, \dots$ are all roots of $f$. Conclude that $\alpha$ is a root of unity (why?).

Conversely, if $\alpha$ is a root of unity, show that such an $f$ exists with $f(\alpha) = 0$ (this should be straightforward).

  • 0
    You also want to cover the possibility of $0$ being a root.2012-06-04