Skip to main content
Log in

Classification of finitely based words in a class of words over a \(3\)-letter alphabet

  • Research Article
  • Published:
Semigroup Forum Aims and scope Submit manuscript

Abstract

Let \(W\) be a finite set of words over an alphabet \(X\). The discrete syntactic monoid \(S(W)\) of \(W\) is a monoid whose elements are \(0, 1\) and all subwords of words in \(W\) with the multiplication: for \(\mathbf {w}_1, \mathbf {w}_2 \in W\), \(\mathbf {w}_1\cdot \mathbf {w}_2=\mathbf {w}_1\mathbf {w}_2\) if \(\mathbf {w}_1\mathbf {w}_2\) is a subword of a word in \(W\) and \(0\) otherwise. The set of words \(W\) is called finitely based if the monoid \(S(W)\) is finitely based. A single word \(\mathbf {w}\) is called finitely based if \(\{\mathbf {w}\}\) is finitely based. In this paper, we classify all finitely based words in a class of words over the alphabet \(\{x,y,z\}\) without subwords of the form \(xz\), \(yx\) or \(zy\).

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. Springer, New York (1981)

    Book  MATH  Google Scholar 

  2. Howie, J.M.: Fundamentals of Semigroup Theory. Charendon Press, Oxford (1995)

    MATH  Google Scholar 

  3. Jackson, M.: On the finite basis problem for finite Rees quotients of free monoids. Acta Sci. Math. (Szeged) 67, 121–159 (2001)

    MathSciNet  MATH  Google Scholar 

  4. Jackson, M.: Finiteness properties of varieties and the restriction to finite algebras. Semigroup Forum 70, 159–187 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  5. Jackson, M., Sapir, O.: Finitely based, finite sets of words. Int. J. Algebra Comput. 10, 683–708 (2000)

    MathSciNet  MATH  Google Scholar 

  6. Li, J.R., Zhang, W.T., Luo, Y.F.: On the finite basis problem for \(2\)-limited words over a \(3\)-letter alphabet. Acta Math. Sinica Engl. Series 29, 571–590 (2013)

    Article  MathSciNet  Google Scholar 

  7. Perkins, P.: Bases for equational theories of semigroups. J. Algebra 11, 298–314 (1969)

    Article  MathSciNet  MATH  Google Scholar 

  8. Sapir, O.: Finitely based monoids, accepted to Semigroup Forum. Available under arXiv:1402.5136v5, pp. 1–30

  9. Sapir, O.: Finite basis problem for words with at most two non-linear variables, arXiv:1403.6430, pp. 1–20

  10. Sapir, O.: Finitely based words. Int. J. Algebra Comput. 10, 457–480 (2000)

    MathSciNet  MATH  Google Scholar 

  11. Sapir, M.: Combinatorial Algebra: Syntax and Semantics. Springer Monographs in Mathematics. Springer, Cham (2014)

    Google Scholar 

  12. Shevrin, L.N., Volkov, M.V.: Identities of semigroups. Izv. Vyssh. Uchebn. Zaved. Mat. 11, 3–47 (1985). [Russian]

    MathSciNet  MATH  Google Scholar 

  13. Volkov, M.V.: The finite basis problem for finite semigroups. Sci. Math. Jpn. 53, 171–199 (2001)

    MathSciNet  MATH  Google Scholar 

Download references

Acknowledgments

The authors are very grateful to the anonymous referees for comments and suggestions that have been helpful to improve the quality of this paper. The authors are very grateful to Dr. Marcel Jackson for suggesting this problem to them. This research is partially supported by the National Natural Science Foundation of China (Nos. 11371177, 11401275).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Jian-Rong Li.

Additional information

Communicated by Mikhail Volkov.

Dedicated to Professor Mikhail V. Volkov on the occasion of his 60th birthday.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Li, JR., Luo, YF. Classification of finitely based words in a class of words over a \(3\)-letter alphabet. Semigroup Forum 91, 200–212 (2015). https://doi.org/10.1007/s00233-015-9712-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00233-015-9712-6

Keywords

Navigation