Es sei R {\displaystyle {}R} ein kommutativer Ring, f 1 , … , f n ∈ R {\displaystyle {}f_{1},\ldots ,f_{n}\in R} und
Definiere eine Hopf-Algebrastruktur auf A {\displaystyle {}A} (über R {\displaystyle {}R} ).