Kommutativer Ring/Hopf-Algebra/Definition

Kommutative Hopf-Algebra

Es sei ein kommutativer Ring. Eine kommutative Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „http://localhost:6011/de.wikiversity.org/v1/“:): {\displaystyle {{}} K} -Algebra heißt Hopf-Algebra, wenn es fixierte -Algebrahomomorphismen (genannt Komultiplikation, Koeinheit und Koinverses)

und

gibt, derart, dass die Diagramme


und

kommutieren.