The lattice of subquasivarieties of a locally finite quasivariety
type: Item
instance of: scholarly article
title: The lattice of subquasivarieties of a locally finite quasivariety
zbMATH Open document ID: 1425.08001
DOI: 10.1007/978-3-319-78235-5
author: Jennifer Hyndman
author: J. B. Nation
published in: CMS Books in Mathematics/Ouvrages de Mathématiques de la SMC
publication date: 2018-04-23T00:00:00Z
review text: It was an old idea by G. Birkhoff and A. I. Malcev that quasivarieties could be investigated in terms of their lattices of subquasivarieties. This is just the approach taken by the authors. They restrict their attention to locally finite quasivarieties because this investigation aroses from their study of finitely generated quasivarieties. The authors analyse the structure of the lattice \(L_q(K)\) of subquasivarieties of a quasivariety \(K\). It is known that this lattice is both algebraic and dually algebraic, join semidistributive and fermentable. Quasivarieties are characterized which are completely join irreducible or completely meet irreducible elements of \(L_q(K)\), likewise quasivarieties that are completely join prime or completely meet prime. For a finite algebra \(T\) in \(K\), there is a finite set \(E(T)\) of quasi-equations such that, for any subquasivariety \(Q\) of \(K\), it is the case that \(T\) is not in \(Q\) if and only if \(Q\) satisfies some quasi-equation from \(E(T)\). For each quasi-equation \(e\) from \(E(T)\), there is a finite list \(U_1\),\dots,\(U_k\) of finite algebras in \(K\) such that an algebra \(S\) of \(K\) satisfies \(e\) if and only if \(S\) contains no \(U_i\) as subalgebra. Every subquasivariety of \(K\) is a meet of completely meet irreducible quasivarieties. For every completely meet irreducible quasivariety \(M\) in \(L_q(K)\), there is a finite algebra \(T\), not in \(M\), such that \(M\) is determined by some quasi-equation \(e\) in \(E(T)\). Hence, finitely based quasivarieties can be characterized in terms of omitting finitely many algebras. Those methods are illustrated by applying them to quasivarieties of 1-unary and 2-unary algebras, lattices, abelian groups, and pure relational structures whose relations are all unary. The book contains 7 chapters with results, one chapter with open problems, an appendix, a bibliography and an author index. The majority of this text is based on published results by V. Gorbunov, …
reviewed by: Ivan Chajda
Mathematics Subject Classification ID: 08-02
Mathematics Subject Classification ID: 08C15
Mathematics Subject Classification ID: 08A60
Mathematics Subject Classification ID: 08B15
zbMATH DE Number: 6863923
zbMATH Keywords: quasivariety
zbMATH Keywords: lattice od subquasivarieities
zbMATH Keywords: locally finite quasivariety
zbMATH Keywords: critical algebra
zbMATH Keywords: quasicritical algebra
zbMATH Keywords: 1-unary algebra
zbMATH Keywords: 2-unary algebra
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-3-319-78235-5
OpenAlex ID: W2889487223
Recommended article: The subquasivariety lattice of a discriminator variety
Recommended article: Lattices of Subsemivarieties of Certain Varieties
Recommended article: On distributivity of the lattice of subquasivarieties of a locally finite semi-simple arithmetical variety
Recommended article: The structure of the lattices of quasivarieties
Recommended article: On the structure of lattices of subquasivarieties of congruence-Noetherian quasivarieties
Recommended article: A Primer of Subquasivariety Lattices
Recommended article: On subquasivariety lattices of semi-primal varieties
Recommended article: Finite distributive lattices of quasivarieties
Recommended article: The lattice of subvarieties of \({\sqrt{^\prime}}\) quasi-MV algebras
Recommended article: The lattice of quasivarieties of semigroups
description: scientific article; zbMATH DE number 6863923