On positive and critical theories of some classes of rings (Q1587004): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 05:01, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On positive and critical theories of some classes of rings |
scientific article |
Statements
On positive and critical theories of some classes of rings (English)
0 references
21 November 2000
0 references
Let \(\mathfrak X\) be some variety of rings defined by polyhomogeneous identities. The author proves that the positive theories of the following varieties coincide: (i) \(\mathfrak X\); (ii) the free ring in \(\mathfrak X\) of countable rank \(F\mathfrak X\); and (iii) the class \(\mathfrak X\cap F\) of all finite rings in \(\mathfrak X\). Let \(\mathfrak N\) be an arbitrary variety of semigroups, groups, rings, or algebras over a field. Let \(F\mathfrak N\) be a free object in the variety \(\mathfrak N\) of countable rank and let \(\mathfrak N\cap F\) be the class of all free objects of the variety. The authors show that the positive theory of the algebraic system \(F\mathfrak N\) and that of the class \(\mathfrak N\cap F\) coincide. As a corollary, the authors give a negative answer to Bokut's question on decidability of the word problem for the class of finite Jordan rings.
0 references
positive theory of a class of algebraic systems
0 references
variety of rings
0 references
free ring in the variety of rings
0 references