Ring theory

$(x^3-y^2)$ is a Prime Ideal in the Ring $R[x, y]$, $R$ is an Integral Domain.

Problems and solutions of ring theory in abstract algebra

Problem 239

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 $x$ to $t^2$ and $y$ to $t^3$, and extend it to for any $f(x,y)\in R[x,y]$ by linearity.
Then the map $\Psi$ is a ring homomorphism.

Our goal is to show that the kernel of $\Psi$ is the ideal $(x^3-y^2)$. If this is proved, then the first isomorphism theorem implies that $R[x,y]/(x^3-y^2)$ is a subring of the integral domain $R[t]$, and thus $(x^3-y^2)$ is a prime ideal.

Therefore it suffices to show that $\ker(\Psi)=(x^3-y^2)$.
Since we have
\[\Psi(x^3-y^2)=(t^2)^3-(t^3)^2=t^6-t^6=0,\] one inclusion $(x^3-y^2) \subset \ker(\Psi)$ is clear.

To show that the other inclusion $\ker(\Psi) \subset (x^3-y^2)$, note that for any $f(x,y)\in R[x,y]$ we can write
\[f(x,y)=f_0(x)+f_1(x)y+(x^3-y^2)g(x,y), \tag{*}\] where $f_0(x), f_1(x)\in R[x]$ and $g(x,y)\in R[x,y]$.
To obtain this expression, note that we have
\[x^my^n=-(x^3-y^2)x^my^{n-2}+x^{m+3}y^{n-2}\] for integers $m$ and $n\geq 2$.

Use this relation recursively (to the second term), we can express
\[x^my^n=(x^3-y^2)p(x,y)+q_0(x)+q_1(x)y\] for some $p(x,y)\in R[x,y]$ and $q_0, q_1\in R[x]$.
Hence we obtain the expression (*).

Suppose that $f(x,y)\in \ker(\Psi)$ and $f(x,y)$ can be written as in (*).
Then we have
\begin{align*}
0&=\Psi(f(x,y))=f(t^2,t^3)\\
&=f_0(t^2)+f_1(t^2)t^3+((t^2)^3-(t^3)^2)g(t^2, t^3)\\
&=f_0(t^2)+f_1(t^2)t^3.
\end{align*}

Note that the even terms of the polynomial $f_0(t^2)+f_1(t^2)t^3$ are $f_0(t^2)$, and the odd terms are $f_1(t^2)t^3$.
Thus, we have $f_0(t^2)=0$, and $f_1(t^2)=0$.
Equivalently, we have $f_0(x)=0$ and $f_1(x)=0$.

It follows that
\[f(x,y)=(x^3-y^2)g(x,y)\] and it is in the ideal $(x^3-y^2)$.
Thus we prove that $\ker(\Psi)=(x^3-y^2)$ as required.

Add to solve later

More from my site

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 […]
The Ideal $(x)$ is Prime in the Polynomial Ring $R[x]$ if and only if the Ring $R$ is an Integral Domain 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 […]
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 […]
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 […]
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 […]
$Prove the Ring Isomorphism $R[x,y]/(x) \cong R[y]$$ Prove the Ring Isomorphism $R[x,y]/(x) \cong R[y]$ Let $R$ be a commutative ring. Consider the polynomial ring $R[x,y]$ in two variables $x, y$. Let $(x)$ be the principal ideal of $R[x,y]$ generated by $x$. Prove that $R[x, y]/(x)$ is isomorphic to $R[y]$ as a ring. Proof. Define the map $\psi: R[x,y] \to […]
Generators of the Augmentation Ideal in a Group Ring Let $R$ be a commutative ring with $1$ and let $G$ be a finite group with identity element $e$. Let $RG$ be the group ring. Then the map $\epsilon: RG \to R$ defined by \[\epsilon(\sum_{i=1}^na_i g_i)=\sum_{i=1}^na_i,\] where $a_i\in R$ and $G=\{g_i\}_{i=1}^n$, is a ring […]