An Efficient Strategy for Word-Cycle Completion in Finitely Presented Groups

Abstract

We present an efficient strategy for the application of the inference rules of a completion procedure for finitely presented groups. This procedure has been proposed by Cremanns and Otto and uses a combinatorial structure called word-cycle. Our strategy is complete in the sense that a set of persistent word-cycles can be used to solve the reduced word problem of the finitely presented group given as input. This procedure has been implemented in order to experiment with various examples of groups.

DOI: 10.1109/SCCC.2001.972635

Extracted Key Phrases

1 Figure or Table

Cite this paper

@inproceedings{Gadelha2001AnES, title={An Efficient Strategy for Word-Cycle Completion in Finitely Presented Groups}, author={Luiz M. R. Gadelha and Mauricio Ayala-Rinc{\'o}n}, booktitle={SCCC}, year={2001} }