The Quasivariety-Lattice of a Discriminator Variety

BLANCO, JAVIER; CAMPERCHOLI, MIGUEL; VAGGIONE, DIEGO

ADVANCES IN MATHEMATICS

ACADEMIC PRESS INC ELSEVIER SCIENCE

Año: 2001 p. 18 - 50

0001-8708

 Let V be a discriminator variety such that the class B={A in V : A is simple and has no trivial subalgebra} is closed under ultraproducts. This property holds, for example, if V is locally finite or if the language is finite. Let v(V) and q(V) denote the lattice of subvarieties and subquasivarieties of V, respectively. We prove that q(V) is modular iff q(V) is distributive iff v(V) satisfies a certain condition where the case in which the language has a constant symbol is v(V) is a chain or q(V)=v(V). We give an isomorphism between q(V) and a lattice constructed in terms of v(V). Via this isomorphism we characterize the completely meet irreducible (prime) elements of q(V) in terms of the completely meet irreducible elements of v(V). We conclude the paper with applications to the varieties of Boolean algebras, relatively complemented distributive lattices, Lukasiewicz algebras, Post algebras, complementary semigroups of rank k, R5 lattices (P-algebras, B-algebras), and monadic algebras.