Identities in lattices of ring varieties (Q1085257)

For any variety \({\mathfrak X}\) of (not necessarily associative) rings, the lattice of all subvarieties of \({\mathfrak X}\) and the free ring of countable rank in \({\mathfrak X}\) are denoted by L(\({\mathfrak X})\) and F(\({\mathfrak X})\) accordingly. The variety of all rings satisfying the identity \(nx=0\) is denoted by \({\mathfrak B}_ n\). The variety generated by a ring R is denoted by var(R). If A is an abelian group, then T(A) denotes its maximal periodic subgroup. A variety \({\mathfrak X}\) is called joined if for every \({\mathfrak A}\in L({\mathfrak X})\) there exists a positive integer \(n=n({\mathfrak A})\) such that n(T(F(\({\mathfrak A}))=0.\) The main results of the paper are: Theorem 1. Let \({\mathfrak L}\) be any variety of lattices and \({\mathfrak X}\) be a joined variety of rings. If the lattice L(\({\mathfrak X}\cap {\mathfrak B}_ n)\) belongs to \({\mathfrak L}\) for every n, then the lattice L(\({\mathfrak X})\) belongs to \({\mathfrak L}\). Theorem 2. Let \({\mathfrak L}\) be a variety of lattices generated by a finite lattice and let \({\mathfrak X}\) be a variety of associative rings. If the lattice L(var(R)) belongs to \({\mathfrak L}\) for every finite ring \(R\in {\mathfrak X}\), then the lattice L(\({\mathfrak X})\) belongs to \({\mathfrak L}\).