Congruences associated with inverse transversals (Q1911743)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Congruences associated with inverse transversals |
scientific article |
Statements
Congruences associated with inverse transversals (English)
0 references
27 October 1996
0 references
An inverse transversal of a regular semigroup \(S\) is a regular subsemigroup \(S^\circ\) such that \(S^\circ\) contains a unique inverse \(x^\circ\) of every \(x\in S\). The properties of the congruence lattices \(\overline{\text{Con }}S\) of the algebra \((S,\cdot,{}^\circ)\) and the properties of the lattice \(\text{Con }S\) of congruences on \(S\) are considered. An inverse transversal \(S^\circ\) is said to be multiplicative if \(\Lambda I=E(S^\circ)\), where \(E(S^\circ)\) is the set of idempotents of \(S^\circ\), \(\Lambda=\{x^\circ x, x\in S\}\) and \(I=\{x x^\circ, x\in S\}\). If the inverse transversal \(S^\circ\) is multiplicative, then \(\overline{\text{Con}} S\overline{\sim}\text{Con }S(x)\),where \(\sim\) is the dual closure equivalence defined by \(\vartheta\sim\varphi\Leftrightarrow\vartheta|_I=\varphi|_I\), \(\vartheta|_\Lambda=\varphi|_\Lambda\), \(\vartheta|_{S^\circ}=\varphi|_{S^\circ}\).
0 references
inverse transversals
0 references
regular semigroups
0 references
congruence lattices
0 references
idempotents
0 references
dual closure equivalence
0 references