Morphism of finite type: Difference between revisions
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]]. | |||
==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.