English Morphisms of finite type Cited by user Felix QW on 07 May 2022 For a homomorphism A → B of commutative rings, B is called an A-algebra of finite type if B is a finitely generated as an A-algebra.