A representation category needs a way to tensor representations. For a group, the diagonal action g·(v⊗w)=(g·v)⊗(g·w) is obvious. Hopf algebras isolate the algebraic mechanism behind that diagonal action: the coproduct tells one algebra element how to act on two factors at once.
A Hopf algebra carries multiplication and comultiplication together. The algebra structure tells us how operators compose. The coalgebra structure tells us how one operator is distributed across tensor products. A counit plays the role of the trivial representation, and an antipode encodes inverse-like behaviour needed for duality.
This guide follows the tensor-products and duality guide and the Tannakian reconstruction guide. It prepares the next article on quantum groups, where the Hopf structure is deformed rather than discarded.
Algebra structure · Coalgebra structure · Core examples · Tensor representations · Duals and antipodes · Practice
Why ordinary associative algebras are not enough
An associative algebra A acts on a vector space V through an algebra homomorphism A→End(V). This is enough to define one representation.
But suppose V and W are both A-modules. How should A act on V⊗W? If a∈A acts by ρV(a) and ρW(a), a naive formula ρV(a)⊗ρW(a) is not linear in a. It also fails to describe familiar Lie-algebra actions, where a generator acts by the Leibniz rule X(v⊗w)=Xv⊗w+v⊗Xw.
We need extra structure that says how one algebra element becomes a sum of tensor products of algebra elements. That structure is the coproduct.
Start with an algebra
An associative unital algebra H over a field k has multiplication
m:H⊗H→H
and a unit map η:k→H. Associativity says m(m⊗id)=m(id⊗m). The unit behaves as expected.
For a group algebra kG, multiplication extends the group law linearly. For a universal enveloping algebra U(𝔤), multiplication is generated by Lie-algebra elements subject to XY−YX=[X,Y].
The algebra structure controls operator composition inside a representation.
A coalgebra reverses the arrows
A coalgebra has a coproduct
Δ:H→H⊗H
and a counit ε:H→k.
Coassociativity is
(Δ⊗id)Δ=(id⊗Δ)Δ.
This guarantees that the action on V⊗W⊗X is independent of whether we first group the first two tensor factors or the last two.
The counit equations are
(ε⊗id)Δ=id=(id⊗ε)Δ,
after the standard identifications k⊗H≈H≈H⊗k. The counit makes the one-dimensional trivial module compatible with tensor products.
Sweedler notation keeps coproduct formulas readable
Instead of writing a potentially long sum
Δ(h)=Σih′i⊗h″i,
one often writes
Δ(h)=Σ h(1)⊗h(2)
and usually suppresses the summation symbol. The subscripts do not identify two fixed components; they are placeholders for the terms in the coproduct sum.
A bialgebra makes multiplication and comultiplication compatible
A bialgebra is simultaneously an algebra and coalgebra, with Δ and ε algebra homomorphisms. In particular,
Δ(ab)=Δ(a)Δ(b)
where multiplication on H⊗H is componentwise:
(a⊗b)(c⊗d)=ac⊗bd.
This compatibility ensures that the tensor-product action remains a representation: the way ab acts on V⊗W agrees with applying b and then a according to the representation convention.
The antipode completes the Hopf structure
A Hopf algebra is a bialgebra with a linear map S:H→H called the antipode satisfying
m(S⊗id)Δ(h)=ε(h)1=m(id⊗S)Δ(h).
In Sweedler notation:
Σ S(h(1))h(2)=ε(h)1=Σh(1)S(h(2)).
For group elements, the antipode is inversion. For Lie generators in a universal enveloping algebra, it is negation. In a general Hopf algebra it is the abstract map that makes these two examples part of one theory.
Example 1: the group algebra kG
Let G be a group. The group algebra kG becomes a Hopf algebra by declaring every group element g to be group-like:
Δ(g)=g⊗g, ε(g)=1, S(g)=g−1.
Extend all three maps linearly.
Coassociativity is immediate:
(Δ⊗id)Δ(g)=g⊗g⊗g=(id⊗Δ)Δ(g).
The antipode identity becomes g−1g=e, matching ordinary group inversion.
Most importantly, the tensor-product action is
g·(v⊗w)=(g·v)⊗(g·w),
because Δ(g)=g⊗g. The familiar diagonal group action has been encoded in the coproduct.
Example 2: the universal enveloping algebra U(g)
Let 𝔤 be a Lie algebra. Its universal enveloping algebra U(𝔤) is generated by 𝔤 with relations XY−YX=[X,Y]. It has Hopf structure
Δ(X)=X⊗1+1⊗X,
ε(X)=0,
S(X)=−X
for X∈𝔤, extended multiplicatively or anti-multiplicatively as required by the Hopf axioms.
The resulting action on a tensor product is
X·(v⊗w)=Xv⊗w+v⊗Xw.
This is the Leibniz rule. The group-algebra and Lie-algebra tensor rules are therefore two coproduct patterns inside the same formalism.
Group-like and primitive elements
An element g∈H is called group-like when
Δ(g)=g⊗g, ε(g)=1.
An element x is primitive when
Δ(x)=x⊗1+1⊗x.
Group elements in kG are group-like. Lie generators in U(𝔤) are primitive.
The terminology captures two fundamental kinds of symmetry: finite/global multiplicative behaviour and infinitesimal/additive behaviour.
Worked check: Δ preserves a Lie relation
Suppose X,Y∈𝔤. We need the coproduct to respect XY−YX=[X,Y]. Compute
[Δ(X),Δ(Y)]
with Δ(X)=X⊗1+1⊗X and similarly for Y. Cross terms commute because X⊗1 commutes with 1⊗Y. Therefore
[Δ(X),Δ(Y)]=[X,Y]⊗1+1⊗[X,Y]=Δ([X,Y]).
The coproduct is compatible with the enveloping-algebra relation.
Example 3: functions on a finite group
Let kG be the algebra of functions f:G→k under pointwise multiplication. The coproduct is dual to group multiplication:
(Δf)(g,h)=f(gh).
The counit is ε(f)=f(e), and the antipode is
(Sf)(g)=f(g−1).
Here the algebra is commutative even when G is nonabelian, while the coproduct is cocommutative exactly when G is abelian.
This dual example helps separate algebra commutativity from coalgebra cocommutativity.
Cocommutativity
Let τ:H⊗H→H⊗H swap tensor factors. A coproduct is cocommutative when
τΔ=Δ.
For kG, Δ(g)=g⊗g is always cocommutative, even if G is nonabelian. The noncommutativity of kG lies in multiplication, not in the coproduct.
For kG, multiplication is commutative, but Δ remembers gh. If G is nonabelian then f(gh) and f(hg) need not agree, so the coproduct is not cocommutative.
Quantum groups often deform cocommutativity while retaining enough structure to produce braided tensor categories.
How the coproduct defines tensor-product representations
Let V and W be left H-modules. If
Δ(h)=Σh(1)⊗h(2),
define
h·(v⊗w)=Σ(h(1)·v)⊗(h(2)·w).
The fact that Δ is an algebra homomorphism guarantees this is an H-action. Coassociativity guarantees compatibility with three or more tensor factors.
Thus the tensor category of H-modules is not an external decoration. It is built directly from the coalgebra structure.
Worked tensor action for a primitive generator
Suppose X is primitive and acts on V and W. Then
Δ(X)=X⊗1+1⊗X.
Therefore
X·(v⊗w)=Xv⊗w+v⊗Xw.
If Xv=λv and Xw=μw, then
X·(v⊗w)=(λ+μ)(v⊗w).
Weights add under tensor product because primitive coproducts add generator actions.
This is the algebraic reason weight addition appears throughout Lie representation theory.
Worked tensor action for a group-like element
Suppose g is group-like and gv=λv, gw=μw. Since Δ(g)=g⊗g,
g(v⊗w)=λμ(v⊗w).
Group-like eigenvalues multiply. Primitive eigenvalues add. These two behaviours will meet in quantum groups, where generators such as K are group-like while E and F have deformed coproducts.
The counit gives the trivial module
Let k be the one-dimensional vector space. Define the H-action by
h·c=ε(h)c.
The counit axioms ensure V⊗k≈V and k⊗V≈V as H-modules.
For kG, ε(g)=1, so every group element acts trivially. For U(𝔤), ε(X)=0, so Lie generators act as zero. These are exactly the usual trivial representations.
The antipode defines the dual action
Let V be finite-dimensional. Define an H-action on V* by
(h·φ)(v)=φ(S(h)·v).
For group algebras this becomes the familiar inverse action φ(g−1v). For Lie generators it becomes minus the transpose action, because S(X)=−X.
The antipode identities ensure that evaluation V*⊗V→k is H-equivariant. Hopf algebra representation categories are therefore naturally rigid under suitable finite-dimensional hypotheses.
Check the group-algebra dual formula
For g∈G,
(g·φ)(v)=φ(g−1v).
Evaluate on gv:
(g·φ)(gv)=φ(g−1gv)=φ(v).
Thus evaluation is invariant exactly as required.
The antipode is an anti-homomorphism
Under standard Hopf-algebra axioms the antipode satisfies
S(ab)=S(b)S(a).
This reverses multiplication, matching group inversion (gh)−1=h−1g−1.
One should not assume S²=id in every Hopf algebra. It holds for group algebras and universal enveloping algebras, but more general Hopf algebras can have nontrivial S².
Hopf subalgebras and quotient Hopf algebras
A Hopf subalgebra must be closed not only under multiplication and unit but also under coproduct, counit and antipode. A quotient compatible with the Hopf structure uses a Hopf ideal.
These stronger requirements reflect the tensor-category viewpoint. A subobject of symmetry must remain meaningful when representations are tensored and dualised.
Modules, comodules and dual viewpoints
Modules use multiplication: an algebra element acts on a vector. Comodules use comultiplication: a vector is mapped into V⊗H in a way dual to an action.
For finite-dimensional Hopf algebras, modules over H correspond naturally to comodules over H*. For algebraic groups, comodules over the coordinate Hopf algebra are often the cleanest algebraic description of rational representations.
This is why coordinate rings of affine algebraic groups are Hopf algebras: group multiplication induces a coproduct on polynomial functions, identity induces a counit and inversion induces an antipode.
Coordinate rings reverse group arrows
Let G be an affine algebraic group and O(G) its coordinate ring. Group multiplication m:G×G→G pulls functions backwards:
Δ=m*:O(G)→O(G×G)≈O(G)⊗O(G).
The identity element e gives ε(f)=f(e), and inversion i:G→G gives S=i*.
The Hopf algebra is therefore the algebraic shadow of the group structure. Tannakian reconstruction can be understood as rebuilding such a coordinate Hopf algebra from matrix coefficients of representations.
Example: the additive group
The coordinate ring of the additive group Ga is k[t]. Since group multiplication is addition,
Δ(t)=t⊗1+1⊗t.
The counit is ε(t)=0 and the antipode is S(t)=−t.
The coordinate function t is primitive. Addition in the group becomes a primitive coproduct in the coordinate algebra.
Example: the multiplicative group
The coordinate ring of Gm is k[t,t−1]. Group multiplication gives
Δ(t)=t⊗t.
The counit is ε(t)=1 and the antipode is S(t)=t−1.
Now t is group-like. The additive and multiplicative groups are encoded by the primitive and group-like coproduct patterns introduced earlier.
Integrals and averaging
Finite-dimensional Hopf algebras possess algebraic analogues of invariant measures called integrals. For a finite group algebra, summing over group elements produces the familiar averaging element.
Semisimplicity criteria for Hopf algebras often involve the behaviour of these integrals and the characteristic of the field. This generalises the averaging logic behind Maschke’s theorem.
The details are subtler than the finite-group case, so one should not transfer every group-algebra statement to an arbitrary Hopf algebra without checking hypotheses.
Quasitriangular Hopf algebras prepare braiding
An ordinary cocommutative coproduct lets the flip v⊗w↦w⊗v intertwine tensor-product actions. When Δ is not cocommutative, the plain flip may fail to be an intertwiner.
A quasitriangular Hopf algebra supplies an R-matrix that compensates for this failure and produces a braiding on the representation category.
This is the doorway to quantum groups. Their representation categories can be braided rather than symmetric, so exchanging two tensor factors carries nontrivial structure.
A representation-theoretic workflow
- Write the algebra generators and relations.
- Specify Δ, ε and S on generators.
- Verify that Δ respects the algebra relations.
- Check coassociativity on generators.
- Check the antipode identities.
- Use Δ to construct tensor-product actions.
- Use ε to identify the trivial module.
- Use S to construct dual modules.
For finitely generated Hopf algebras, verifying identities on generators can be far cheaper than expanding arbitrary elements.
Common mistakes
- Calling any algebra a Hopf algebra: coproduct, counit, antipode and compatibility are extra structure.
- Assuming the coproduct is ordinary multiplication: Δ maps one element into H⊗H.
- Forgetting coassociativity: tensor products of three modules depend on it.
- Assuming every coproduct is cocommutative: quantum groups are important precisely because this can fail.
- Assuming S²=id: not true in every Hopf algebra.
- Ignoring the dual viewpoint: coordinate Hopf algebras describe groups contravariantly through functions.
Practice with worked answers
1. Group-like check
What is Δ(g) in kG? Answer: g⊗g.
2. Primitive check
What is Δ(X) for X∈𝔤⊂U(𝔤)? Answer: X⊗1+1⊗X.
3. Tensor eigenvalue
If X is primitive with Xv=2v and Xw=5w, what is its eigenvalue on v⊗w? Answer: 7.
4. Group-like eigenvalue
If g is group-like with gv=2v and gw=5w, what is its eigenvalue on v⊗w? Answer: 10.
5. Trivial module
How does h act on the one-dimensional trivial module? Answer: by multiplication with ε(h).
6. Group-algebra antipode
What is S(gh)? Answer: (gh)−1=h−1g−1=S(h)S(g).
7. Additive coordinate Hopf algebra
Why is Δ(t)=t⊗1+1⊗t for Ga? Answer: the coordinate t evaluated on x+y is x+y, the sum of the two coordinate functions.
8. Multiplicative coordinate Hopf algebra
Why is Δ(t)=t⊗t for Gm? Answer: t(xy)=t(x)t(y), so multiplication pulls back to the tensor product of the coordinate function with itself.
The structural lesson
Hopf algebras reveal that tensor-product representation theory requires more than multiplication. To know how one symmetry acts on a composite object, the symmetry algebra must know how to split its action across tensor factors.
multiplication → compose operators; coproduct → distribute action; counit → trivial object; antipode → duality and inverse structure.
This package is rich enough to contain group algebras, Lie enveloping algebras, coordinate rings of algebraic groups and the deformed symmetries called quantum groups.
References for further study
Standard references include Christian Kassel, Quantum Groups; Susan Montgomery, Hopf Algebras and Their Actions on Rings; and Pavel Etingof and collaborators, Introduction to Representation Theory. For affine group schemes and reconstruction, compare the Tannakian references in the preceding BTT guide.
Continue Representation Mathematics — Batch 05
See how coproducts become noncocommutative and braided in Quantum Groups and Uq(sl₂). Compare scalar twisting with Projective Representations and Cocycles. Build spinorial rotation representations in Clifford Algebras and Spin Groups. Return to the BTT Mathematics Learning Hub.