Logged rewriting and identities among relators
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
We present a version of the Knuth-Bendix string rewriting procedure for group computations and apply it to the problem of computing the module of identities among relators. By lifting rewriting into the appropriate higher dimension we provide a methodology which is alternative and complementary to the popular geometric approach of pictures.
| Original language | English |
|---|---|
| Title of host publication | Groups St Andrews 2001 in Oxford |
| Editors | C. M. Campbell, E. F. Robertson, G. C. Smith |
| Place of Publication | Cambridge |
| Publisher | Cambridge University Press |
| Pages | 256-276 |
| Volume | 1 |
| ISBN (print) | 0521537398 |
| Publication status | Published - 2003 |
Publication series
| Name | London Mathematical Society Lecture Note Series |
|---|---|
| Publisher | Cambridge University Press |
| Volume | 304 |