GAP
|
Main BranchesDownloads Installation Overview Data Libraries Packages Documentation Contacts FAQ GAP 3 |
Find us on GitHubNavigation Tree |
Finitely Presented GroupsIt follows from the well known theorems on the algorithmic unsolvability of the word problem and related problems that there are no deterministic methods to answer most questions about the structure of finitely presented groups. For these essentially two approaches are possible: On one hand trial-and-error methods such as the Todd-Coxeter and Knuth-Bendix methods, on the other hand methods to find certain factor groups of described structure, most of which are based on the idea of 'collection'. For theoretical background of the implemented methods see the book [Si94] of Charles Sims. The main GAP library provides methods for handling finitely presented groups such as
Also there are functions to handle Tietze transformations. In addition there are packages
The packages are still (2005) only available through GAP 3. |