How can representation theories of inverse semigroups and lattices be united?
type: Item
instance of: scholarly article
title: How can representation theories of inverse semigroups and lattices be united?
zbMATH Open document ID: 0858.06006
DOI: 10.1007/BF02574133
published in: Semigroup Forum
publication date: 1997-03-19T00:00:00Z
full work available at URL: https://eudml.org/doc/135482
review text: 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 \textit{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 transf…
Mathematics Subject Classification ID: 06F05
Mathematics Subject Classification ID: 06B15
Mathematics Subject Classification ID: 20M18
Mathematics Subject Classification ID: 20M30
zbMATH DE Number: 936966
zbMATH Keywords: partially ordered semigroup
zbMATH Keywords: inverse semigroup
zbMATH Keywords: lattice
zbMATH Keywords: binary relations
zbMATH Keywords: difunctional relations
zbMATH Keywords: involuted semigroup
zbMATH Keywords: representation theorems
author: D. A. Bredikhin
reviewed by: Boris Vernikov
MaRDI profile type: Publication
cites work: On the representation of lattices
cites work: Relations binaires, fermetures, correspondances de Galois
cites work: Multigroups
description: scientific article; zbMATH DE number 936966