SOLVING THE WORD PROBLEM FOR A PERMUTATIVE RING VARIETY BY REWRITING

  • Alfred Widiger
Keywords: term rewriting, word problem, nonassociative rings

Abstract

Using the notion of modified completion given in [6], it is shown that the word problem for the variety of nonassociative rings defined by the permutative identity (xy)z =(zx)y can be decided by rewriting.

Published
2020-03-25