In algebraic geometry, a proper morphism between schemes is a scheme-theoretic analogue of a proper map between complex-analytic varieties.
A basic example is a complete variety (e.g., projective variety) in the following sense: a k-variety X is complete in the classical definition if it is universally closed. A proper morphism is a generalization of this to schemes.
A closed immersion is proper. A morphism is finite if and only if it is proper and quasi-finite.
Read more about Proper Morphism: Definition, Examples, Properties and Characterizations of Proper Morphisms, Proper Morphism of Formal Schemes
Famous quotes containing the word proper:
“The cause of Sense, is the External Body, or Object, which presseth the organ proper to each Sense, either immediately, as in the Taste and Touch; or mediately, as in Seeing, Hearing, and Smelling: which pressure, by the mediation of Nerves, and other strings, and membranes of the body, continued inwards to the Brain, and Heart, causeth there a resistance, or counter- pressure, or endeavor of the heart, to deliver it self: which endeavor because Outward, seemeth to be some matter without.”
—Thomas Hobbes (1579–1688)