Lokal faktorielles integres Schema/Invertierbare Garbe/Schnitt/Nullstelle/Divisor/Isomorphie/Aufgabe
Es sei ein lokal faktorielles noethersches integres Schema und sei eine invertierbare Untergarbe der konstanten Funktionenkörpergarbe. Es sei
ein nichttrivialer Schnitt. Zeige, dass die Nullstellenmenge zu , also , in natürlicher Weise ein effektiver Weildivisor auf ist, derart, dass
ist.