Cocommutative Hopf algebra
ID: cocommutative-hopf-algebra
A Hopf algebra is cocommutative when flipping the two tensor factors leaves its coproduct unchanged. A group algebra has coproduct , so it is cocommutative even for a nonabelian group, whose group algebra is not commutative.
New to topics? Read the docs here!