Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $X$ be a noetherian integral (separated) scheme which is regular in codimension one. Let $Y$ be a prime divisor and let $\eta$ be the generic point of $Y.$ It seems I am missing something easy but why $\mathcal{O}_{X, \eta}$ is a DVR with the quotient field the function field of $X?$

And when it is said, $X$ is regular (non-singular) of codimension one, does it follow from the definition that the local ring of a codimension one closed subscheme is regular in general? (otherwise, the terminology doesn't make sense to me!)

share|cite|improve this question
up vote 4 down vote accepted

$\mathcal{O}_{X,\eta}$ is a regular local $1$-dimensional noetherian domain. It is a Theorem in commutative algebra which says that this is precisely a DVR.

If $X$ is an arbitrary integral scheme and $x \in X$, then the quotient field of $\mathcal{O}_{X,x}$ is the function field of $X$. Namely, since this a local issue, we may assume $X=\mathrm{Spec}(A)$ for some integral domain $A$, and just have to observe that $\mathrm{Quot}(A_{\mathfrak{p}}) = \mathrm{Quot}(A)$ for every prime $\mathfrak{p} \subseteq A$.

As for the last question, you should look at the definitions. Nothing happens.

share|cite|improve this answer
Dear Martin, I am aware of the theorem, but why it is of dimension $one?$ – Ehsan M. Kermani Oct 26 '12 at 7:36
The dimension of $\mathcal{O}_{X,x}$ is the codimension of $\overline{\{x\}}$ in $X$ (which is also called the codimension of $x$). – Martin Brandenburg Oct 26 '12 at 8:13
Hmm, I wasn't aware of this important fact, thank you. – Ehsan M. Kermani Oct 26 '12 at 8:22

Your Answer


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.