# $\mathbb{Q}[x,y]/\langle x^2+y^2-1 \rangle$ is an integral domain

1. How can I prove that $\mathbb{Q}[x,y]/\langle x^2+y^2-1 \rangle$ is an integral domain?

2. Also, I need to prove that its field of fractions is isomorphic to the field of rational functions $\mathbb{Q}(t)$?

(The question is taken from UC Berkeley Preliminary Exam, Fall 1995.)

-
Do you want a method to show it or an actual solution? It is a theorem that the quotient is an integral domain if the ideal is prime. In this case you can check it is prime by checking that the polynomial is irreducible. – Matt Jan 4 '12 at 17:15
This is the same as proving that $\langle x^2+y^2-1 \rangle$ is a prime ideal in $\mathbb Q[x,y]$. – Thomas Andrews Jan 4 '12 at 17:16
Actually, I couldn't solve the second question. – HbCwiRoJDp Jan 4 '12 at 17:21

For 1., just prove directly that $x^2 + y^2 -1$ is a prime element of $\mathbb Q[x,y]$. If you want to, you can use Gauss's lemma, which reduces you to showing that it is irreducible, which is particularly simple. (But you can also prove it is prime directly pretty easily --- you will more or less recover the proof of Gauss's lemma in this special case.)

For 2., you need to rationally parameterize the conic $x^2 + y^2 - 1$. This is a standard part of the theory of pythagorean triples. (See the wikipedia entry; note that the quantity called $m/n$ there is your $t$.) The same geometric argument shows that any conic can be rationally parameterized if it contains at least one point defined over the ground field.

-
A silly argument for irreducibility is: if the polynomial were reducible, it would be a product of linear factors, and therefore its zero set in $\mathbb R^2$ would be unbounded, but it isn't. – Mariano Suárez-Alvarez Jan 4 '12 at 18:33
@MarianoSuárez-Alvarez I think this is equivalent to saying that the unit circle cannot be written as a union of two lines. – HbCwiRoJDp Jan 4 '12 at 22:50

Hint $\$ for $\rm\:1\!:\ x^2\!+y^2\!-1\$ is irreducible (so prime) since $\rm\ 1\!-\!y^2\$ is not a square in the UFD $\rm\:\mathbb Q[y]\:,\:$ indeed, the prime $\rm\:y\!-\!1\:$ occurs to odd power (equivalently apply Eisenstein using the prime $\rm\: y\!-\!1\:$).

For part $2,$ besides the Wikipedia entry on Pythagorean triples, be sure to see also the article on the tangent half-angle formula. This provides further intuition behind such rational parametrization. In particular it explains the Weierstrass substitution, which is widely used to reduce the problem of integration of rational functions $\rm\:R(sin(\theta),cos(\theta))\:$ to the much simpler problem of integrating a rational function $\:r(t).$

-