Bialgebra

Bialgebra

A bialgebra over a field k is a structure which is both a unital associative algebra and a coalgebra (over the same field) satisfying certain additional properties.

In detail. a number of conditions are required that may be represented by commutative diagrams:

These are the associative algebra conditions.

These are the coalgebra conditions.

These are the bialgebra conditions