Finitely generated and integral equals finite: Difference between revisions
(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...) |
(No difference)
|
Revision as of 21:19, 2 February 2008
Statement
Let be a homomorphism of commutative unital rings. Then is a finite morphism if and only if is finitely generated and integral.
