The identities of the free product of two trivial semigroups
- 247 Downloads
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.
KeywordsSemigroup identity Finitely based semigroup Nonfinitely based semigroup Zimin word
The work of the first author was partially supported by the CUNY Collaborative Incentive Research Grant Program (Project #94592-0001). The second author acknowledges support from the Russian Foundation for Basic Research, Project No. 14-01-00524, the Ministry of Education and Science of the Russian Federation, Project No. 1.1999.2014/K, and the Competitiveness Program of Ural Federal University. The paper was written during the second author’s stay at Hunter College of the City University of New York as Ada Peluso Visiting Professor of Mathematics and Statistics with a generous support from the Ada Peluso Endowment. The authors would like to thank the anonymous reviewer for his/her comments and suggestions.
- 5.Clifford, A.H., Preston, G.B.: The algebraic theory of semigroups, vol. I. Am. Math. Soc. (1961)Google Scholar
- 6.Kim, K.H., Roush, F.: The semigroup of adjacency patterns of words. In: Algebraic theory of semigroups. Colloq. Math. Soc. János Bolyai, North-Holland. 20, 281–297 (1979)Google Scholar
- 7.Kizimenko, O.M.: On free products of one-element semigroups. Visn. Kiïv. Univ. Ser. Fiz.-Mat. Nauki. 1, 37–41 (2000) (in Ukraine)Google Scholar
- 8.Mashevitzky, G.I.: On identities in varieties of completely simple semigroups over abelian groups. In: Contemporary algebra, 81–89. Leningr. Gos. Ped. Inst. (1978) (in Russian)Google Scholar
- 10.Shneerson, L.M.: Identities in one-relator semigroups. Uchen. Zap. Ivanov. Gos. Ped. Inst. 1(1–2), 139–156 (1972) (in Russian)Google Scholar