Finite morphism: Difference between revisions

Revision as of 21:37, 2 February 2008

This article defines a property that can be evaluated for a homomorphism of commutative unital rings

Suppose $R$ and $S$ are commutative unital rings and $f:R\to S$ is a homomorphism of commutative unital rings. This makes $S$ naturally into a $R$ -module. Then, $f$ is termed finite if $S$ is a finitely generated module over $R$ .

When the morphism is injective, we say that $S$ is a finite extension of $R$ .

Revision as of 21:37, 2 February 2008 (view source) Vipul (talk \| contribs) (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 un...)		Revision as of 21:37, 2 February 2008 (view source) Vipul (talk \| contribs) No edit summary Newer edit →
Line 1:		Line 1:
	{curing-homomorphism property}}		{{curing-homomorphism property}}

	==Definition==		==Definition==