Eventually inverse semigroups whose lattice of eventually inverse subsemigroups is \(\wedge\)-semidistributive (Q1590060): Difference between revisions

A semigroup \(S\) is ``eventually regular'' if every element has a power that is regular; \(S\) is ``eventually inverse'' if, in addition, each of its regular elements has a unique inverse. Then the subsemigroups that are closed under the partial operation of inversion form a lattice: the lattice \(\text{Sub }\pi S\) of eventually inverse subsemigroups. In previous papers (e.g. [\textit{Z.-J. Tian}, J. Syst. Sci. Math. Sci. 17, No. 3, 226-231 (1997; Zbl 0901.20048)]) the author has characterized the eventually inverse semigroups whose lattice is modular, distributive etc. This paper does the same for the notion of \(\wedge\)- (or meet-) distributivity. A lattice has this property whenever \(a\wedge b=a\wedge c\) implies \(a\wedge(b\vee c)=a\wedge b\). One characterization of eventually inverse semigroups \(S\) for which \(\text{Sub }\pi S\) has this property is that \(S\) is a chain of ideal extensions of locally cyclic groups by nilsemigroups, in such a way that \(S-\text{Gr }S\) is a \(U\)-partial semigroup. Here \(\text{Gr }S\) is the union of the subgroups of \(S\); and a \(U\)-partial subsemigroup is a subset \(A\) with the property that whenever a product \(xy\) belongs to \(A\), then it belongs to either the subsemigroup generated by \(x\) or that generated by \(y\) (this concept occurs frequently in the study of subsemigroup lattices; see \textit{L.~N. Shevrin} and \textit{A.~J. Ovsyannikov} [Semigroups and their subsemigroup lattices, Kluwer Academic Publishers, Dordrecht (1996; Zbl 0858.20054)]).