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!