I'm trying to practice with localization of rings. In particular, I want to determine the generator t of the principal maximal ideal of the localization of the coordinate ring of a curve at a point. Let's say I have a curve C given by $y^2=(x-1)(x-2)(x-3)$.
The coordinate ring of C is $k[C]=k[x,y]/( y^2-(x-1)(x-2)(x-3) )$
I want to localize $k[C]$ at say $p=(1,0)$. I'd like to determine $t$, so I'm thinking I should know how $k[C]_p$ looks like explicitly. This is where I'm stuck. I'd appreciate someone showing me how this is done.
The curve $C$ has a point at infinity $p=[1:0:0]$. Why is $p$ the point at infinity? I think I don't understand this concept with respect to curves.
For $p=[1:0:0]$, I want to determine the generator of the maximal ideal $\mathfrak{m}_p$ in the localization $k[C]_p$. So, I'll have to do this in the affine chart that contains $p$. So, the chart will be $U=\{\,[1,y,z]\, |\, y,z\in k\,\}\cong\{\,(y,z)\,|\,y,z\in k\,\}=\mathbb{A}^2$. In this chart, the curve is given by the equation: $y^2=z(1-z)(1-2z)(1-3z)$
Then what? I'm thinking to localize $k[C]$ at the point $(0,0)$ because it corresponds to $p$. So $(0,0)$ corresponds to the maximal ideal $(y,z)$ in $k[C]$, also the maximal ideal in $k[C]_p$ is $\mathfrak{m}_p=(y,z)$. Now, $(1-z)(1-2z)(1-3z)\notin (y,z)$ which means that $(1-z)(1-2z)(1-3z)$ is a unit $u$ in $k[C]_p$. We write $y^2=uz$ which means that $z=u^{-1}y^2$. This shows that $z\in(y)$, and we conclude that $(y,z)=(y)$.
I think this is correct, but I doubt it. I think my problem is with the concept of points at infinity on curves.