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.