Projektiver Raum/Kohärente Garbe/Surjektion mit direkter Summe/Fakt/Beweis

Aus Wikiversity
Beweis

Nach Fakt gibt es ein derart, dass von endlich vielen globalen Schnitten erzeugt wird. Nach Fakt  (2) liegt also ein surjektiver Modulhomomorphismus

vor. Wir tensorieren mit und erhalten eine Surjektion