Finitely generated and integral equals finite

From Commalg
Revision as of 21:19, 2 February 2008 by Vipul (talk | contribs) (New page: ==Statement== Let <math>f:R \to S</math> be a homomorphism of commutative unital rings. Then <math>f</math> is a finite morphism if and only if <math>f</math> is [[finitely genera...)
(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.