Hopf-Algebra/Kooperation/Invariantenring/Aufgabe

Es sei ein kommutativer Ring und eine kommutative -Hopf-Algebra zusammen mit einer Kooperation auf der kommutativen -Algebra . Wir betrachten die beiden -Algebrahomomorphismen

(die Kooperation) und

Zeige, dass die Menge

ein Unterring

von ist.