On congruence lattices of regular semigroups with \(Q\)-inverse transversals (Q1346299)

An inverse subsemigroup \(S^0\) of a regular semigroup \(S\) is an inverse transversal if \(|V(x)\cap S^0|=1\) for each \(x\in S\). In addition, \(S^0\) is called a \(Q\)-inverse transversal if \(S^0 S S^0\subseteq S^0\). A structure theorem for regular semigroups admitting a \(Q\)-inverse transversal has been obtained by \textit{D. B. McAlister} and \textit{R. B. McFadden} [Q. J. Math., Oxf. II. Ser. 34, 459-474 (1983; Zbl 0537.20033)]. Roughly speaking, this theorem says that each such semigroup \(S\) can be built up from the inverse semigroup \(S^0\), a left normal band \(I\) and a right normal band \(\Lambda\), all of which are subsemigroups of \(S\). The present paper is devoted to the study of the congruence lattice of such a semigroup. It is proved that each congruence \(\rho\) on \(S\) is uniquely determined by the restrictions \(\rho|S^0\), \(\rho|I\) and \(\rho|\Lambda\), respectively, and an abstract characterization is given, describing which triples occur as \((\rho|S^0,\rho|I,\rho|\Lambda)\) for some congruence \(\rho\). It is also explained how to reconstruct the congruence \(\rho\) from the data \((\rho|S^0,\rho|I,\rho|\Lambda)\). Next, certain complete congruences \(U\), \(T_l\), \(T_r\), \(V\) on the congruence lattice \(\text{Con }S\) are studied (these congruences have been discovered on any regular semigroup by \textit{F. Pastijn} and \textit{M. Petrich} [J. Pure Appl. Algebra 53, 93- 123 (1988; Zbl 0649.20052)]). It is shown that in the present case, these congruences are induced by certain natural lattice homomorphisms. Some further interesting results concerning networks of congruences and subdirect product decompositions of \(\text{Con }S\) are also obtained.