×

How can representation theories of inverse semigroups and lattices be united? (English) Zbl 0858.06006

Let \(X\) be a set and \(\text{Rel}(X)\) the set of all binary relations on \(X\). For \(R\in\text{Rel}(X)\), let us put \(\text{Dom} (R)=\{x\mid \exists y:(x,y)\in R\}\) and define three operations \(\circ\), \({}^{-1}\) and \({\mathcal P}\) on \(X\) by: \(R\circ H= \{(x,y)\mid \exists z:(x,z)\in R\), \((z,y)\in H\}\), \(R^{-1}= \{(x,y)\mid (y,x)\in R\}\) and \({\mathcal P}(R)= \{(x,x)\mid x\in\text{Dom} (R)\}\). A binary relation \(R\) is called difunctional if \(R\circ R^{-1}\circ R=R\). This notion was introduced by J. Riguet [Bull. Soc. Math. France 76, 114-154 (1948; Zbl 0033.00603)]. Let us denote by \(D(X)\) the set of all difunctional relations on \(X\). For \(R,H\in D(X)\) let us put \(R\bullet H=\bigcap \{Q\in D(X)\mid R\circ H\subseteq Q\}\). A partially ordered algebra \(\langle A;\cdot, {}^{-1},{}^*, \leq\rangle\) of type \((2,1,1)\) is called a regular partially ordered unary involuted semigroup if \(\langle A;\cdot, {}^{-1}\rangle\) is an involuted semigroup (that is \((xy)z=x(yz)\), \((x^{-1})^{-1}=x\) and \((xy)^{-1}= y^{-1}x^{-1})\), \(\leq\) is a partial order, the operations \(\cdot\), \({}^{-1}\) and \({}^*\) are monotonic, and the following identities hold: \((x^*)^*= x^*\), \(x^*x=x\), \(x^*y^*= y^*x^*\), \((x^*y^*)^*= x^*y^*\), \((xy)^*= (xy^*)^*\), \(x^*y\leq y\) and \(x^*\leq x^{-1}\).
The main result of the article is the following Theorem 1. For any regular partially ordered unary involuted semigroup \(\langle A;\cdot, {}^{-1}, {}^*,\leq\rangle\), there exists an isomorphism \(\varphi\) of \(\langle A;\cdot, {}^{-1}, {}^*,\leq\rangle\) into \(\langle D(X);\bullet, {}^{-1},{\mathcal P},\subseteq\rangle\) for some set \(X\) such that, for any \(C\subseteq A\), \(\varphi(\inf C)=\bigcap_{a\in C}\varphi(a)\) whenever \(\inf C\) exists.
This result generalizes simultaneously two well-known representation theorems: the Wagner-Preston theorem (about representation of inverse semigroups by inverse semigroups of partial one-to-one transformations) and the Whitman theorem (about representation of lattices by lattices of equivalence relations).

MSC:

06F05 Ordered semigroups and monoids
06B15 Representation theory of lattices
20M18 Inverse semigroups
20M30 Representation of semigroups; actions of semigroups on sets

Citations:

Zbl 0033.00603
PDFBibTeX XMLCite
Full Text: DOI EuDML

References:

[1] Bredikhin, D.M.,Abstract characteristics of some relation algebras, in ”Algebra and number’s theory”, Nalchik,2 (1976), 3–19 (Russian).
[2] Bredikhin, D. A.,Representation of inverse semigroups by difunctional multipermutations, Proc. of Conf. ”Transformation semigroups”, Univ. of Essex, Colchester, (1993), 1–11.
[3] Garvadskii, V.S., semigroups of transformations, in ”The theory of semigroups and its applications”, Saratov, (1970), 3–12 (Russian).
[4] Jónsson, B.,On the representation of lattices, Math. Scand.,1 (1953), 193–206. · Zbl 0053.21304
[5] Riguet, G.,Relations binaires, fermetures, correspondences de Galois, Bull. Soc. Math. France,76 (1948), 114–115. · Zbl 0033.00603
[6] Schein, B.M.,Multigroups, Journal of Algebra,111 (1987), 114–132. · Zbl 0659.20053 · doi:10.1016/0021-8693(87)90244-4
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.