Bialgebra

In mathematics, a bialgebra over a field K is a vector space over K which is both a unital associative algebra and a coalgebra. The algebraic and coalgebraic structures are made compatible with a few more axioms. Specifically, the comultiplication and the counit are both unital algebra homomorphisms, or equivalently, the multiplication and the unit of the algebra both are coalgebra morphisms. (These statements are equivalent since they are expressed by the same commutative diagrams.)

Similar bialgebras are related by bialgebra homomorphisms. A bialgebra homomorphism is a linear map that is both an algebra and a coalgebra homomorphism.

As reflected in the symmetry of the commutative diagrams, the definition of bialgebra is self-dual, so if one can define a dual of B (which is always possible if B is finite-dimensional), then it is automatically a bialgebra.

Algebraic structures
Group-like Semigroup / Monoid Racks and quandles Quasigroup and loop Abelian group Magma Lie group Group theory
Ring-like Ring Rng Semiring Near-ring Commutative ring Domain Integral domain Field Ring theory
Lattice-like Lattice Semilattice Map of lattices Lattice theory
Module-like Module Group with operators Vector space
Algebra-like Algebra Associative Non-associative Lie algebra Graded Bialgebra

Formal definition

(B, ∇, η, Δ, ε) is a bialgebra over K if it has the following properties:

B is a vector space over K;
there are K-linear maps (multiplication) ∇: B ⊗ B → B (equivalent to K-multilinear map ∇: B × B → B) and (unit) η: K → B, such that (B, ∇, η) is a unital associative algebra;
there are K-linear maps (comultiplication) Δ: B → B ⊗ B and (counit) ε: B → K, such that (B, Δ, ε) is a (counital coassociative) coalgebra;
compatibility conditions expressed by the following commutative diagrams:

Multiplication ∇ and comultiplication Δ^[1]

where τ: B ⊗ B → B ⊗ B is the linear map defined by τ(x ⊗ y) = y ⊗ x for all x and y in B,
Multiplication ∇ and counit ε
Comultiplication Δ and unit η^[2]
Unit η and counit ε

Coassociativity and counit

The K-linear map Δ: B → B ⊗ B is coassociative if $(\mathrm{id}_B \otimes \Delta) \circ \Delta = (\Delta \otimes \mathrm{id}_B) \circ \Delta$ .

The K-linear map ε: B → K is a counit if $(\mathrm{id}_B \otimes \epsilon) \circ \Delta = \mathrm{id}_B = (\epsilon \otimes \mathrm{id}_B) \circ \Delta$ .

Coassociativy and counit are expressed by the commutativity of the following two diagrams with B in place of C (they are the duals of the diagrams expressing associativity and unit of an algebra):

Compatibility conditions

The four commutative diagrams can be read either as "comultiplication and counit are homomorphisms of algebras" or, equivalently, "multiplication and unit are homomorphisms of coalgebras".

These statements are meaningful once we explain the natural structures of algebra and coalgebra in all the vector spaces involved besides B: (K, ∇₀, η₀) is a unital associative algebra in an obvious way and (B ⊗ B, ∇₂, η₂) is a unital associative algebra with unit and multiplication

\eta_2 := (\eta \otimes \eta) : K \otimes K \equiv K \to (B \otimes B)

\nabla_2 := (\nabla \otimes \nabla) \circ (id \otimes \tau \otimes id) : (B \otimes B) \otimes (B \otimes B) \to (B \otimes B)

so that $\nabla_2 ( (x_1 \otimes x_2) \otimes (y_1 \otimes y_2) ) = \nabla(x_1 \otimes y_1) \otimes \nabla(x_2 \otimes y_2)$ or, omitting ∇ and writing multiplication as juxtaposition, $(x_1 \otimes x_2)(y_1 \otimes y_2) = x_1 y_1 \otimes x_2 y_2$ ;

similarly, (K, Δ₀, ε₀) is a coalgebra in an obvious way and B ⊗ B is a coalgebra with counit and comultiplication

\epsilon_2 := (\epsilon \otimes \epsilon) : (B \otimes B) \to K \otimes K \equiv K

\Delta_2 := (id \otimes \tau \otimes id) \circ (\Delta \otimes \Delta) : (B \otimes B) \to (B \otimes B) \otimes (B \otimes B)

Then, diagrams 1 and 3 say that Δ: B → B ⊗ B is a homomorphism of unital (associative) algebras (B, ∇, η) and (B ⊗ B, ∇₂, η₂)

