1.Department of Mathematics and Statistics, Hunter College,City University of New York,New York,USA;2.Institute of Mathematics and Computer Science,Ural Federal University,Ekaterinburg,Russia
Abstract:
We exhibit an example of a finitely presented semigroup S with a minimum number of relations such that the identities of S have a finite basis while the monoid obtained by adjoining 1 to S admits no finite basis for its identities. Our example is the free product of two trivial semigroups.