Integres Schema/Invertierbare Untergarben/Tensorierung und Produkt/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein integres Schema und seien invertierbare Untergarben der konstanten Garbe zum Funktionenkörper .

Dann ist

wobei diejenige Untergarbe von bezeichnet, die halmweise in jedem Punkt aus allen Produkten mit und erzeugt wird.