Finitely generated morphism: Difference between revisions
(New page: {{curing-homomorphism property}} ==Definition== Suppose <math>R</math> and <math>S</math> are commutative unital rings and <math>f:R \to S</math> is a [[homomorphism of commutative u...) |
m (1 revision) |
(No difference)
| |
Latest revision as of 16:21, 12 May 2008
This article defines a property that can be evaluated for a homomorphism of commutative unital rings
Definition
Suppose and are commutative unital rings and is a homomorphism of commutative unital rings. Then, we say that is a finitely generated morphism if is finitely generated as an -algebra; in other words, there exists a finite subset of , that, along with the image , generates .
