# Show that $k[x,y]/(xy-1)$ is not isomorphic to a polynomial ring in one variable.

Let $R=k[x,y]$ be a polynomial ring ($k$, of course, is a field). Show that $R/(xy-1)$ is not isomorphic to a polynomial ring in one variable.

• Just because $x+y$ is in $X=R/(xy-1)$ (which is not even true, only $x+y+(xy-1)$ is in $X$, that does not mean that $X$ is not isomorphic to some polynomial ring in one variable. For example, the ring generated by $x+y$ is isomorphic to a polynomial ring in one variable. – 5xum Aug 31 '15 at 6:53
• Well, among other things, if it was $k'[z]$, for some field $k'$, you'd know it'd be a euclidean domain (And thus a principal ideal domain). Can you find an ideal in your new ring that is not principal? That'd do it. (Note: I don't know if this is true or not, but it's a good place to start) – Alan Aug 31 '15 at 6:54
• Try thinking about units. – moonlight Aug 31 '15 at 6:54
• @Learner: Perhaps, to be more specific, think about whether or not units generate each of the two rings $A[z]$ and $R/(xy-1)$ and whether that is a property invariant under isomorphism. – moonlight Aug 31 '15 at 7:18
• @JyrkiLahtonen That's OK by me. These things can go either way sometimes. – rschwieb Sep 2 '15 at 0:32

## 2 Answers

Suppose $R\simeq K[T]$, where $K$ is a commutative ring. Then $K$ is an integral domain and since $\dim K[T]=1$ we get $\dim K=0$ (why?). It follows that $K$ is a field. So $k[X,X^{-1}]\simeq K[T]$. Now use this answer.

In the lines of the accepted answer, one can show that the global dimension of $k[x,x^{-1}]$ is $1$, so that if it is isomorphic to a polynomial ring, it must be isomorphic to one of the form $D[y]$ with $D$ a semisimple commutative domain, which is thus a field.