Irreducibility
From the definition of irreducible polynomial it is clear that reducibility depends on the field π. For example the polynomial x2 β 2 (with coefficients in β, hence in β as well) is reducible in β, because x2 β 2 = (x + β2) (x β β2) but not in β.
We are interested in determining when a polynomial is irreducible or reducible over π, when this field could represent β, β or β.
Theorem 4.18. (Fundamental Theorem of algebra) A polynomial f(x) in β[x] of degree n β₯ 1 admits at least one root in β.
We postpone the proof to a later moment when we'll developed the appropriate mathematical tools.
Corollary 4.19. Every polynomial f(x) in β[x] of degree n has in β exaclty n roots.
Proof. Let α1 ∈ β, a root of f(x) (which exists owing to the fundamental theorem), by Ruffini's theorem
f(x) = (x β α1) q(x), βq(x) = n β 1
with q(x) having coefficients in β. Then q(x), for the fundamental theorem of algebra, admits a root α2 ∈ β, etc. The repetition of this argument yields to
f(x) = (x β α1) (x β α2) β β β (x β αn)
if n = βf(x) = n.β‘
Thus any polynomial with coefficients in C[x] can be factorized on β in term of linear factors.
To sum up:
Irreducible polynomials in β[x] are precisely the polynomials of degree 1.
Irreducible polynomials on β
Let f(x) a polynomial in β[x], with degree n > 1. We can consider f(x) as a polynomial with complex coefficients. Let α ∈ β a root of f(x), (α exists for the fundamental theorem of algebra). As regards a polynomial over β, notice that, if α ∈ β is one of its roots and is not real, then its conjugate αΎ± is a root as well; To show this fact let f(x) = βni=0 ak xk then
0 = f(α) = βnk=0 akαk
if we take the complex conjugate of both sides of the equation and noting that real numbers are conjugates of themselves
0 = 0 = f(α) = βnk=0 akαk = βnk=0 akαΎ±k = f(αΎ±)
thus αΎ± is as well a root of f(x). We this premise let's suppose f(x) (with degree n > 1) to be irreducible on β. Then f has not real roots. Its decomposition in linear factors on β is
f(x) = an(x β α1) (x β αΎ±1) (x β α2) (x β αΎ±2) β β β (x β αΎ±n) (x β αn)
with βq(x) = n = 2t. We have ∀i = 1, .., t
(x β αi) (x β αΎ±i) = x2 β (αi + αΎ±i)x + αiαΎ±i αi + αΎ±i, αiαΎ±i ∈ β.
Thus f(x) is written as a product of t polynomials of degree 2, with real coefficients. Under the hyphothesis of f(x) irreducible on β, there can be only one factor hence f(x) is a second degree polynomial without real roots. (a second degree polynomial with having discriminant Ξ < 0). Since second degree polynomial without roots is irreducible we can sump by saying
the irreducible polynomials in β[x] are exactly the polynomials of degree one and the ones of degree two with Ξ < 0.
Remark 4.20. For second degree polynomial onnly the implication no roots β irreducible hols true. For instance, the polynomial x4 + 8x2 + 15 with coefficients in β with no real roots may nevertheless be reducible as follows
x4+ 8x2+ 15 = (x2 + 3)(x2 + 5)
but when f(x) β π[x] is a polynomial of degree 2 or 3 with no roots, then f(x) is irreducible in π[x]. Indeed, if f(x) had a factor isation, at least one of its factors would have degree 1, so it would have a root in π.