Schema über R/Invertierbare Garbe/Schnitte/Morphismus in projektiven Raum/Hyperebene/Urbild/Fakt

Es sei ein Schema über einem kommutativen Ring , es sei eine invertierbare Garbe auf und es seien globale Schnitte auf und der zugehörige Morphismus.

Dann ist das Urbild der Hyperebene

(mit , nicht alle gleich ) unter gleich der Nullstellenmenge

des zurückgezogenen Schnittes .