The lattice of subsemigroups of a nilsemigroup (Q1964734)

A nilsemigroup is a semigroup with zero in which some power of each element is zero. Clearly, the nonempty subsemigroups of such a semigroup \(S\) form a lattice, denoted \({\mathcal L}(S)\). It is shown that semidistributivity and semimodularity of \({\mathcal L}(S)\) each imply the following property: for all \(x,y\in S\), \(xy\in\langle x\rangle\cup\langle y\rangle\), where the pointed brackets denote semigroup generation. (Such a semigroup is termed a \(U\)-semigroup in the monograph of \textit{L. N. Shevrin} and \textit{A. Yu. Ovsyannikov} [Semigroups and their subsemigroup lattices, Kluwer Academic Publ. (1996; Zbl 0858.20054)].) Thus each of these properties is equivalent to distributivity and modularity of \({\mathcal L}(S)\). Some similar results are proven for 0-distributivity. It is also shown that if \({\mathcal L}(S)\) is complemented then \(S\) is a null semigroup.