Bialgebra
A bialgebra is an algebraic structure that combines the structures of an algebra and a coalgebra, with compatibility conditions between them. In essence, it is a vector space equipped with operations for multiplication and comultiplication, along with units and counits, such that these structures are compatible.
More formally, a bialgebra over a field K is a vector space A over K, together with five linear maps:
-
Multiplication (m): m: A ⊗ A → A, which defines how to multiply two elements of A. Often denoted by m(a ⊗ b) = a * b or simply ab.
-
Unit (η): η: K → A, which maps an element of the field K to the unit element in A. Often denoted by η(k) = k1, where 1 is the multiplicative identity in A.
-
Comultiplication (Δ): Δ: A → A ⊗ A, which defines how an element of A "splits" into a tensor product of two elements of A.
-
Counit (ε): ε: A → K, which maps an element of A to an element of the field K.
-
These maps must satisfy the following axioms:
- (Associativity): m ∘ (m ⊗ idA) = m ∘ (idA ⊗ m) (Multiplication is associative)
- (Unit Property): m ∘ (η ⊗ idA) = idA = m ∘ (idA ⊗ η) (The unit element behaves as expected under multiplication)
- (Coassociativity): (Δ ⊗ idA) ∘ Δ = (idA ⊗ Δ) ∘ Δ (Comultiplication is coassociative)
- (Counit Property): (ε ⊗ idA) ∘ Δ = idA = (idA ⊗ ε) ∘ Δ (The counit behaves as expected under comultiplication)
- (Compatibility): Δ is an algebra homomorphism with respect to m and η, and ε is an algebra homomorphism. This can be expressed diagrammatically or through equations ensuring that multiplication and comultiplication are compatible:
- Δ(a * b) = Δ(a) * Δ(b), where the multiplication on the right-hand side is defined using the tensor product and the multiplication m.
- ε(a * b) = ε(a)ε(b)
- Δ(1) = 1 ⊗ 1, where 1 is the unit of A.
- ε(1) = 1, where 1 is the unit of K.
Bialgebras are fundamental in the study of quantum groups and Hopf algebras. The compatibility conditions between the algebra and coalgebra structures give them a rich structure that is important in many areas of mathematics and physics. A Hopf algebra is a bialgebra with an additional operation called an antipode.