Kommutativer Ring/Hopf-Algebra/Definition

Kommutative Hopf-Algebra

Es sei ein kommutativer Ring. Eine kommutative -Algebra heißt Hopf-Algebra, wenn es fixierte -Algebrahomomorphismen (genannt Komultiplikation, Koeinheit und Koinverses)

und

gibt, derart, dass die Diagramme


und

kommutieren.