Equations in the theory of Q-distributive lattices
A Q-distributive lattice is an algebra (L, ∨, ∧, ∇, 0, 1) of type (2, 2, 1, 0, 0) such that (L, ∨, ∧, 0, 1) is a bounded distributive lattice and ∇ satisfies the equations ∇0 = 0, x ∧ ∇x = x, ∇(x ∨ y) = ∇x ∨ ∇y and ∇(x ∧ ∇y) = ∇x ∧ ∇y. The aim of this paper is to find, for each proper subvariety of...
| Autor principal: | |
|---|---|
| Publicado: |
1997
|
| Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_0012365X_v175_n1-3_p211_Petrovich http://hdl.handle.net/20.500.12110/paper_0012365X_v175_n1-3_p211_Petrovich |
| Aporte de: |
| Sumario: | A Q-distributive lattice is an algebra (L, ∨, ∧, ∇, 0, 1) of type (2, 2, 1, 0, 0) such that (L, ∨, ∧, 0, 1) is a bounded distributive lattice and ∇ satisfies the equations ∇0 = 0, x ∧ ∇x = x, ∇(x ∨ y) = ∇x ∨ ∇y and ∇(x ∧ ∇y) = ∇x ∧ ∇y. The aim of this paper is to find, for each proper subvariety of the variety of Q-distributive lattices, an equation which determines it, relatively to the whole variety, as well as to give a characterization of the minimum number of variables needed in such equation. |
|---|