Bialgebra

Eine Bialgebra ist ein Vektorraum oder Modul, der gleichzeitig eine assoziative unitäre Algebra-Struktur (Multiplikation und Einheit) und eine koassoziative koeintäre Koalgebra-Struktur (Komultiplikation und Ko‑Einheit) besitzt, verbunden durch Verträglichkeitsbedingungen, die die Komultiplikation und die Ko‑Einheit zu Algebra-Homomorphismen machen (äquivalent: Multiplikation und Einheit sind Koal