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

Aus Wikiversity
Beweis

Wir können direkt annehmen, dass

der standard-graduierte Polynomring über einem kommutativen Ring ist. Der homogene Restklassenhomomorphismus definiert einen -Modulhomomorphismus

Durch Adjunktion im Sinne von Fakt entspricht diesem ein -Modulhomomorphismus

Dieser ist ein Isomorphismus.