Erzwingende Algebra/Hopf-Algebrastruktur/Kooperation/Aufgabe

Aus Wikiversity

Es sei ein kommutativer Ring, . Wir setzen

versehen mit der in Aufgabe diskutierten Hopf-Algebrastruktur, und

Definiere eine Kooperation von auf

(über ).