Local isomorphisms of cross connections (Q752189)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Local isomorphisms of cross connections |
scientific article |
Statements
Local isomorphisms of cross connections (English)
0 references
1991
0 references
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.
0 references
biordered set
0 references
cross connection
0 references
regular semigroups
0 references
sets of idempotents
0 references
\(\omega \) -isomorphisms
0 references
local isomorphisms
0 references
semilattice
0 references