Schema über R/Invertierbare Garbe/Schnitte/Morphismus in projektiven Raum/Global definiert/Fakt
Es sei ein Schema über einem kommutativen Ring , es sei eine invertierbare Garbe auf und es seien globale Schnitte auf . Dann sind die folgenden Aussagen äquivalent.
- Es ist .
- Der durch das lineare System definierte Morphismus nach ist auf ganz definiert.
- Das lineare System ist basispunktfrei.