On equational theories of varieties of anticommutative rings (Q1966192): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q5810602 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4040000 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: ALGORITHMIC PROBLEMS IN VARIETIES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3958656 / rank | |||
Normal rank |
Latest revision as of 13:03, 29 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On equational theories of varieties of anticommutative rings |
scientific article |
Statements
On equational theories of varieties of anticommutative rings (English)
0 references
16 August 2000
0 references
The author constructs a finitely based (noncommutative) subvariety \(\mathbb{X}\) of the variety of all associative rings satisfying the identity \(x^2 = 0\). Given a nonrecursive but recursively enumerable set of positive integers \(P\), the author gives an identity \(t(n)\) for every natural number \(n\) such that \(t(n)\) is an identity in \(\mathbb{X}\) iff \(n\in P\). Thus, the problem of determining which are the identities in the variety \(\mathbb{X}\) is undecidable.
0 references
noncommutative subvariety
0 references
variety of associative rings
0 references
identities
0 references
decidability
0 references
finitely based subvariety
0 references