Chajda, Ivan; Horváth, Eszter K. A scheme for congruence semidistributivity. (English) Zbl 1057.08001 Discuss. Math., Gen. Algebra Appl. 23, No. 1, 13-18 (2003). A lattice \(L\) is \(\wedge\)-semidistributive if it satisfies the following implication for all \(x,y,z\in L:\) \[ SD_{\wedge }:x\wedge y=x\wedge z\Rightarrow x\wedge (y\vee z)=x\wedge y. \] More generally, for \(n\geq 2,\) \(M\subseteq \{0,1,\dots,n-1\}\) such that \(\left| M\right| \geq 2\), let the generalized meet semidistributive law \(SD_{\wedge }(n,M)\) for lattices be defined as follows: \[ \begin{split} SD_{\wedge}(n,M) : \text{ for all }x,y_{0},y_{1},\dots,y_{n-1},\\ x\wedge y_{0}=x\wedge y_{1}=\dots=x\wedge y_{n-1} \Rightarrow x\wedge y_{0}=x\wedge \Bigl(\bigwedge_{I\subseteq M} \bigvee_{i\in I}y_{i}\Bigr). \end{split} \] In this paper a diagrammatic statement is developed for the generalized semidistributive law in case of single algebras assuming that their congruences are permutable. Without permutable congruences, a diagrammatic statement is developed for the \(\wedge\)-semidistributive law. Reviewer: Dimitru Busneag (Craiova) Cited in 2 Documents MSC: 08A30 Subalgebras, congruence relations 08B10 Congruence modularity, congruence distributivity 06D99 Distributive lattices Keywords:\(\wedge\)-semidistributivity; generalized semidistributive law; triangular scheme PDFBibTeX XMLCite \textit{I. Chajda} and \textit{E. K. Horváth}, Discuss. Math., Gen. Algebra Appl. 23, No. 1, 13--18 (2003; Zbl 1057.08001) Full Text: DOI Link