Hopf-Algebra/Homomorphismus/Definition

Hopf-Algebrahomomorphismus

Es sei ${}K$ ein kommutativer Ring und ${}H_{1},H_{2}$ kommutative ${}K$-Hopf-Algebren. Ein ${}K$-Algebrahomomorphismus

$\varphi \colon H_{1}\longrightarrow H_{2}$

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