Eventually regular semigroups with 0-semidistributive full subsemigroup lattices. (Q535104)

A semigroup is eventually regular if some power of each element is regular. It is, further, eventually inverse if each regular element has a unique inverse; and strongly eventually inverse if its idempotents commute. The authors extend the study of the lattice of full subsemigroups of an inverse semigroup, introduced by \textit{Z.-J. Tian} and \textit{Z.-B. Xu} [Semigroup Forum 73, No. 3, 457-469 (2006; Zbl 1117.20047)], to eventually regular semigroups. The lattice behaves, in many ways, like the lattice of full inverse subsemigroups of a full inverse semigroup, which has been extensively studied. Thus the description by \textit{Z.-J. Tian} [Commun. Algebra 35, No. 6, 1824-1833 (2007; Zbl 1129.20041)] of the inverse semigroups for which the latter lattice is 0-semidistributive serves as the model for the description found in the current paper for the eventually regular semigroups whose lattice of full subsemigroups has this property. (A lattice is 0-semidistributive if the implication \(a\wedge b=a\wedge c=0\Rightarrow a\wedge(b\vee c)=0\) holds.) Not surprisingly, the connection grows tighter for eventually inverse and strongly eventually inverse semigroups.