Maths WorkshopMaths problems with full solutions
Exercise 1875Algebra › Rings and fieldsM1Added 3 Nov 2026

Maximal ideals in $\mathbb{R}[X]$

#maximal ideals#polynomials#irreducibility

Statement

Show that (X2+1)(X^2+1) is a maximal ideal of R[X]\mathbb{R}[X].

Hint

X2+1X^2+1 is irreducible over R\mathbb{R}. Show that for any irreducible polynomial PP, (P)(P) is maximal.

Show solutionHide solution

Solution

Irreducibility. X2+1X^2+1 has no real root (discriminant −4<0-4<0), so it is irreducible over R\mathbb{R}.

Maximality. Let II be an ideal with (P)⊆I⊆R[X](P)\subseteq I\subseteq\mathbb{R}[X]. Since R[X]\mathbb{R}[X] is a PID, I=(Q)I=(Q) for some QQ. Then P∈(Q)P\in(Q), so Q∣PQ\mid P. Since PP is irreducible, QQ is a unit (then I=R[X]I=\mathbb{R}[X]) or QQ is an associate of PP (then I=(P)I=(P)). So (P)(P) is maximal.

Conclusion. (X2+1)(X^2+1) is maximal. Moreover, R[X]/(X2+1)≅C\mathbb{R}[X]/(X^2+1)\cong\mathbb{C} is a field.