Commutative Group

Wikipedia nLab

References