Standard-graduierter Ring/Getwistete Struturgarbe/Rückzug/Fakt/Beweis
Erscheinungsbild
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.