Local isomorphisms of cross connections (Q752189)

With a given regular semigroup S one can associate Nambooripad's biordered set E of idempotents of S or Grillet's cross connection [I,\(\Lambda\),\(\Gamma\),\(\Delta\) ] of S. In [\textit{K. S. S. Nambooripad}, Semigroup Forum 16, 67-81 (1978; Zbl 0389.20053)] it is shown that the notions biordered set and cross connection are equivalent. With the biordered set E of S one associates a regular semigroup T(E) and with the cross connection [I,\(\Lambda\),\(\Gamma\),\(\Delta\) ] the regular semigroup \(U=U(I,\Lambda,\Gamma,\Delta)\). These regular semigroups are isomorphic and there exists a homomorphism of S into a subsemigroup of T(E)\(\cong U\), which induces a bijection between the sets of idempotents. The semigroup T(E) is a quotient of a groupoid \(T^*(E)\) whose elements consist of \(\omega\)-isomorphisms, that is, isomorphisms among substructures of E of the form \(\omega (e)=\{f\in E|\) \(f\leq e\}\), \(e\in E\), where \(\leq\) denotes the usual partial order on the set of idempotents. The author relates these \(\omega\)-isomorphisms to so-called local isomorphisms of [I,\(\Lambda\),\(\Gamma\),\(\Delta\) ] and he establishes a simple structure theorem for T(E)\(\cong U\) in case T(E)\(\cong U\) is combinatorial (that is, \({\mathcal H}\)-trivial). This structure theorem simplifies considerably if for each \(e\in E\), \(\omega\) (e) is a semilattice.