[Math] Find all the maximal ideals in the ring $\mathbb{R}[x]$.

abstract-algebrairreducible-polynomialsring-theory

Find all the maximal ideals in the ring $\mathbb{R}[x]$.

My work:

If $M$ is maximal, then $\mathbb{R}[x]/M$ is a field. Then if $M$ is of the form $(p(x))$ then $p(x)$ must be irreducible. So the principal ideals generated by irreducible polynomials in $\mathbb{R}[x]$ are maximal in $\mathbb{R}[x]$.

But $\mathbb{R}[x]$ is not a PID. Hence, there are ideals which are not principal. So how can I find all maximal ideals? Can anyone please help me to find it?

Best Answer

Since every odd degree real polynomial has a root in $\mathbb{R},$ an irreducible polynomial of degree $> 2$ must be of even degree. Let $p(x) \in \mathbb{R}[x]$ be an irreducuble polynomial of degree $2d, d \geq 1.$ We can also assume that it is monic. In $\mathbb{C}[x], p(x)$ will factor in linear factors. Let $p(x) = \prod_{1 \leq i \leq2d} (x - \alpha_i) \in \mathbb{C}[x].$ Since complex roots occurs in conjugate pairs, we can rename the $\alpha_i$'s to write $p(x) = \prod_{1 \leq i \leq d} (x - \alpha_i)(x - \overline{\alpha}_i)$ where $\overline{\alpha}_i$ is the complex conjugate of $\alpha_i.$ From this we can write, $p(x) = \prod_{1 \leq i \leq d}q_i(x)$ where $q_i(x) = (x - \alpha_i)(x - \overline{\alpha}_i)$ is a real quadric polynomial. This shows that $d = 1.$ So $p(x)$ is of the form $ax^2 + bx + c$ with $b^2 - 4ac < 0.$

Hence the maximal ideals of $\mathbb{R}[x]$ are of the form $(ax^2 + bx + c)$ with $b^2 - 4ac < 0$ or of the form $(x - a), a \in \mathbb{R}.$

Related Question