On equational theories of varieties of anticommutative rings (Q1966192)
From MaRDI portal
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