On equational theories of varieties of anticommutative rings

DOI10.1007/BF02679816MaRDI QIDQ1966192zbMATH OpenFDO

Authors Vladimir Popov

Publication date 16 August 2000

Published in Mathematical Notes (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02679816

zbMATH Keywords

decidabilityfinitely based subvarietyidentitiesnoncommutative subvarietyvariety of associative rings

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Equational logic, Mal'tsev conditions (08B05) Applications of logic in associative algebras (16B70)

Review text

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.

Recommendations

• scientific article; zbMATH DE number 2120406
• On the decidability of equational theories of varieties of rings
• On some algorithmic problems related to varieties of nonassociative rings
• Equational theories for the varieties of metabelian and commutative rings
• scientific article; zbMATH DE number 1752705

Cites work

• ALGORITHMIC PROBLEMS IN VARIETIES
• scientific article; zbMATH DE number 3779604 (Why is no real title available?)
• scientific article; zbMATH DE number 193143 (Why is no real title available?)
• scientific article; zbMATH DE number 3070503 (Why is no real title available?)

Cited in

(5)

• Equational theories for the varieties of metabelian and commutative rings
• On the problem of the derivability of identities in varieties of rings
• On equational theories of classes of nonassociative rings
• scientific article; zbMATH DE number 1752705 (Why is no real title available?)
• scientific article; zbMATH DE number 2120406 (Why is no real title available?)

This page was built for publication: On equational theories of varieties of anticommutative rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1966192)