Book contents
- Frontmatter
- Contents
- Foreword
- Participants
- 1 Lie Methods in Growth of Groups and Groups of Finite Width
- 2 Translation numbers of groups acting on quasiconvex spaces
- 3 On a term rewriting system controlled by sequences of integers
- 4 On certain finite generalized tetrahedron groups
- 5 Efficient computation in word-hyperbolic groups
- 6 Constructing hyperbolic manifolds
- 7 Computing in groups with exponent six
- 8 Rewriting as a special case of non-commutative Gröbner basis theory
- 9 Detecting 3-manifold presentations
- 10 In search of a word with special combinatorial properties
- 11 Cancellation diagrams with non-positive curvature
- 12 Some Applications of Prefix-Rewriting in Monoids, Groups, and Rings
- 13 Verallgemeinerte Biasinvarianten und ihre Berechnung
- 14 On groups which act freely and properly on finite dimensional homotopy spheres
- 15 On Confinal Dynamics of Rooted Tree Automorphisms
- 16 An asymptotic invariant of surface groups
- 17 A cutpoint tree for a continuum
- 18 Generalised triangle groups of type (2, m, 2)
12 - Some Applications of Prefix-Rewriting in Monoids, Groups, and Rings
Published online by Cambridge University Press: 06 July 2010
- Frontmatter
- Contents
- Foreword
- Participants
- 1 Lie Methods in Growth of Groups and Groups of Finite Width
- 2 Translation numbers of groups acting on quasiconvex spaces
- 3 On a term rewriting system controlled by sequences of integers
- 4 On certain finite generalized tetrahedron groups
- 5 Efficient computation in word-hyperbolic groups
- 6 Constructing hyperbolic manifolds
- 7 Computing in groups with exponent six
- 8 Rewriting as a special case of non-commutative Gröbner basis theory
- 9 Detecting 3-manifold presentations
- 10 In search of a word with special combinatorial properties
- 11 Cancellation diagrams with non-positive curvature
- 12 Some Applications of Prefix-Rewriting in Monoids, Groups, and Rings
- 13 Verallgemeinerte Biasinvarianten und ihre Berechnung
- 14 On groups which act freely and properly on finite dimensional homotopy spheres
- 15 On Confinal Dynamics of Rooted Tree Automorphisms
- 16 An asymptotic invariant of surface groups
- 17 A cutpoint tree for a continuum
- 18 Generalised triangle groups of type (2, m, 2)
Summary
Abstract. Rewriting techniques have been applied successfully to various areas of symbolic computation. Here we consider the notion of prefixrewriting and give a survey on its applications to the subgroup problem in combinatorial group theory. We will see that for certain classes of finitely presented groups finitely generated subgroups can be described by convergent prefix-rewriting systems, which can be obtained from a presentation of the group considered and a set of generators for the subgroup by a specialized Knuth-Bendix style completion procedure. In many instances a finite presentation for the subgroup considered can be constructed from such a convergent prefix-rewriting system, thus solving the subgroup presentation problem. Finally we will see that the classical procedures for computing Nielsen reduced sets of generators for a finitely generated subgroup of a free group and the Todd-Coxeter coset enumeration can be interpreted as particular instances of prefix-completion. Further, both procedures are closely related to the computation of prefix Gröbner bases for right ideals in free group rings.
INTRODUCTION
There is a recent shift in paradigm in mathematics, and in modern algebra in particular, from pure structural considerations back to the notion of computability, that is, one is not merely interested in the structural properties of the mathematical entities under consideration, but one wants to actually perform computations in these structures.
This development has been preceded by that in combinatorial group theory, where algorithmic questions have been of major concern since the beginning of the century. In 1911 Dehn formulated three fundamental decision problems for groups given in terms of generators and defining relations [Dehll], the most famous of which is the word problem.
- Type
- Chapter
- Information
- Computational and Geometric Aspects of Modern Algebra , pp. 150 - 191Publisher: Cambridge University PressPrint publication year: 2000