Congruence semimodular varieties. I: Locally finite varieties
type: Item
instance of: scholarly article
title: Congruence semimodular varieties. I: Locally finite varieties
zbMATH Open document ID: 0815.08003
DOI: 10.1007/BF01191540
author: Paolo Agliano
author: Keith A. Kearnes
published in: Algebra Universalis
publication date: 1995-07-02T00:00:00Z
review text: [Part II is reviewed below.] The authors try to answer the question: How much of the structure involved in congruence modular varieties exists for congruence semimodular (CSM) varieties? They examine locally finite CSM varieties. For any finite algebra \(A\) in a CSM variety, natural congruences \(\underset {T}\sim\) are defined which play a role similar to that played by the commutator for algebras in a congruence modular variety. It is shown that if \(\underset {T} \sim\) is a congruence on the finite algebras of some locally finite CSM variety \(V\), then \(\underset {T} \sim\) induces a congruence \(\underset {T}\simeq\) on the subvariety lattice \(L_ V\) of \(V\). Furthermore, the quotient lattice \(L_ V/\underset {T} \simeq\) is both algebraic and dually algebraic and the natural map of \(L_ V\) onto \(L_ V/\underset {T}\simeq\) is complete (Theorem 4.3). The existence of irredundant subdirect product decomposition in CSM varieties is investigated. Further, it is proved that if \(V\) is a variety with the Congruence Extension Property, then \(V\) is CSM iff the 5-generated free \(V\)-algebra is CSM (Theorem 7.3). Theorem 8.5 states that a locally finite variety \(V\) is geometric iff \(V\) is a varietal product of a strongly Abelian geometric variety and an affine variety whose corresponding ring is finite and semi-simple.
Mathematics Subject Classification ID: 08B10
zbMATH DE Number: 679604
zbMATH Keywords: congruence semimodular variety
zbMATH Keywords: subvariety lattice
zbMATH Keywords: congruence extension property
zbMATH Keywords: quotient lattice
zbMATH Keywords: subdirect product decomposition
zbMATH Keywords: locally finite variety
zbMATH Keywords: geometric variety
zbMATH Keywords: affine variety
reviewed by: V. N. Saliĭ
MaRDI profile type: Publication
cites work: Congruence semimodular varieties. II: Regular varieties
cites work: A Characterization of Modularity for Congruence Lattices of Algebras*
cites work: On the lattice of congruences on a semilattice
cites work: Finite fixed point algebras are subdiagonalisable
cites work: Algebras Whose Congruence Lattices are Distributive.
cites work: Atomicity And Nilpotence
cites work: Congruence lower semimodularity and 2-finiteness imply congruence modularity
cites work: Relatively congruence distributive subquasivarieties of a congruence modular variety
cites work: Type Preservation In Locally Finite Varieties with the CEP
cites work: Commutator Theory for Relatively Modular Quasivarieties
cites work: Problems and results in tame congruence theory. A survey of the '88 Budapest workshop
cites work: Abelian algebras and the Hamiltonian property
cites work: Theory of equivalence relations
cites work: Characterizing Mal'cev conditions
cites work: The fine spectrum of a variety
full work available at URL: https://doi.org/10.1007/bf01191540
OpenAlex ID: W2028587267
description: scientific article; zbMATH DE number 679604