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.

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 […]

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 […]

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 […]

The Preimage of Prime ideals are Prime Ideals
Let $f: R\to R'$ be a ring homomorphism. Let $P$ be a prime ideal of the ring $R'$.
Prove that the preimage $f^{-1}(P)$ is a prime ideal of $R$.
Proof.
The preimage of an ideal by a ring homomorphism is an ideal.
(See the post "The inverse image of an ideal by […]