Prove the Ring Isomorphism $R[x,y]/(x) \cong R[y]$

Problems and solutions of ring theory in abstract algebra

Problem 517

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.

 
LoadingAdd to solve later

Sponsored Links


Proof.

Define the map $\psi: R[x,y] \to R[y]$ by sending $f(x,y)\in R[x,y]$ to $f(0,y)$.
Namely, the map $\psi$ is the substitution $x=0$.
It is straightforward to check that $\psi$ is a ring homomorphism.


For any polynomial $g(y)\in R[y]$, let $G(x, y)=g(y)\in R[x,y]$.
Then we have $\psi(G(x,y))=G(0,y)=g(y)$.
This proves that $\psi$ is surjective.


We claim that the kernel of $\psi$ is the ideal $(x)$.

Suppose that $f(x,y) \in \ker(\psi)$.
We write
\[f(x,y)=f_0(y)+f_1(y)x+\cdots +f_n(y)x^n,\] where $f_i\in R[y]$ for $i=1, \dots, n$.

Since $f(x,y)\in \ker(\psi)$, it yields that
\[0=\psi(f(x,y))=f(0,y)=f_0(y).\] Hence
\begin{align*}
f(x,y)&=f_1(y)x+\cdots +f_n(y)x^n\\
&=x\left(f_1(y)+\cdots +f_n(y)x^{n-1}\right) \in (x).
\end{align*}
Thus, $\ker(\psi) \subset (x)$.

On the other hand, suppose $f(x,y)\in (x)$.
Then there exists $g(x,y) \in R[x,y]$ such that
\[f(x,y)=xg(x,y).\] It follows that
\begin{align*}
\psi\left(\, f(x,y) \,\right)&=\psi\left(\, xg(x,y) \,\right)=0g(0,y)=0.
\end{align*}
It implies that $f(x,y) \in \ker(\psi)$, hence $\ker(\psi) \subset (x)$.

Putting two inclusions together gives $(x)=\ker(\psi)$.


In summary, the map $\psi:R[x,y] \to R[y]$ is a surjective ring homomorphism with kernel $(x)$.

Hence by the isomorphism theorem, we obtain the isomorphism
\[R[x,y]/(x)\cong R[y].\]


LoadingAdd to solve later

Sponsored Links

More from my site

You may also like...

1 Response

  1. 07/26/2017

    […] The third example is the ring of polynomials in two variables $R=Q[x, y]$ over $Q$ and the principal ideal $I=(x)$ generated by $x$. The quotient ring $Q[x,y]/(x)$ is isomorphic to $Q[y]$. (The proof of this isomorphism is given in the post Prove the Ring Isomorphism $R[x,y]/(x) cong R]y]$.) […]

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.

More in Ring theory
Problems and solutions of ring theory in abstract algebra
Idempotent Elements and Zero Divisors in a Ring and in an Integral Domain

Prove the following statements. (a) If $a\neq 1$ is an idempotent element of $R$, then $a$ is a zero divisor....

Close