Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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?

share|improve this question
add comment

1 Answer

up vote 5 down vote accepted

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

share|improve this answer
    
Well, so it is! Thanks! –  Allen Knutson Oct 20 '11 at 20:28
2  
In [Vakil], it goes by the moniker 'Algebraic Hartogs Lemma'. –  Graham Leuschke Oct 20 '11 at 21:00
add comment

Your Answer

 
discard

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.