Erzwingende Algebra/Homogen/Hopf-Algebrastruktur/Aufgabe

Es sei ein kommutativer Ring, und

Definiere eine Hopf-Algebrastruktur auf

(über ).