Show that $R[x,y]$ is not a Principal Ideal Domain Let $R$ be a commutative ring with $1$. Prove that a polynomial ring in more than one variable over $R$ is not a P.I.D.. In order to show this is not a P.I.D. what do i need to show.  
 A: Let's show that if $R[x]$ is a PID, then $R$ is a field. Note first that $R$ is a subring of $R[x]$, so it is a domain.
If $a\in R$, $a\ne0$, the ideal $(a,x)$ is principal, that is, we find $f(x)\in R[x]$ with
$$
a=f(x)g(x),\qquad x=f(x)h(x)
$$
for some $g(x),h(x)\in R[x]$. Since $R$ is a domain, we have that
$$\def\deg{\operatorname{deg}}
0=\deg a=\deg f+\deg g,
\qquad
1=\deg x=\deg f+\deg h,
$$
so $\deg f=0$ ($\deg f$ means, of course, the degree of $f(x)$). Therefore $f(x)=b\ne0$ is constant. Also $\deg h=1$, so $h=cx+d$ with $c\ne0$. From
$$
b(cx+d)=x
$$
we conclude that $bc=1$, so $b$ is invertible in $R$, hence in $R[x]$. But then 
$$
(a,x)=(f(x))=(b)=R[x].
$$
In particular $1=ar(x)+xs(x)$ for some $r(x),s(x)\in R[x]$: evaluating at $0$ we have
$$
1=ar(0)
$$
and so $a$ is invertible in $R$.
Now, if $R[x_1,\dots,x_{n-1},x_n]=R[x_1,\dots,x_{n-1}][x_n]$ is a PID, we have that $R[x_1,\dots,x_{n-1}]$ is a field, which is not true if $n>2$, because $x_1$ is not invertible.
A: Proof: Suppose that $R[x,...,x_{n}]$ is a P.I.D. that means $R[x](x,..x_{n-1})$ has to be a field since we know that if $R[x]$ is a field if and only if $R$ is a field. But $R[x](x,..x_{n-1}$ is not a field, which is a contradiction. Hence $R$ is not a P.I.D.
