Bialgebra
From Wikipedia, the free encyclopedia
In mathematics, a bialgebra over a field K is a structure which is both a unital associative algebra and a coalgebra over K, such that the comultiplication and the counit are both unital algebra homomorphisms. Equivalently, one may require that the multiplication and the unit of the algebra both be coalgebra morphisms. The compatibility conditions can also be expressed by the following commutative diagrams:
The antipode:
Multiplication and co-multiplication:
Multiplication and counit:
Comultiplication and unit:
Here 
is the algebra multiplication and 
is the unit of the algebra. 
is the comultiplication and 
is the counit. 
is the linear map defined by 
for all x and y in B.
In formulas, the bialgebra compatibility conditions look as follows (using the sumless Sweedler notation):
Here we wrote the algebra multiplication as simple juxtaposition, and 1 is the multiplicative identity.
Examples of bialgebras include the Hopf algebras and the Lie bialgebras, which are bialgebras with certain additional structure. Additional examples are given in the article on coalgebras.
