Finitely generated and integral equals finite
(Redirected from Finitely generated and integral implies finite)
Statement
Let be a homomorphism of commutative unital rings. Then is a finite morphism if and only if is finitely generated and integral.