The subquasivariety lattice of a discriminator variety (Q5933428)

The quaterny discriminator on a set \(M\) is the mapping \(d:M^4\to M\) defined by \(d(x,y,z,w):=z\) if \(x=y\) and \(d(x,y,z,w):=w\) otherwise. A variety is called a discriminator variety if it is generated by a class \({\mathbf K}\) of algebras of the same type such that there exists a term representing the quaternary discriminator on every algebra belonging to \({\mathbf K}\). Let \({\mathbf V}\) be a discriminator variety such that the class consisting of all algebras of \({\mathbf V}\), both being simple and having no trivial subalgebra, is closed under ultraproducts, and let \(v({\mathbf V})\) and \(q({\mathbf V})\) denote the lattices of subvarieties and of subquasivarieties of \({\mathbf V}\), respectively. Results concerning the structure of \(v({\mathbf V})\) and \(q({\mathbf V})\) are proved. Especially, it is proved that \(q({\mathbf V})\) is modular if and only if \(q({\mathbf V})\) is distributive. Moreover, the completely meet irreducible elements of \(q({\mathbf V})\) are characterized in terms of the completely meet irreducible elements of \(v({\mathbf V})\). Finally, the obtained results are applied to special varieties.