Congruence-lattices of discrete RUCS varieties

DOI10.1007/BF01190428MaRDI QIDQ759783zbMATH OpenFDO

Authors Ervin Fried

Publication date 1984

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01190428

zbMATH Keywords

congruence latticesequationally definable principal congruencesgeneralizations of discriminator algebrasjoin irreducible congruenceslargest element

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Equational logic, Mal'tsev conditions (08B05)

Review text

The author deals with a very special kind of algebras having equationally definable principal congruences. These are still generalizations of discriminator algebras, defined as having a four-ary term f satisfying \(f(a,b,c,d)=d\) if \(\Theta\) (c,d)\(\leq \Theta (a,b)\) and \(=c\) otherwise. The congruence lattices of such algebras are described: 1) non-disjoint congruence classes are comparable or, equivalently, 2) the congruence lattice is distributive and exactly the join-irreducible congruences are principal or, equivalently, 3) the congruence lattice is isomorphic to the hereditary subset-lattice of a poset containing an (up-)cofinal chain. The ideas are used to generalize a result of R. Quackenbush: If the largest element of a congruence lattice is the join of k join irreducible congruences then it is the join of at most \((k+1)/2\) principal congruences. Some sort of converse is also proved.

Recommendations

• Quasivarieties of algebras with definable principal congruences
• On the structure of varieties with equationally definable principal congruences. II
• scientific article; zbMATH DE number 3991574
• Definable principal congruences in congruence distributive varieties
• On the structure of varieties with equationally definable principal congruences. III

Cites work

• A new proof of the congruence lattice representation theorem
• A note on the congruence extension property
• Algebras Whose Congruence Lattices are Distributive.
• Distributivity and Permutability of Congruence Relations in Equational Classes of Algebras
• scientific article; zbMATH DE number 3621800 (Why is no real title available?)
• scientific article; zbMATH DE number 3191288 (Why is no real title available?)
• On the structure of varieties with equationally definable principal congruences. I
• On the structure of varieties with equationally definable principal congruences. III
• Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
• Strong representation of congruence lattices
• The independence of certain related structures of a universal algebra. I. Partial algebras with useless operations and other lemmas
• Uniform congruence schemes
• Varieties with equationally definable principal congruences

Cited in

(3)

• Bjarni Jónsson's contributions in algebra
• On the structure of varieties with equationally definable principal congruences. II
• Congruence-distributive varieties of algebras

This page was built for publication: Congruence-lattices of discrete RUCS varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q759783)