Es sei K {\displaystyle {}K} ein Körper und sei A = K [ X 1 , … , X n ] {\displaystyle {}A=K[X_{1},\ldots ,X_{n}]} . Definiere eine Hopf-Algebrastruktur auf A {\displaystyle {}A} derart, dass zu jeder kommutativen K {\displaystyle {}K} -Algebra L {\displaystyle {}L} ein natürlicher Gruppenisomorphismus
besteht.
![{\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)