On positive and critical theories of some classes of rings (Q1587004): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3926793 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3658158 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4146913 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Unsolvability of the endomorphic reducibility problem in free nilpotent groups and in free rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Critical theories of certain nonassociative rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3980171 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3778719 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Critical theories of supervarieties of the variety of commutative associative rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3815454 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4750010 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3770720 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Limit ultraproducts / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Properties preserved under homomorphism / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Properties preserved in subdirect products / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the extending of models (I) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5833217 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: ALGORITHMIC PROBLEMS IN VARIETIES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3889234 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3231232 / rank | |||
Normal rank |
Latest revision as of 10:01, 3 June 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
0 references