✦ LIBER ✦
Solving the Word Problem for Two Classes of Non-associative Rings by Rewriting
✍ Scribed by Alfred Widiger
- Publisher
- Elsevier Science
- Year
- 2001
- Tongue
- English
- Weight
- 234 KB
- Volume
- 32
- Category
- Article
- ISSN
- 0747-7171
No coin nor oath required. For personal study only.
✦ Synopsis
Using the notion of modified completion given in Widiger, A. (1998, Deciding degreefour-identities for alternative rings by rewriting. In Bronstein, M., Grabmeier, J., Weispfenning, V. eds, Symbolic Rewriting Techniques, PCS 15, pp. 277-288. Birkhäuser-Verlag), it is shown that the word problem for the varieties of non-associative rings defined by (xy)z = y(zx) and (xy)z = y(xz) respectively can be decided by rewriting.