Skip to main content
SpringerLink
Log in

Rewriting Systems, Finiteness Conditions, and Associated Functions

  • Conference paper
Algorithmic Problems in Groups and Semigroups

Part of the book series: Trends in Mathematics ((TM))

Abstract

Associated with any rewriting system P there is a certain two-dimensional complex D(P)independently introduced by a number of authors, and now known as the Squier complex. We adopt a geometric approach to this complex here in terms of “pictures” as in [24], [25].

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J.M. Alonso, W.A. Bogley, R.M. Burton, S.J. Pride, and X. Wang, Second order Dehn functions of groups, Quart. J. Math. Oxford (2), 49 (1998), 1–30.

    MathSciNet  MATH  Google Scholar 

  2. J.M. Alonso, S.J. Pride, and X. Wang, Higher dimensional isoperimetric (or Dehn) functions of groups, J. Group Theory, to appear.

    Google Scholar 

  3. N. Brady and M.R. Bridson, There is only one gap in the isoperimetric spectrum, preprint, 1998.

    Google Scholar 

  4. K.S. Brown, Cohomology of Groups, Graduate Texts in Math. 87, Springer-Verlag, New York, 1982.

    Book  MATH  Google Scholar 

  5. D.E. Cohen, String rewriting: A survey for group theorists, in Geometric Group Theory, Vol. 1, G.A. Niblo and M.A. Roller, eds., London Math. Soc. Lecture Notes Series 181, Cambridge University Press, Cambridge, 1993, 37–47.

    Chapter  Google Scholar 

  6. D.E. Cohen, A monoid which is right F P ∞ but not left F P 1 , Bull. London Math. Soc. 24 (1992), 340–342.

    Article  MathSciNet  MATH  Google Scholar 

  7. R. Cremanns and F. Otto, Finite derivation type implies the homological finiteness condition F P 3, J. Symbolic Comput., 18 (1994), 91–112.

    Article  MathSciNet  MATH  Google Scholar 

  8. R. Cremanns and E Otto, For groups the property of having finite derivation type is equivalent to the homological finiteness condition F P 3 , J. Symbolic Comput., 22 (1996), 155–177.

    Article  MathSciNet  MATH  Google Scholar 

  9. D.B.A. Epstein, J.W. Cannon, D.F. Holt, S.V. Levy, M.S. Paterson, and W.P. Thurston, Word Processing in Groups, Jones and Bartlett, Boston, 1992.

    MATH  Google Scholar 

  10. N.D. Gilbert, Monoid presentations and associated groupoids, Internat. J. Algebra Comput., 8 (1998), 141–152.

    Article  MathSciNet  MATH  Google Scholar 

  11. M. Gromov, Hyperbolic groups, in Essays in Group Theory, MSRI Publications 8, Springer-Verlag, Berlin, New York, Heidelberg, 1987, 75–263.

    Chapter  Google Scholar 

  12. M. Gromov, Asymptotic invariants of infinite groups, in Geometric Group Theory, G. Niblo and M. Roller, eds., London Math. Soc. Lecture Note Series 182, Oxford University Press, Oxford, 1993.

    Google Scholar 

  13. J.R.J. Groves and G.S. Smith, Soluble groups with a finite rewriting system, Proc. Edinburgh Math. Soc., 36 (1993), 283–288.

    Article  MathSciNet  MATH  Google Scholar 

  14. V. Guba and S.J. Pride, On the left and right cohomological dimension of monoids, Bull. London Math. Soc., 30 (1998), 391–396.

    Article  MathSciNet  MATH  Google Scholar 

  15. V. Guba and M. Sapir, Diagram groups, Mem. Amer. Math. Soc., 130–620 (1997).

    Google Scholar 

  16. S.V. Ivanov, Relation modules and relation bimodules of groups, semi-groups and associative algebras, Internat. J. Algebra Comput., 1 (1991), 89–114.

    Article  MathSciNet  MATH  Google Scholar 

  17. C.W. Kilgour, Using pictures in combinatorial group and semigroup theory, Ph.D. thesis, University of Glasgow, Glasgow, Scotland, UK, 1995.

    Google Scholar 

  18. V. Kilibarda, On the algebra of semigroup diagrams, Internat. J. Algebra Comput., 7 (1997), 313–338.

    Article  MathSciNet  MATH  Google Scholar 

  19. Y. Lafont, A new finiteness condition for monoids presented by complete rewriting systems, J. Pure Appl. Algebra, 98 (1995), 229–244.

    Article  MathSciNet  MATH  Google Scholar 

  20. R.C. Lyndon and P.E. Schupp, Combinatorial Group Theory, Springer-Verlag, New York, 1977.

    MATH  Google Scholar 

  21. E Otto, On properties of monoids that are modular for free products and for certain free products with amalgamated submonoids, preprint, 1997.

    Google Scholar 

  22. F. Otto and Y. Kobayashi, Properties of monoids that are presented by finite convergent string-rewriting systems: A survey, in Advances in Algorithms, Languages and Complexity, D.Z. Du and K. Ko, eds., Kluwer Academic Publishers, Dordrecht, The Netherlands, 1997.

    Google Scholar 

  23. P. Papasoglu, Some remarks on isodiametric and isoperimetric inequalities, preprint, 1998.

    Google Scholar 

  24. S.J. Pride, Low dimensional homotopy theory for monoids, Internat. J. Algebra Comput., 5 (1995), 631–649.

    Article  MathSciNet  MATH  Google Scholar 

  25. S.J. Pride, Geometric methods in combinatorial semigroup theory, in Semigroups, Formal Languages and Groups, J. Fountain, ed., Kluwer Academic Publishers, Dordrecht, The Netherlands, 1995, 215–232.

    Chapter  Google Scholar 

  26. S.J. Pride, Low dimensional homotopy theory for monoids II: Groups, Glasgow Math. J., to appear.

    Google Scholar 

  27. S.J. Pride and J. Wang, Subgroups of finite index in groups with finite complete rewriting systems, Proc. Edinburgh Math. Soc., to appear.

    Google Scholar 

  28. C. Squier, Word problems and a homological finiteness condition for monoids, J. PureAppl. Algebra, 49 (1987), 201–217.

    Article  MathSciNet  MATH  Google Scholar 

  29. C. Squier (revision by F. Otto and Y. Kobayashi), A finiteness condition for rewriting systems, Theoret. Comput. Sci., 131 (1994), 271–294.

    Article  MathSciNet  MATH  Google Scholar 

  30. X. Wang and S.J. Pride, Second order Dehn functions of groups and monoids, preprint, 1998.

    Google Scholar 

  31. X. Wang and S.J. Pride, Second order Dehn functions and H N N-extensions, preprint, 1999.

    Google Scholar 

  32. X. Wang, Mappings of groups and quasi-retractions, preprint, 1998.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, University of Glasgow, Glasgow, G12 8QW, UK

    S. J. Pride & Jing Wang

Authors
  1. S. J. Pride
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jing Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Computer Science, Dalhousie University, Halifax, Nova Scotia, Canada, B3J 3K5

    Jean-Camille Birget

  2. Dept. of Mathematics & Computer Science, Bar-Ilan University, 52900, Ramat Gan, Israel

    Stuart Margolis

  3. Dept. of Mathematics & Statistics, University of Nebraska, Lincoln, NE, 68588-0323, USA

    John Meakin

  4. Dept. of Mathematics, Vanderbilt University, Nashville, TN, 37240, USA

    Mark Sapir

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer Science+Business Media New York

About this paper

Cite this paper

Pride, S.J., Wang, J. (2000). Rewriting Systems, Finiteness Conditions, and Associated Functions. In: Birget, JC., Margolis, S., Meakin, J., Sapir, M. (eds) Algorithmic Problems in Groups and Semigroups. Trends in Mathematics. Birkhäuser, Boston, MA. https://doi.org/10.1007/978-1-4612-1388-8_11

Download citation

  • DOI: https://doi.org/10.1007/978-1-4612-1388-8_11

  • Publisher Name: Birkhäuser, Boston, MA

  • Print ISBN: 978-1-4612-7126-0

  • Online ISBN: 978-1-4612-1388-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation