3
$\begingroup$

I'd like to see a complete proof of the simplest version of the following rough statement: "If $f/g$ is a rational function on a reduced scheme ($g$ not a zero divisor), and $f/g$ doesn't have poles in codimension $1$, then $f/g$ is a well-defined function on the normalization."

I figure this should be called the valuative criterion of integrality (and if not, then maybe that's my problem). I can't find it in [Eisenbud], [Vakil], [Hartshorne], or [Vasconcelos]. There is a version of it in [Huneke-Swanson], but they're treating the more general case of integral closure of ideals than merely of rings, which obviously I should be able to downgrade from but would rather not if I don't have to. Where should I read about it?

$\endgroup$

1 Answer 1

5
$\begingroup$

This is corollary 11.4 in Eisenbud's book, namely a normal domain is the intersection of its localizations at primes of codimension 1.

$\endgroup$
1
  • 2
    $\begingroup$ In [Vakil], it goes by the moniker 'Algebraic Hartogs Lemma'. $\endgroup$ Oct 20, 2011 at 21:00

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.