Skip to main content
SpringerLink
Log in

Semigroups presented by one relation and satisfying the Church-Rosser property

  • Published:
Mathematical Notes Aims and scope Submit manuscript

Abstract

This paper is devoted to the study of semigroups presented by a single defining relationA=B and satisfying the Church-Rosser property.

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

Access this article

Log in via an institution

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

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. R. V. Book, “A note on special Thue systems with a single defining relation,”Math. Systems Theory,16, 57–60 (1983).

    Article  MATH  MathSciNet  Google Scholar 

  2. F. Otto and C. Wrathall, “A note on Thue systems with a single defining relation,”Math. Systems Theory,18, 135–143 (1985).

    Article  MathSciNet  Google Scholar 

  3. S. I. Adyan and G. U. Oganesyan, “On problems of equality and divisibility problem in semigroups with a single defining relation,”Izv. Akad. Nauk SSSR Ser. Mat. [Math. USSR-Izv.],42, No. 2, 219–225 (1978).

    Google Scholar 

  4. S. I. Adyan, “Defining relations and algorithmic problems for groups and semigroups,”Trudy Mat. Inst. Steklov [Proc. Steklov Inst. Math.],85, 1–124 (1966).

    Google Scholar 

  5. K. Madlener and F. Otto, “About the descriptive power of certain classes of finite string-rewriting systems,”Theoret. Comput. Sci.,67, 143–172 (1989).

    Article  MathSciNet  Google Scholar 

  6. R. V. Book, “Thue systems as rewriting systems,”J. Symbolic Comput.,3, 39–68 (1987).

    MATH  MathSciNet  Google Scholar 

  7. J. Howie and S. J. Pride, “The word problem for one-relator semigroups,”Math. Proc. Cambridge Philos. Soc. 99, 33–44 (1986).

    MathSciNet  Google Scholar 

  8. S. I. Adyan, “On the divisibility problem for monoids defined by one relation,”Mat. Zametki [Math. Notes],55, No. 1, 3–9 (1994).

    MATH  MathSciNet  Google Scholar 

  9. F. Otto, “Conjugacy in monoids with a special Church-Rosser presentation is decidable,”Semigroup Forum,29, 223–240 (1984).

    MATH  MathSciNet  Google Scholar 

  10. G. Huet and D. C. Oppen, “Equations and rewrite rules; a survey,” in:Formal Language Theory. Proc. Symp. Santa Barbara, Calif., 1979, Academic Press, New York-London (1980), pp. 349–405.

    Google Scholar 

  11. S. I. Adyan, “Word transformations of words in a semigroup that is given by a system of defining relations,”Algebra i Logika [Algebra and Logics],15, No. 6, 611–621 (1976).

    MATH  Google Scholar 

  12. J. H. Remmers, “On the geometry of semigroup presentations,”Adv. Math.,36, 283–296 (1980).

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Moscow State Pedagogical University, Moscow, USSR

    Yu. É. Trubitsyn

Authors
  1. Yu. É. Trubitsyn
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Translated fromMatematicheskie Zametki, Vol. 61, No. 1, pp. 114–118, January, 1997.

Translated by A. I. Shtern

Rights and permissions

Reprints and permissions

About this article

Cite this article

Trubitsyn, Y.É. Semigroups presented by one relation and satisfying the Church-Rosser property. Math Notes 61, 96–99 (1997). https://doi.org/10.1007/BF02355010

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02355010

Key words

Search

Navigation