The Ideal $(x)$ is Prime in the Polynomial Ring $R[x]$ if and only if the Ring $R$ is an Integral Domain

Problem 198

Let $R$ be a commutative ring with $1$. Prove that the principal ideal $(x)$ generated by the element $x$ in the polynomial ring $R[x]$ is a prime ideal if and only if $R$ is an integral domain.

Prove also that the ideal $(x)$ is a maximal ideal if and only if $R$ is a field.

We claim that we have a ring isomorphism
\[ R[x]/(x) \cong R.\]
Let us for the moment assume that this claim is true and prove the problem.
If the ideal $(x)$ is a prime ideal of $R[x]$, then $R[x]/(x)$ is an integral domain.
Hence, by the claim $R\cong R[x]/(x)$ is also an integral domain.

On the other hand, if $R$ is an integral domain, then $R[x]/(x)$ is also an integral domain.
This yields that the ideal $(x)$ is a prime ideal.

Similarly, we see that the ideal $(x)$ is a maximal ideal if and only if $R\cong R[x]/(x)$ is a field.

Thus it remains to prove the claimed isomorphism of rings.

Proof of the claim

Define
\[\Psi: R[x] \to R\]
by mapping $f(x) \in R[x]$ to $f(0)\in R$. (Evaluating the polynomial $f(x)$ at $x=0$.)
Then the map $\Psi$ is a ring homomorphism since we have for $f, g\in R[x]$ and $r\in R$
\begin{align*}
\Psi(f+g)&=(f+g)(0)=f(0)+g(0)=\Psi(f)+\Psi(g)\\
\Psi(rf)&=(rf)(0)=rf(0)=r\Psi(f).
\end{align*}

The homomorphism $\Psi$ is surjective since for any $r\in R$, letting $f(x)=r$ we see that $\Psi(f)=r$.
Therefore by the isomorphism theorem for rings, we have
\[R[x]/\ker(\Psi) \cong R. \tag{*}\]
It remains to show that
\[\ker(\Psi)= (x).\]

$(\implies)$ Let $f\in \ker(\Psi)$. Then we have $\Psi(f)=f(0)=0$.
Let us write
\[f(x)=a_nx^n+a_{n-1}x^{n-1}+\cdots +a_1 x +a_0.\]
Then since $f(0)=0$, we have $a_0=0$ and thus we have
\[f(x)=x(a_nx^{n-1}+a_{n-1}x^{n-2}+\cdots +a_1) \in (x).\]
Thus $\ker(\Psi) \subset R$.
$(\impliedby)$ Let $f\in (x)$. Then we can write $f$ as $f=xg$ for some $g\in R[x]$.
It follows that we have
\[\Psi(f)=f(0)=0\cdot g(0)=0\]
and $f\in \ker(\Psi)$.
Hence $R \subset \ker(\Psi)$.
Thus putting the two inclusions together gives $\ker(\Psi)= (x)$, and combining this with the isomorphism (*) we obtain
\[R[x]/(x)\cong R\]
as claimed.

Characteristic of an Integral Domain is 0 or a Prime Number
Let $R$ be a commutative ring with $1$. Show that if $R$ is an integral domain, then the characteristic of $R$ is either $0$ or a prime number $p$.
Definition of the characteristic of a ring.
The characteristic of a commutative ring $R$ with $1$ is defined as […]

$(x^3-y^2)$ is a Prime Ideal in the Ring $R[x, y]$, $R$ is an Integral Domain.
Let $R$ be an integral domain. Then prove that the ideal $(x^3-y^2)$ is a prime ideal in the ring $R[x, y]$.
Proof.
Consider the ring $R[t]$, where $t$ is a variable. Since $R$ is an integral domain, so is $R[t]$.
Define the function $\Psi:R[x,y] \to R[t]$ sending […]

A Maximal Ideal in the Ring of Continuous Functions and a Quotient Ring
Let $R$ be the ring of all continuous functions on the interval $[0, 2]$.
Let $I$ be the subset of $R$ defined by
\[I:=\{ f(x) \in R \mid f(1)=0\}.\]
Then prove that $I$ is an ideal of the ring $R$.
Moreover, show that $I$ is maximal and determine […]

Every Maximal Ideal of a Commutative Ring is a Prime Ideal
Let $R$ be a commutative ring with unity.
Then show that every maximal ideal of $R$ is a prime ideal.
We give two proofs.
Proof 1.
The first proof uses the following facts.
Fact 1. An ideal $I$ of $R$ is a prime ideal if and only if $R/I$ is an integral […]

Every Prime Ideal is Maximal if $a^n=a$ for any Element $a$ in the Commutative Ring
Let $R$ be a commutative ring with identity $1\neq 0$. Suppose that for each element $a\in R$, there exists an integer $n > 1$ depending on $a$.
Then prove that every prime ideal is a maximal ideal.
Hint.
Let $R$ be a commutative ring with $1$ and $I$ be an ideal […]

If Every Proper Ideal of a Commutative Ring is a Prime Ideal, then It is a Field.
Let $R$ be a commutative ring with $1$.
Prove that if every proper ideal of $R$ is a prime ideal, then $R$ is a field.
Proof.
As the zero ideal $(0)$ of $R$ is a proper ideal, it is a prime ideal by assumption.
Hence $R=R/\{0\}$ is an integral […]

In a Principal Ideal Domain (PID), a Prime Ideal is a Maximal Ideal
Let $R$ be a principal ideal domain (PID) and let $P$ be a nonzero prime ideal in $R$.
Show that $P$ is a maximal ideal in $R$.
Definition
A commutative ring $R$ is a principal ideal domain (PID) if $R$ is a domain and any ideal $I$ is generated by a single element […]

Irreducible Polynomial Over the Ring of Polynomials Over Integral Domain
Let $R$ be an integral domain and let $S=R[t]$ be the polynomial ring in $t$ over $R$. Let $n$ be a positive integer.
Prove that the polynomial
\[f(x)=x^n-t\]
in the ring $S[x]$ is irreducible in $S[x]$.
Proof.
Consider the principal ideal $(t)$ generated by $t$ […]