Skip to main content
Log in

A solvable conjugacy problem for finitely presented semigroups satisfying C(2) and T(4)

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

Abstract

There are multiple, inequivalent, definitions for conjugacy in semigroups. In Cummings and Jackson (Semigroup Forum 88, 52–66, 2014), we conjectured that, for at least one of these definitions of conjugacy, the conjugacy problem for finitely presented semigroups satisfying C(2) and T(4) is solvable. Here we essentially verify that conjecture. In that 2014 Semigroup Forum publication, we developed geometric methods to solve a conjugacy problem for finitely presented semigroups satisfying C(3). We use those methods again here.

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.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5

Similar content being viewed by others

References

  1. Cummings, P.A., Goldstein, R.Z.: Solvable word problems in semigroups. Semigroup Forum 50, 243–246 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  2. Charalambides, C.A.: Enumerative Combinatorics. Chapman and Hall, London (2002)

    MATH  Google Scholar 

  3. Cummings, P.A., Jackson, D.A.: Thickness of feathers. Comm. Algebra 42, 5329–5356 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  4. Cummings, P.A., Jackson, D.A.: A solvable conjugacy problem for finitely presented C(3) semigroups. Semigroup Forum 88, 52–66 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  5. Hall, M., Jr.: The Theory of Groups, 2nd ed. Chelsea (1976)

  6. Higgins, P.M.: Techniques of Semigroup Theory. Oxford University Press, New York (1992)

    MATH  Google Scholar 

  7. Hill, P., Pride, S.J., Vella, A.D.: On the \(T(q)\)-conditions of small cancellation theory. Israel J. Math. 52, 293–304 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  8. Hoare, A.H.M.: Coinitial graphs and Whitehead automorphisms. Can. J. Math. 31, 112–123 (1979)

    Article  MathSciNet  MATH  Google Scholar 

  9. Kudryavtseva, G., Mazorchuk, V.: On three approaches to conjugacy in semigroups. Semigroup Forum 78, 14–20 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  10. Martin, G.E.: Counting: The Art of Enumerative Combinatorics. Springer, New York (2001). (Undergraduate Texts in Mathematics)

    Book  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  12. Remmers, J.H.: A geometric approach for some algorithmic problems for semigroups. University of Mich, Thesis (1971)

  13. Reutenauer, C.: Free Lie Algebras. Oxford University Press, Oxford (1993)

    MATH  Google Scholar 

  14. Silva, P.V.: Conjugacy and transpositions for inverse monoid presentations. Internat. J. Alg. Comp. 6(5), 607–622 (1996)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The first author would like to thank Maritza Martinez, Director of the Educational Opportunities Program, for supporting his request for a spring 2015 educational leave, in part, to begin work on this article. He would also like to thank his students and the staffs of the EOP and the Office of Access and Academic Enrichment for all of their encouragement and support.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to P. A. Cummings.

Additional information

Communicated by Mark V. Lawson.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Cummings, P.A., Jackson, D.A. A solvable conjugacy problem for finitely presented semigroups satisfying C(2) and T(4). Semigroup Forum 96, 301–315 (2018). https://doi.org/10.1007/s00233-017-9871-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00233-017-9871-8

Keywords

Navigation