Commutative semigroups