Finitely generated and integral equals finite

From Commalg
Revision as of 16:21, 12 May 2008 by Vipul (talk | contribs) (1 revision)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Statement

Let be a homomorphism of commutative unital rings. Then is a finite morphism if and only if is finitely generated and integral.