Closed immersion
From Wikipedia, the free encyclopedia
For the concept in differential geometry, see Immersion (mathematics).
In algebraic geometry, a closed immersion of schemes is a morphism of schemes that identifies Z as a closed subset of X such that locally, regular functions on Z can be extended to X.[1] The latter condition can be formalized by saying that is surjective.[2]
An example is the inclusion map induced by the canonical map .