Cocommutative Hopf algebra
= Cocommutative Hopf algebra
A <Hopf algebra> is cocommutative when flipping the two tensor factors leaves its coproduct unchanged. A <group algebra> has coproduct $g\mapsto g\otimes g$, so it is cocommutative even for a nonabelian group, whose group algebra is not commutative.