Abstract.
It is found the necessary condition for the lattice of quasivarieties has a finite set of coatoms. In particular if a quasivariety is generated by a finitely generated abelian-by-polycyclic-by-finite group or a totally ordered group then it has a finite set of proper maximal subquasivarieties. Also it is proved that the set of quasiverbal congruence relations of a finitely defined universal algebra is closed under any meets.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received March 23, 1999; accepted in final form June 7, 1999.
Rights and permissions
About this article
Cite this article
Budkin, A. On coatoms in lattices of quasivarieties of algebraic systems. Algebra univers. 46, 15–24 (2001). https://doi.org/10.1007/PL00022467
Issue Date:
DOI: https://doi.org/10.1007/PL00022467