Logged Rewriting Procedures with Application to Identities Among Relations

Details Logged Rewriting Procedures with Application to Identities Among Relations Logged Rewriting Procedures with Application to Identities Among Relations

1999-07-13

arxiv.org/abs/math/9907082v1

Mathematics

Combinatorics

17 pages, LaTeX2e, (submitted to LMS)

Scientific paper

The key idea is that rewriting procedures can be enhanced so that they not only rewrite words but record (log) how the rewriting has taken place. We introduce logged rewrite systems and present a variation on the Knuth-Bendix algorithm for obtaining (where possible) complete logged rewrite systems. This procedure is then applied to work of Brown and Razak Salleh, and an algorithm is developed which provides a set of generators for the module of identities among relations of a group presentation.

Affiliated with

Also associated with

No associations

Rating

Logged Rewriting Procedures with Application to Identities Among Relations does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Logged Rewriting Procedures with Application to Identities Among Relations, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Logged Rewriting Procedures with Application to Identities Among Relations will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-446415