Polynomring/Mehrere Variablen/Hopf-Algebrastruktur/Aufgabe
Es sei ein Körper und sei . Definiere eine Hopf-Algebrastruktur auf derart, dass zu jeder kommutativen -Algebra ein natürlicher Gruppenisomorphismus
besteht.
Es sei 
![{\displaystyle {}A=K[X_{1},\ldots ,X_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c97e1a505c140a34516f2c8cce293b3fa2512d29)
![{\displaystyle {}{\left(\operatorname {Spek} {\left(K[X_{1},\ldots ,X_{n}]\right)}\right)}(L)\cong (L^{n},+)\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f4050bff23ae9a863f3aa66697abc175c238d94)
besteht.