Commutative group.