Abstract
A Knuth–Bendix-style completion procedure for groups is presented that, instead of working with sets of string-rewriting rules, manipulates finite sets of word cycles. A characterization is given for the resulting sets of persistent word cycles, from which it follows that the completion procedure terminates successfully if and only if the reduced word problem of the finite group presentation considered is a finite set. In this case the resulting set of persistent word cycles yields a finite canonical string-rewriting system for every linear reduction ordering.
Similar content being viewed by others
References
Avenhaus, J.: On the descriptive power of term rewriting systems, J. Symbolic Comput. 2 (1986), 109–122.
Avenhaus, J., Madlener, K., and Otto, F.: Groups presented by finite two-monadic Church—Rosser Thue systems, Trans. Amer. Math. Soc. 297 (1986), 427–443.
Book, R. V. and Otto, F.: String-Rewriting Systems, Springer-Verlag, New York, 1993.
Bücken, H.: Reduction-systems and small cancellation theory, Proc. 4th Workshop on Automated Deduction, 1979, pp. 53–59.
Gadelha Jr., L. M. R.: Aplicaçåes de Técnicas de Reescrita ao Problema da Palavra em Teoria dos Grupos, Master's thesis, Departamento de Ciência da Computação, Universidade de Brasília, 2000.
Haring-Smith, R. H.: Groups, and simple languages, Trans. Amer. Math. Soc. 279 (1983), 337–356.
Huet, G., and Lankford, D.: On the uniform halting problem for term rewriting systems, Lab. Report No. 283, INRIA, Le Chesnay, France, 1978.
Knuth, D. and Bendix, P.: Simple word problems in universal algebras, in J. Leech (ed.), Computational Problems in Abstract Algebra, Pergamon Press, New York, 1970, pp. 263–297.
LeChenadec, P.: Canonical Forms in Finitely Presented Algebras, Research Notes in Theoretical Computer Science, Pitman, London,1986.
Lyndon, R. C. and Schupp, P. E.: Combinatorial Group Theory, Springer-Verlag, Berlin, 1977.
Madlener, K. and Otto, F.: Using string-rewriting for solving the word problem for finitely presented groups, Inform. Process. Lett. 24 (1987), 281–284.
Madlener, K. and Otto, F.: About the descriptive power of certain classes of finite string-rewriting systems, Theoret. Comput. Sci. 67 (1989), 143–172.
Madlener, K., Sattler-Klein, A., and Otto, F.: On the problem of generating small convergent systems, J. Symbolic Comput. 16 (1993), 167–187.
Otto, F.: Completing a finite special string-rewriting system on the congruence class of the empty word, Appl. Algebra Engrg., Comm. Comput. 2 (1992), 257–274.
Rabin, M. O.: Recursive unsolvability of group theoretic problems, Ann. of Math. 67 (1958), 172–174.
Sattler-Klein, A.: COSY — Ein benutzerfreundliches Testsystem für Reduktionsstrategien in Wortersetzungssystemen, Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, 1986.
Siemon, A.: Implementierung eines Vervollständigungsverfahrens für monadische Darstellungen von kontext-freien Gruppen, Diplomarbeit, Fachbereich Mathematik/Informatik, Universität Kassel, 1994.
Sims, C. C.: Computation with Finitely Presented Groups, Encyclopedia of Mathematics and its Applications 48, Cambridge University Press, New York, 1994.
Squier, C. C., Otto, F., and Kobayashi, Y.: A finiteness condition for rewriting systems, Theoret. Comput. Sci. 131 (1994), 271–294.
Squier, C. C.: Word problems and a homological finiteness condition for monoids, J. Pure Appl. Algebra 49 (1987), 201–217.
Strogova, P.: Techniques de réécriture pour le traitement de problème de routage dans les graphes de Cayley, Ph.D. Thesis, Université de Henri Poincaré, Nancy, 1995.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Cremanns, R., Otto, F. A Completion Procedure for Finitely Presented Groups That Is Based on Word Cycles. Journal of Automated Reasoning 28, 235–256 (2002). https://doi.org/10.1023/A:1015741511536
Issue Date:
DOI: https://doi.org/10.1023/A:1015741511536