Characterizing the field of fractions of $\mathbb Q[x,y]/(x^2+y^2-1)$.

515 Views Asked by At

Let $A = \mathbb Q [x, y] / (x ^ 2 + y ^ 2 - 1)$ and note that $A$ is a domain. How to show that $\operatorname{Quot} (A)$ (or $\operatorname{Frac} (A)$, i.e. the "field of fractions") is isomorphic to $\mathbb Q (t)$?

I know that the parametrization of the classic circle is $$t\mapsto \left(\frac{1 - t ^ 2}{ 1 + t ^ 2}, \frac{2t}{1 + t ^ 2}\right)$$

1

There are 1 best solutions below

4
On

Define a $\mathbb{Q}$-algebra homomorphism $\mathbb{Q}[x,y]$ to $\mathbb{Q}(t)$ by sending $x$ to $\frac{1 - t ^ 2}{ 1 + t ^ 2}$ and $y$ to $\frac{2t}{ 1 + t ^ 2}$. The ideal generated by $x^2+y^2-1$ is clearly in the kernel, so the map descends to a map $A=\mathbb{Q}[x,y]/(x^2+y^2-1) \rightarrow \mathbb{Q}(t)$.

A map between integral domains induces a map between their fraction fields, so you obtain $\mathrm{Frac}(A) \rightarrow \mathbb{Q}(t)$ (since $\mathbb{Q}(t)$ is its own fraction field). This is a nonzero map between fields, so it is automatically injective. Thus, it suffices to show surjectivity. This can be done by constructing an explicit preimage of an arbitrary rational function $p(t)/q(t)$ (hint: start by finding a preimage of $t/1$).