The algebra of rewriting for presentations of inverse monoids

References

• Brough, T. (2018). Word problem languages for free inverse monoids. In: Konstantinidis, S. Pighizzini, G., eds. Descriptional Complexity of Formal Systems, Vol. 10952, Lecture Notes in Computer Science. Cham, Switzerland: Springer, pp. 24–36.
   Google Scholar
• Brown, R. (2010). Possible connections between whiskered categories and groupoids, Leibniz algebras, automorphism structures and local-to-global questions. J. Homotopy Relat. Struct. 1(1):1–13.
   Google Scholar
• Brown, R., Gilbert, N. D. (1989). Automorphism structures for crossed modules and algebraic models of 3-types. Proc. London Math. Soc. 59(3):51–73. DOI: 10.1112/plms/s3-59.1.51.
   Google Scholar
• Brown, R., Higgins, P. J., Sivera, R. (2011). Nonabelian Algebraic Topology. Filtered Spaces, Crossed Complexes, Cubical Homotopy Groupoids. EMS Tracts in Mathematics 15. Zurich, Switzerland: European Mathematical Society.
   Google Scholar
• Brown, R., Huebschmann, J. (1982). Identities among relations. In: Brown, R., Thickstun, T. L., eds. Low Dimensional Topology, London Mathematical Society Lecture Notes 48. Cambridge, UK: Cambridge University Press, pp. 153–202.
   Google Scholar
• Cremanns, R., Otto, F. (1996). For groups the property of having finite derivation type is equivalent to the homological finiteness condition FP3. J. Symb. Comput. 22(2):155–177. DOI: 10.1006/jsco.1996.0046.
   Google Scholar
• Crowell, R. H. (1971). The derived module of a homomorphism. Adv. Math. 6(2):210–238. DOI: 10.1016/0001-8708(71)90016-8.
   Web of Science ®Google Scholar
• Cutting, A., Solomon, A. (2001). Remarks concerning finitely generated semigroups having regular sets of unique normal forms. J. Aust. Math. Soc. 70(3):293–309. DOI: 10.1017/S1446788700002354.
   Google Scholar
• Gilbert, N. D. (1998). Monoid presentations and associated groupoids. Int. J. Algebra Comput. 8(2): 141–152. DOI: 10.1142/S0218196798000089.
   Web of Science ®Google Scholar
• Gilbert, N. D. (2011). Derivations and relation modules for inverse semigroups. Algebra Discrete Math. 12: 1–19.
   Google Scholar
• Gilbert, N. D., McDougall, E. A. (2019). Groupoids and the algebra of rewriting in group presentations. Preprint, Arxiv.org/Abs/190104348.
   Google Scholar
• Higgins, P. J. (1971). Notes on Categories and Groupoids, Vol. 32, Van Nostrand Reinhold Mathematical Studies. London, UK: Van Nostrand Reinhold. Reprinted electronically at www.tac.mta.co/tac/reprints/articles/7/7tr7.pdf
   Google Scholar
• Howie, J. M. (1997). Fundamentals of Semigroup Theory, London Mathematical Society Monographs. Oxford, UK: Oxford University Press.
   Google Scholar
• Kilibarda, V. (1997). On the algebra of semigroup diagrams. Int. J. Algebra Comput. 7(3):313–338. DOI: 10.1142/S0218196797000150.
   Web of Science ®Google Scholar
• Lausch, H. (1975). Cohomology of inverse semigroups. J. Algebra 35(1–3):273–303. DOI: 10.1016/0021-8693(75)90051-4.
   Web of Science ®Google Scholar
• Lavendhomme, R., Roisin, J. R. (1980). Cohomologie non abélienne de structures algébriques. J. Algebra 67: 383–414.
   Google Scholar
• Lawson, M. V. (1998). Inverse Semigroups. Singapore: World Scientific Publishing.
   Google Scholar
• Margolis, S. W., Meakin, J. C. (1989). E-unitary inverse monoids and the Cayley graph of a group presentation. J. Pure Appl. Algebra 58(1):45–76. DOI: 10.1016/0022-4049(89)90052-2.
   Web of Science ®Google Scholar
• Meakin, J. C., et al. (2007). Groups and semigroups: connections and contrasts. In: Campbell, C. M., ed. Groups St Andrews 2005, Vol. 2, London Mathematical Society Lecture Notes 340. Cambridge, UK: Cambridge University Press, pp. 357–400.
   Google Scholar
• Nico, W. R. (1983). On the regularity of semidirect products. J. Algebra 80(1):29–36. DOI: 10.1016/0021-8693(83)90015-7.
   Web of Science ®Google Scholar
• Pride, S. J. (1995). Low-dimensional homotopy theory for monoids I. Int. J. Algebra Comput. 5(6):631–649. DOI: 10.1142/S0218196795000252.
   Google Scholar
• Pride, S. J. (1999). Low-dimensional homotopy theory for monoids II: groups. Glasgow Math. J. 41(1): 1–11. DOI: 10.1017/S0017089599970179.
   Google Scholar
• Reilly, N. R., Scheiblich, H. E. (1967). Congruences on regular semigroups. Pacific J. Math. 23(2):349–360. DOI: 10.2140/pjm.1967.23.349.
   Web of Science ®Google Scholar
• Schein, B. M. (1975). Free inverse semigroups are not finitely presentable. Acta Math. Hungarica 26(1–2):41–52. DOI: 10.1007/BF01895947.
   Google Scholar
• Squier, C. C. (1987). Word problems and a homological finiteness condition for monoids. J. Pure Appl. Algebra 49(1–2):201–216. DOI: 10.1016/0022-4049(87)90129-0.
   Web of Science ®Google Scholar
• Squier, C. C., Otto, F., Kobayashi, Y. (1994). A finiteness condition for rewriting systems. Theor. Comput. Sci. 131(2):271–294. DOI: 10.1016/0304-3975(94)90175-9.
   Web of Science ®Google Scholar
• Stephen, J. B. (1990). Presentations of inverse monoids. J. Pure Appl. Algebra 63(1):81–112. DOI: 10.1016/0022-4049(90)90057-O.
   Web of Science ®Google Scholar