Commutative Hopf algebra
= Commutative Hopf algebra
A <Hopf algebra> is commutative when its multiplication is commutative. This is independent of whether its coproduct is cocommutative; function algebras of finite nonabelian groups give commutative but noncocommutative examples.