2

I am reading Reid "Undergraduate Commutative Algebra". At some point (page 62) he's talking about the ring $k[X,Y]/(Y^2-X^3)$, where $k$ is a field. He claims that it is easy to see that its ring of fractions is $k[t]$, where $t=y/x$ and lowercase letters indicate equivalence classes modulo $(Y^2-X^3)$ (so $x$ is the equivalence class of $X$ modulo the ideal). Can someone explain how to see $k[t]$ is the ring of fractions?

Enrico
  • 455
  • 1
    Are you sure it's supposed to be $k[t]$? It seems to me that it is not a field. $k(t)$ would be fine. – tomasz Nov 07 '17 at 00:52
  • Yes, it says verbatim "it is not hard to see that it has field of fractions $\mathrm{Frac}A=k(t)$ ". I must say I just noticed that here he uses round brackets and not square brackets, but I do not quite understand the difference in the two notations $k[t]$ and $k(t)$ either (a – Enrico Nov 07 '17 at 01:00
  • 2
    $k[t]$ is the smallest ring containing $k$ and $t$. $k(t)$ is the smallest field. – tomasz Nov 07 '17 at 01:02

1 Answers1

1

Hint: Notice that $t^2=x$. Conclude that $x,y\in k(t)$.

tomasz
  • 35,474