×

On free products of bands. (English) Zbl 0723.20036

In a paper of P. Olin [Semigroup Forum 35, 265-278 (1987; Zbl 0615.20040)] two normal bands are effectively constructed, the free product of which has an undecidable word problem. The verification of this involves a certain normal form theorem. The author gives a counterexample to show that this theorem is not correct, but then develops some results on the word problem in free products of bands to re-establish the validity of the Olin example. From the existence of this example it is then deduced that subbands of the factors in a free product of bands need not generate a subband isomorphic with their free product.

MSC:

20M05 Free semigroups, generators and relations, word problems

Citations:

Zbl 0615.20040
PDFBibTeX XMLCite
Full Text: DOI EuDML

References:

[1] Gerhard, J. A., and M. Petrich,Free bands and free bands, Glasgow Math. J.28 (1986), 161–180. · Zbl 0596.20049 · doi:10.1017/S0017089500006480
[2] Green, J. A., and D. Rees,On semigroups in which x r =x, Proc. Cambridge Phil. Soc.48 (1952), 35–40. · Zbl 0046.01903 · doi:10.1017/S0305004100027341
[3] Hall, T. E.,Inverse and regular semigroups and amalgamation: a brief survey, in ”Symposium on Regular Semigroups”., Northern Illinois University, (1979), 49–79. · Zbl 0443.20049
[4] Howie, J. M.,An. Introduction to Semigroup Theory, Academic Press, London, 1975.
[5] Imaoka, T.,Free products with amalgamation of bands, Mem. Fac. Lit. and Sci., Shimane Univ., Nat. Sci.,10 (1976), 7–17. · Zbl 0358.08003
[6] Jones, P. R.,A band generated by two semilattices is regular, Semigroup Forum20 (1980) 335–341. · Zbl 0448.20056 · doi:10.1007/BF02572693
[7] Jónsson, B.,Extensions of relational structures, Theory of models, Proc. 1963 Symposium at Berkeley, eds. J. W. Addison, L. Henkin and A. Tarski, 146–157, North Holland, Amsterdam, 1965.
[8] Nordahl, T.,Free products of normal bands, Semigroup Forum15 (1977), 87–88. · Zbl 0381.20042 · doi:10.1007/BF02195736
[9] Olin, P.,Varietal free products of bands, Semigroup Forum21 (1980), 83–87. · Zbl 0453.20049 · doi:10.1007/BF02572538
[10] –,Normal forms for band free products, Semigroup Forum35 (1987), 265–278. · Zbl 0615.20040 · doi:10.1007/BF02573111
[11] –,The word problem in regular band free products, Semigroup Forum35 (1987), 151–156. · Zbl 0614.20041 · doi:10.1007/BF02573098
[12] Scheiblich, H. E.,On coproducts of rectangular bands, Rocky Mtn. J. Math.8 (1987), 539–545. · Zbl 0391.20046 · doi:10.1216/RMJ-1978-8-3-539
[13] Siekmann, J., and P. Szabó,A noetherian and confluent rewrite scheme for idempotent semigroups, Semigroup Forum25 (1982), 83–110. · Zbl 0493.68087 · doi:10.1007/BF02573590
[14] Vachuska, C.,Identities on free products of bands, Alg. Universalis,26 (1989), 222–233. · Zbl 0669.20046 · doi:10.1007/BF01236869
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.