Projektives Schema/Ring/Definition

Abgeschlossene Einbettung

Ein Schema $(X,{𝒪}_X)$ über einem kommutativen Ring $R$ heißt projektiv, wenn es eine Faktorisierung

$X\stackrel{i}{⟶}{\mathbb{P}}_R^n⟶\mathrm{Spek}\left(R\right)$

gibt, bei der $i$ eine abgeschlossene Einbettung ist.