\Delta \circ \nabla = \nabla_2 \circ (\Delta \otimes \Delta) : (B \otimes B) \to (B \otimes B)

, or simply Δ(xy) = Δ(x) Δ(y),

\Delta \circ \eta = \eta_2 : K \to (B \otimes B)

, or simply Δ(1_B) = 1_{B ⊗ B};

diagrams 2 and 4 say that ε: B → K is a homomorphism of unital (associative) algebras (B, ∇, η) and (K, ∇₀, η₀):

\epsilon \circ \nabla = \nabla_0 \circ (\epsilon \otimes \epsilon) : (B \otimes B) \to K

, or simply ε(xy) = ε(x) ε(y)

\epsilon \circ \eta = \eta_0 : K \to K

, or simply ε(1_B) = 1_K.

Equivalently, diagrams 1 and 2 say that ∇: B ⊗ B → B is a homomorphism of (counital coassociative) coalgebras (B ⊗ B, Δ₂, ε₂) and (B, Δ, ε):

\nabla \otimes \nabla \circ \Delta_2 = \Delta \circ \nabla : (B \otimes B) \to (B \otimes B),

\epsilon \circ \nabla = \nabla_0 \circ \epsilon_2 : (B \otimes B) \to K

;

diagrams 3 and 4 say that η: K → B is a homomorphism of (counital coassociative) coalgebras (K, Δ₀, ε₀) and (B, Δ, ε):

\Delta \circ \eta = \eta_2 \circ \Delta_0: K \to (B \otimes B),

\epsilon \circ \eta = \eta_0 \circ \epsilon_0 : K \to K

Examples

A simple example of a bialgebra is the set of functions from a group G to $\mathbb R$ , which we may represent as a vector space $\mathbb R^G$ consisting of linear combinations of standard basis vectors e_g for each g ∈ G, which may represent a probability distribution over G in the case of vectors whose coefficients are all non-negative and sum to 1. An example of suitable comultiplication operators and counits which yield a counital coalgebra are

\Delta(\mathbf e_g) = \mathbf e_g \otimes \mathbf e_g \,,

which represents making a copy of a random variable (which we extend to all $\mathbb R^G$ by linearity), and

\varepsilon(\mathbf e_g) = 1 \,,

(again extended linearly to all of $\mathbb R^G$ ) which represents "tracing out" a random variable — i.e., forgetting the value of a random variable (represented by a single tensor factor) to obtain a marginal distribution on the remaining variables (the remaining tensor factors). Given the interpretation of (Δ,ε) in terms of probability distributions as above, the bialgebra consistency conditions amount to constraints on (∇,η) as follows:

η is an operator preparing a normalized probability distribution which is independent of all other random variables;
The product ∇ maps a probability distribution on two variables to a probability distribution on one variable;
Copying a random variable in the distribution given by η is equivalent to having two independent random variables in the distribution η;
Taking the product of two random variables, and preparing a copy of the resulting random variable, has the same distribution as preparing copies of each random variable independently of one another, and multiplying them together in pairs.

A pair (∇,η) which satisfy these constraints are the convolution operator

\nabla\bigl(\mathbf e_g \otimes \mathbf e_h\bigr) = \mathbf e_{gh} \,,

again extended to all $\mathbb R^G \otimes \mathbb R^G$ by linearity; this produces a normalized probability distribution from a distribution on two random variables, and has as a unit the delta-distribution $\eta = \mathbf e_{i} \;,$ where i ∈ G denotes the identity element of the group G.

Other examples of bialgebras include the Hopf algebras.^[3] Similar structures with different compatibility between the product and comultiplication, or different types of multiplication and comultiplication, include Lie bialgebras and Frobenius algebras. Additional examples are given in the article on coalgebras.

Notes

↑ Dăscălescu, Năstăsescu & Raianu (2001). Hopf Algebras: An introduction. pp. 147 & 148.
↑ Dăscălescu, Năstăsescu & Raianu (2001). Hopf Algebras: An introduction. p. 148.
↑ Dăscălescu, Năstăsescu & Raianu (2001). Hopf Algebras: An introduction. p. 151.

References

Dăscălescu, Sorin; Năstăsescu, Constantin; Raianu, Șerban (2001), Hopf Algebras: An introduction, Pure and Applied Mathematics 235 (1st ed.), Marcel Dekker, ISBN 0-8247-0481-9 .