Semigroups with \(\wedge\)-semidistributive subsemigroup lattices (Q800490)

Initiated largely by L. N. Shevrin, the study of the subsemigroup lattices of semigroups has been extensive (see [\textit{L. N. Shevrin} and \textit{A. J. Ovsyannikov}, Semigroup Forum 27, 1-154 (1983; Zbl 0523.20037)]). Among the first results was a description of those semigroups S whose subsemigroup lattices L(S) are distributive. Subsequently, descriptions of those semigroups S for which L(S) satisfies various other lattice-theoretic properties have been given. In this paper the author describes those semigroups S for which L(S) has the property in the title, that is, satisfying the implication \((SD_{\wedge})\) introduced by Jónsson in the study of free lattices: \(a\wedge b=a\wedge c\Rightarrow a\wedge (b\vee c)=a\wedge b.\) As for distributivity, the description, though complete, is too complicated to be reproduced here. The author's other main result is that the subgroup lattice of a group is \(\wedge\)-semidistributive if and only if it is distributive.