An equational theory for a nilpotent <Emphasis Type="Italic">A</Emphasis>-loop |
| |
Authors: | A V Kowalski V I Ursu |
| |
Institution: | (1) SP Geometry and Discrete Mathematics, University of Hamburg, Bundesstrasse 55, 20146 Hamburg, Germany |
| |
Abstract: | It is shown that a variety generated by a nilpotent A-loop has a decidable equational (quasiequational ) theory. Thereby the question posed by A. I. Mal’tsev in 6] is answered in the negative, and moreover, a finitely presented nilpotent A-loop has a decidable word problem. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|