Erzwingende Algebra/Hopf-Algebrastruktur/Kooperation/Aufgabe
Es sei ein kommutativer Ring, . Wir setzen
versehen mit der in Aufgabe diskutierten Hopf-Algebrastruktur, und
Definiere eine Kooperation von auf (über ).
Es sei 
![{\displaystyle {}A=R[T_{1},\ldots ,T_{n}]/(f_{1}T_{1}+\cdots +f_{n}T_{n})\,,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/67065826662f4a895bc9859d6d2f59821879b717)
versehen mit der in Aufgabe diskutierten Hopf-Algebrastruktur, und
![{\displaystyle {}B=R[T_{1},\ldots ,T_{n}]/(f_{1}T_{1}+\cdots +f_{n}T_{n}+f)\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1540b70a6562f738132040d32cdce8dbdd3d95b8)
Definiere eine
Kooperation
von 
