Morphism of finite type: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Giovanni Antonio DiMatteo
(creating page)
 
imported>Giovanni Antonio DiMatteo
Line 1: Line 1:
Morphisms of finite type are an important class of morphisms of schemes.  
Morphisms of finite type are an important class of morphisms of schemes.  


==Definition==
==Definition==


A morphism of schemes <math>f:X\to Y</math> is ''of finite type'' if it is [[quasi-compact]] and [[locally of finite type]].  
A morphism of schemes <math>f:X\to Y</math> is ''of finite type'' if it is [[quasi-compact]] and [[locally of finite type]].


==Properties==
==Properties==

Revision as of 20:09, 5 December 2007

Morphisms of finite type are an important class of morphisms of schemes.

Definition

A morphism of schemes is of finite type if it is quasi-compact and locally of finite type.

Properties