Hopf-Algebra

Eine Hopf-Algebra ist eine Bialgebra (eine assoziative Algebra mit einer kompatiblen, coassoziativen Coalgebra-Struktur: Komultiplikation Δ und Ko-Einheit ε) ausgestattet mit einer Antipode S, einer linearen Abbildung, die als kategorische Inversion für die Faltung wirkt und Axiome erfüllt, welche Algebra- und Coalgebra-Strukturen kompatibel machen.