Identities in lattices of ring varieties (Q1085257)
From MaRDI portal
![]() | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Identities in lattices of ring varieties |
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Identities in lattices of ring varieties |
scientific article |
Statements
Identities in lattices of ring varieties (English)
0 references
1986
0 references
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}\).
0 references
variety of lattices
0 references
joined variety of rings
0 references
variety of associative rings
0 references