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:

Bialgebra commutative diagrams

Multiplication and co-multiplication:

Bialgebra commutative diagrams

Multiplication and counit:

Bialgebra commutative diagrams

Comultiplication and unit:

Bialgebra commutative diagrams

Here \nabla :B \otimes B \to B is the algebra multiplication and \eta: K \to B\, is the unit of the algebra. \Delta: B \to B \otimes B is the comultiplication and \epsilon: B \to K\, is the counit. \tau: B \otimes B \to B \otimes B is the linear map defined by \tau(x \otimes y) = y\otimes x for all x and y in B.

In formulas, the bialgebra compatibility conditions look as follows (using the sumless Sweedler notation):

(ab)_{(1)}\otimes (ab)_{(2)} = a_{(1)}b_{(1)} \otimes a_{(2)}b_{(2)}\,
1_{(1)}\otimes 1_{(2)} = 1 \otimes 1 \,
\varepsilon(ab)=\varepsilon(a)\varepsilon(b)\;
\varepsilon(1)=1.\;

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.

[edit] See Also

Retrieved from "http://en.wikipedia.org../../../b/i/a/Bialgebra.html"
In other languages