Kommutativer Ring/Operation durch Addition auf Polynomring/Invariantenring/Aufgabe
Erscheinungsbild
Es sei ein kommutativer Ring und die additive Gruppe zu .
a) Zeige, dass durch die Zuordnung
wobei den durch gegebenen -Algebrahomomorphismus bezeichnet, eine Gruppenoperation von auf dem Polynomring definiert ist.
b) Zeige, dass der Fixring zu dieser Operation gleich ist.