Nonassociative rings with a single defining relation whose elementary theories are decidable (Q1814494)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Nonassociative rings with a single defining relation whose elementary theories are decidable |
scientific article |
Statements
Nonassociative rings with a single defining relation whose elementary theories are decidable (English)
0 references
25 June 1992
0 references
The main result is the following Theorem. The elementary theory of a ring, defined in the variety of all nonassociative rings by generators \(a_ 1,\dots,a_ \rho\) and relation \(d=0\), is decidable if and only if \(\rho=1\) and \(d\in\{ka_ 1,ka_ 1a_ 1\mid k\in\{1,2,\dots\}\}\).
0 references
decidability
0 references
elementary theory
0 references
variety
0 references
nonassociative rings
0 references
generators
0 references
relation
0 references