Kommutativer Ring/Operation durch Addition auf Polynomring/Invariantenring/Aufgabe

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.