Cyclic terms for SD_ varieties revisited

DOI10.1007/S00012-010-0094-ZMaRDI QIDQ616130zbMATH OpenOpenAlexFDO

Authors Libor Barto, Marcin Kozik

Publication date 7 January 2011

Published in Algebra Universalis (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://doi.org/10.1007/s00012-010-0094-z

zbMATH Keywords

congruence join-semidistributive varietycyclic term

Mathematics Subject Classification ID

Congruence modularity, congruence distributivity (08B10)

Review text

A lattice \(L\) is join-semidistributive if \(x\vee y=x\vee z\) implies \(x\vee (y\wedge z)=x\vee y\) for all \(x,y,z\in L\). A variety \(V\) is congruence join-semidistributive if all the algebras in \(V\) have join-semidistributive congruence lattices. The authors present a direct proof showing that every finite algebra generating a congruence join-semidistributive variety has a cyclic term.

Recommendations

• Congruence join semidistributivity is equivalent to a congruence identity.
• scientific article; zbMATH DE number 802713
• The subvariety lattice of the join of two semigroup varieties.
• scientific article; zbMATH DE number 19708
• A scheme for congruence semidistributivity

Cites work

• Congruence join semidistributivity is equivalent to a congruence identity.
• Congruence modularity implies cyclic terms for finite algebras
• Existence theorems for weakly symmetric operations
• The CSP Dichotomy Holds for Digraphs with No Sources and No Sinks (A Positive Answer to a Conjecture of Bang-Jensen and Hell)
• The structure of finite algebras

Cited in

(10)

• Semilattice operations generated by lattice terms
• Lattices of algebraic subsets and implicational classes
• Constraint Satisfaction Problems Solvable by Local Consistency Methods
• Finitely related clones and algebras with cube terms.
• scientific article; zbMATH DE number 802713 (Why is no real title available?)
• Absorption in universal algebra and CSP
• Universal algebraic methods for constraint satisfaction problems
• On solvability of systems of polynomial equations
• The complexity of conservative valued CSPs
• Another characterization of congruence distributive varieties

This page was built for publication: Cyclic terms for \(\text{SD}_{\vee}\) varieties revisited

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