Varieties of commutative semigroups
Andrzej Kisielewicz · Transactions of the American Mathematical Society · 1994
In this paper, we describe all equational theories of commutative semigroups in terms of certain well-quasi-orderings on the set of finite sequences of nonnegative integers. This description yields many old and new results on varieties of commutative semigroups. In particular, we obtain also a description of the lattice of varieties of commutative semigroups, and we give an explicit uniform solution to the word problems for free objects in all varieties of commutative semigroups.