3
$\begingroup$

Let $V = \mathbb A^1(k)$ ($k$ is an algebraically closed field), $\Gamma(V) = k[X]$ and let $K = k(V) = k(X)$. Prove that for each $a \in k = V$, $\mathcal{O}_a(V) := \{f\in K(V): f$ is defined at $a\}$ is a DVR with uniformizing parameter $t = X - a$.

  • 0
    Use the fact that $F(x)\in\Gamma(V)$ has$a$root at a iff $x-a~\vert~F(x).$2012-11-06

1 Answers 1

1

The ring $\mathcal O_a(V)$ coincides with the localization $k[X]_{(X-a)}$. This is a PID because it is a localization of a PID. We must show it has only one nonzero prime ideal. To each prime $Q$ in $\mathcal O_a(V)$ there corresponds a (unique) prime $P\subset k[X]$ contained in $(X-a)$. But $P$, being nonzero, is also maximal so $P=(X-a)$ and the unique nonzero prime is $Q=(X-a)k[X]_{(X-a)}$. This is indeed generated by $X-a$, as claimed.

[However, as an aside, the local rings of a nonsingular curve are always DVRs.]