Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.
  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.)

share|improve this question
3  
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
4  
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
1  
Actually, I couldn't solve the second question. –  the symplectic camel Jan 4 '12 at 17:21

2 Answers 2

up vote 10 down vote accepted

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.

share|improve this answer
3  
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. –  the symplectic camel 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).$

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.