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