closed immersion

A morphism of schemes $f:(X,\\mathcal{O}_{X})\\longrightarrow(Y,\\mathcal{O}_{Y})$ is a closed immersion if:

1.
As a map of topological spaces, $f:X\\longrightarrow Y$ is a homeomorphism from $X$ into a closed subset of $Y$ , and
2.
the morphism of sheaves $\\mathcal{O}_{Y}\\longrightarrow\\mathcal{O}_{X}$ associated with $f$ is an epimorphism (http://planetmath.org/AbelianCategory) in the category of sheaves.

This notion is the analog of the notion of closed immersion (http://planetmath.org/Immersion) in the category of differential manifolds.

单词	ClosedImmersion
释义	closed immersion A morphism of schemes $f:(X,\\mathcal{O}_{X})\\longrightarrow(Y,\\mathcal{O}_{Y})$ is a closed immersion if: 1. As a map of topological spaces, $f:X\\longrightarrow Y$ is a homeomorphism from $X$ into a closed subset of $Y$ , and 2. the morphism of sheaves $\\mathcal{O}_{Y}\\longrightarrow\\mathcal{O}_{X}$ associated with $f$ is an epimorphism (http://planetmath.org/AbelianCategory) in the category of sheaves. This notion is the analog of the notion of closed immersion (http://planetmath.org/Immersion) in the category of differential manifolds.
随便看	Baumslag-Solitar group BautinsTheorem Bautin’s theorem BayesRule BayesTheorem Bayes’ theorem Baye’s rule BBalphaTree BB(alpha) tree BealConjecture Beal conjecture BeattySequence Beatty sequence BeattysTheorem Beatty’s theorem Behavior behavior BehaviorExistsUniquelyfiniteCase behavior exists uniquely (finite case) BehaviorExistsUniquelyinfiniteCase behavior exists uniquely (infinite case) BehnkeSteinTheorem Behnke-Stein theorem BehrendsConstruction Behrend’s construction