On equational theories of classes of nonassociative rings (Q2386998): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 19:56, 2 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On equational theories of classes of nonassociative rings |
scientific article |
Statements
On equational theories of classes of nonassociative rings (English)
0 references
26 August 2005
0 references
The paper contains a single Theorem: There exists a finitely based variety of nonassociative rings with undecidable equational theory such that the equational theory of the class of all of its finite rings is also undecidable. The proof is based on the interpretation of the functioning of the two-tape Minsky machine [\textit{M. L. Minsky}, Ann. Math. (2) 74, 437--455 (1961; Zbl 0105.00802)]. For a description of the method and review of related results, see [\textit{O. G. Kharlampovich} and \textit{M. V. Sapir}, Int. J. Algebra Comput. 5, 379--602 (1995; Zbl 0837.08002)].
0 references
equational theory
0 references
varieties
0 references
nonassociative rings
0 references