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.