Es sei ein
kommutativer Ring,
eine
kommutative Gruppe
und der zugehörige
Gruppenring
mit der in
Beispiel
beschriebenen
Hopf-Struktur.
Es sei eine kommutative
-Algebra.
- Es liege eine
-Graduierung
von
(als -Algebra)
vor. Zeige, dass durch
-
eine
-Kooperation
der
Hopf-Algebra
auf festgelegt wird.
- Es liege eine -Kooperation
-
von auf vor. Zeige, dass durch
-
eine -Graduierung auf festgelegt wird.
- Zeige, dass die Zuordnungen aus (1) und (2) invers zueinander sind.