Finite morphism: Difference between revisions

From Commalg
(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...)
 
m (2 revisions)
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
{curing-homomorphism property}}
{{curing-homomorphism property}}


==Definition==
==Definition==

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 R and S are commutative unital rings and f:RS 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.