Let $\Bbb R[x]$ be the polynomial ring over $\Bbb R$ in one variable. Let $I\subseteq\Bbb R[x]$ be an ideal. Then which are true?
- $I$ is a maximal ideal if and only if $I$ is a non-zero prime ideal.
- $I$ is a maximal ideal if and only if the quotient ring $\Bbb R[x]/I$ is isomorphic to $\Bbb R$.
- $I$ is a maximal ideal if and only if $I=(f(x))$, where $f(x)$ is a non constant irreducible polynomial over $\Bbb R$.
- $I$ is a maximal ideal iff there exists a non constant polynomial $f(x)\in I$ of degree $\le2$.
I know $\Bbb R$ is a field implies $\Bbb R[x]$ is Euclidean domain implies principal ideal domain, so (1) is true. I think in PID (3) is also true.
But I have no idea about others. Can someone please help? Thanks.
Best Answer
Both 1 and 3 are correct.
Answer - $\mathbb{R}[X]/(X^2+1) \simeq \mathbb{C}$ via the mapping $\bar{X} \to i$. Can you now work out the details?