1. ## Prime Degree Polynomial

I discovered an elegant theorem. But it is easy to prove using some heavy altirary.

Theorem: Let $f(x)$ be a polynomial with rational coefficients having a prime degree $p$. If $f(x)$ is irreducible (cannot be factored in terms of other non-constant polynomials having rational coefficients) then $f(x)$ has exactly $p$ complex zeros.

2. Originally Posted by ThePerfectHacker
I discovered an elegant theorem. But it is easy to prove using some heavy altirary.

Theorem: Let $f(x)$ be a polynomial with rational coefficients having a prime degree $p$. If $f(x)$ is irreducible (cannot be factored in terms of other non-constant polynomials having rational coefficients) then $f(x)$ has exactly $p$ complex zeros.
Correct me if I'm wrong, but
$x^3 + x^2 - x + 1 = 0$
does not have 3 complex zeros.

-Dan

3. Originally Posted by topsquark
Correct me if I'm wrong, but
$x^3 + x^2 - x + 1 = 0$
does not have 3 complex zeros.

-Dan
When I say "complex" I allow real also. Since $\mathbb{R} < \mathbb{C}$.

4. Originally Posted by ThePerfectHacker
When I say "complex" I allow real also. Since $\mathbb{R} < \mathbb{C}$.
Ah, so if I'm not mistaken (again) do you mean to say that these p zeros are distinct?

-Dan

5. When I say "complex" I allow real also.

Then, isn't asking for it to be irreducible over Q just too demanding?

6. Originally Posted by topsquark
Ah, so if I'm not mistaken (again) do you mean to say that these p zeros are distinct?
Yes, exactly.

We can state this theorem in a different way (equivalent):
Let $f(x)$ be a polynomial with integer coefficients and prime degree $p$ so that $f(x)$ is irreducible (cannot be factord into non-constant polynomials with integer coefficients) then $f(x)$ has exactly $p$ zeros.

Originally Posted by Rebesques
Then, isn't asking for it to be irreducible over Q just too demanding?
Why?

7. Because the thing I found most intriguing in the original statement, was the promise that the roots are not real Can we have that?

8. Originally Posted by Rebesques
Because the thing I found most intriguing in the original statement, was the promise that the roots are not real Can we have that?
In topsquark's example, that polynomial satisfies my conditions. Now, as promised, it has exactly 3 zeros (1 real 2 not). But, yes, we need that condition that they can be complex too.

Note, it should not be supprising because in field theory we usually deal in one big extension field, usually the algebraic closure. Which in this case is the closure of $\mathbb{Q}$ which are the algebraic numbers.