Standard-graduierter Ring/Getwistete Struturgarbe/Rückzug/Fakt

Aus Wikiversity

Es sei ein standard-graduierter Ring und ein Restklassenring zu einem homogenen Ideal . Es sei

die zugehörige abgeschlossene Einbettung.

Dann gilt für die getwisteten Strukturgarben die Beziehung