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.

See also Hopf algebra

This article is a stub. You can help Wikipedia by fixing it.