Nagata's compactification theorem

GPTKB entity

Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo gptkb:Noetherian_schemes
separated morphisms of finite type
gptkbp:field gptkb:algebraic_geometry
gptkbp:generalizes Temkin's compactification theorem
https://www.w3.org/2000/01/rdf-schema#label Nagata's compactification theorem
gptkbp:implies existence of compactifications in algebraic geometry
gptkbp:namedAfter gptkb:Masayoshi_Nagata
gptkbp:publishedIn Nagata, M. (1962). Imbedding of an abstract variety in a complete variety. J. Math. Kyoto Univ.
gptkbp:relatedTo gptkb:Zariski's_Main_Theorem
scheme theory
compactification
gptkbp:state Every separated finite type scheme over a Noetherian scheme can be embedded as an open subscheme of a proper scheme.
gptkbp:yearProved 1962
gptkbp:bfsParent gptkb:Masato_Nagata
gptkbp:bfsLayer 7