Thread: Prime Degree Polynomial

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

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

Originally Posted by ThePerfectHacker

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

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

Correct me if I'm wrong, but

does not have 3 complex zeros.

-Dan

Originally Posted by topsquark

Correct me if I'm wrong, but

does not have 3 complex zeros.

-Dan

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

Originally Posted by ThePerfectHacker

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

Ah, so if I'm not mistaken (again) do you mean to say that these p zeros are distinct?

-Dan

When I say "complex" I allow real also.

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

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 be a polynomial with integer coefficients and prime degree so that is irreducible (cannot be factord into non-constant polynomials with integer coefficients) then has exactly zeros.

Originally Posted by Rebesques

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

Why?

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

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 which are the algebraic numbers.