Structure of lattices of varieties and lattices of quasivarieties: Similarity and difference. I
type: Item
instance of: scholarly article
title: Structure of lattices of varieties and lattices of quasivarieties: Similarity and difference. I
zbMATH Open document ID: 0841.08005
DOI: 10.1007/BF00750161
author: V. A. Gorbunov
published in: Algebra and Logic
publication date: 1996-03-27T00:00:00Z
full work available at URL: https://eudml.org/doc/187718
review text: The paper under review is the first part of the author's work which will be published in three parts. The aim of the whole work is to provide a unified approach to study lattices of varieties and lattices of quasivarieties. The author says that this approach often helps us to see where and why differences and similarities in structures of these two types arise. The work consists of 8 sections. The present first part contains the Introduction (where results of all three parts are announced) and Sections 1-3. In Sections 1 and 2 the basic definitions are given and some preliminary results are presented. In particular, it is shown that an algebraic system \(A\) is limit-projective in a prevariety \({\mathcal V}\) if and only if \(A\) is a retract of some system with finitely many defining relations in \({\mathcal V}\) (Theorem 2.1). In Section 3 the notions of (quasi-)Birkhoff classes of algebraic systems are introduced and discussed. They are one of the main notions in the whole work. Let \({\mathcal K}\) be an arbitrary class of algebraic systems. A subclass of \({\mathcal K}\) is called a \({\mathcal K}\)-(quasi)variety if it is closed in \({\mathcal K}\) under taking subsystems, subdirect products, and homomorphic images (respectively subsystems, subdirect products, and superdirect limits). This is a natural generalization of pseudo(quasi)varieties which are exactly \({\mathcal F}\)-(quasi)varieties where \({\mathcal F}\) is the class of all finite systems of a given type. The author says that \({\mathcal K}\) is a (quasi-)Birkhoff class iff every \({\mathcal K}\)-(quasi)variety is definable in \({\mathcal K}\) by some set of (quasi)identities. The author introduced also strict and uniform (quasi-)Birkhoff classes. The main results dealing with all these notions will be published in the second part of the work.
Mathematics Subject Classification ID: 08B15
Mathematics Subject Classification ID: 08C15
zbMATH DE Number: 848948
zbMATH Keywords: Birkhoff classes
zbMATH Keywords: lattices of varieties
zbMATH Keywords: lattices of quasivarieties
zbMATH Keywords: limit-projective
reviewed by: Boris Vernikov
MaRDI profile type: Publication
cites work: Finite bases for finitely generated, relatively congruence distributive quasivarities
cites work: The cardinality of subdirectly indecomposable systems in quasivarieties
cites work: Commutator Theory for Relatively Modular Quasivarieties
cites work: Q3362860
cites work: Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
cites work: Lattices of quasivarieties
cites work: A property of the lattice of equational theories
cites work: Equational closure operator and forbidden semidistributive lattices
cites work: Finite atomistic lattices that can be represented as lattices of quasivarieties
cites work: Q4849828
cites work: On pseudovarieties
cites work: Pseudovarieties, generalized varieties and similarly described classes
cites work: The lattice of quasivarieties of semigroups
cites work: Q-Universal Quasivarieties of Algebras
cites work: The structure of the lattices of quasivarieties
cites work: Q3875978
cites work: Q3751631
cites work: On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics
cites work: Q3994689
description: scientific article; zbMATH DE number 848948