morphism of finite presentation
A homomorphism of schemes is
finitely presented at if there is an affine open neighborhood and an affine open set , such that is finitely presented as an -algebra.
locally finitely presented if it is finitely presented at each .
finitely presented if it is locally finitely presented, quasicompact and quasiseparated.
essentially finitely presented if it is a localization of a finitely presented morphism.
A standard open (Zariski topology) is of finite presentation. More generallly, an étale morphism of schemes is of finite presentation (though essentially by definition so).
Revised on May 12, 2015 15:11:50
by Adeel Khan