Hopf-Algebra/Homomorphismus/Definition

Aus Wikiversity
Hopf-Algebrahomomorphismus

Es sei ein kommutativer Ring und kommutative -Hopf-Algebren. Ein -Algebrahomomorphismus

heißt Hopf-Algebrahomomorphismus, wenn er mit den Komultiplikationen, den Koeinheiten und den Koinversen verträglich ist.