Logged rewriting and identities among relators

Anne Heyworth; Christopher D. Wensley

Logged rewriting and identities among relators

Anne Heyworth, Christopher D. Wensley

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

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

Cite this

@inproceedings{b5d0d4dc8ff64801bb7b17c5066af8f6,

title = "Logged rewriting and identities among relators",

abstract = "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.",

author = "Anne Heyworth and Wensley, \{Christopher D.\}",

year = "2003",

language = "English",

isbn = "0521537398",

volume = "1",

series = "London Mathematical Society Lecture Note Series",

publisher = "Cambridge University Press",

pages = "256--276",

editor = "Campbell, \{C. M.\} and Robertson, \{E. F. \} and Smith, \{G. C. \}",

booktitle = "Groups St Andrews 2001 in Oxford",

address = "United Kingdom",

}

Logged rewriting and identities among relators. / Heyworth, Anne; Wensley, Christopher D.
Groups St Andrews 2001 in Oxford. ed. / C. M. Campbell; E. F. Robertson; G. C. Smith. Vol. 1 Cambridge: Cambridge University Press, 2003. p. 256-276 (London Mathematical Society Lecture Note Series; Vol. 304).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Logged rewriting and identities among relators

AU - Heyworth, Anne

AU - Wensley, Christopher D.

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

M3 - Conference contribution

SN - 0521537398

VL - 1

T3 - London Mathematical Society Lecture Note Series

SP - 256

EP - 276

BT - Groups St Andrews 2001 in Oxford

A2 - Campbell, C. M.

A2 - Robertson, E. F.

A2 - Smith, G. C.

PB - Cambridge University Press

CY - Cambridge

ER -

Logged rewriting and identities among relators

Abstract

Publication series

Fingerprint

Cite this