The identities of the free product of a pair of two-element monoids. (English) Zbl 1412.20019

Volkov, Mikhail V.

Algebra Univers. 80, No. 1, Paper No. 14, 6 p. (2019).

The free product in the title is the monoidal one, amalgamating the identities. It is noted that the free product of a monoid containing at least two elements with one containing at least three elements contains a free monoid of rank two and thus satisfies no nontrivial identities. The only cases of interest are then the free products of two two-element semilattices, of a two-element semilattice with a two-element group, and of two two-element groups, denoted respectively by \(J_\infty\), \(K_\infty\) and \(D_\infty\). The main result of the paper states that the identities of \(K_\infty\) are not finitely based. The argument re-uses the technique used by L. M. Shneerson and the author [Semigroup Forum 95, No. 1, 245–250 (2017; Zbl 1375.20060)] to show that the analogue holds for \(J_\infty\), which is just the semigroup free product of two trivial semigroups, having an adjoined identity. The author observes that a modification of this technique also yields the analogue for \(D_\infty\), the infinite dihedral group, although this may also be deduced from general results. Finally, it is observed that no two of the three monoids above satisfy the same sets of identities.

Reviewer: Peter R. Jones (Milwaukee)

MSC:

20M10	General structure theory for semigroups
20M05	Free semigroups, generators and relations, word problems

Keywords:

free product; identity basis; finite basis problem

Citations:

Zbl 1375.20060

References:

[1]	Auinger, K., Chen, Yuzhu, Hu, Xun, Luo, Yanfeng, Volkov, M.V.: The finite basis problem for Kauffman monoids. Algebra Univ. 74(3-4), 333-350 (2015) · Zbl 1332.20056
[2]	Cohen, D.E.: On the laws of a metabelian variety. J. Algebra 5(3), 267-273 (1967) · Zbl 0157.34802
[3]	Gardner, B.J., Jackson, M.G.: The Kuratowski closure-complement theorem. N. Z. J. Math. 38, 9-44 (2008) · Zbl 1185.54002
[4]	Sapir, M.V.: Problems of Burnside type and the finite basis property in varieties of semigroups. Izv. Akad. Nauk SSSR Ser. Mat. 51(2), 319-340 (1987). (Russian; Engl. translation Math. USSR-Izv. 30(2), 295-314 (1988))
[5]	Shneerson, L.M.: Identities in one-relator semigroups. Uchen. Zap. Ivanov. Gos. Pedag. Inst. 1(1-2), 139-156 (1972). (Russian)
[6]	Shneerson, L.M., Volkov, M.V.: The identities of the free product of two trivial semigroups. Semigroup Forum 95(1), 245-250 (2017) · Zbl 1375.20060