Decomposition of regular subsemigroup lattices (Q1328455): Difference between revisions
From MaRDI portal
Latest revision as of 11:15, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Decomposition of regular subsemigroup lattices |
scientific article |
Statements
Decomposition of regular subsemigroup lattices (English)
0 references
15 December 1994
0 references
In an earlier paper [Algebra Univers. 30, 463-468 (1993; Zbl 0797.20046)], the author showed that for any \(E\)-solid or locally inverse regular semigroup \(S\), the set of regular subsemigroups forms a complete lattice \({\mathcal L}{\mathcal R}(S)\). The author considers the decomposition of this lattice induced by the relation \(\theta\) that identifies two regular subsemigroups if and only if they have the same idempotents. Those sets of idempotents that so arise are termed `closed' and have been characterized in various ways. They naturally form a complete lattice \({\mathcal L}{\mathcal C}(E)\). That \(\theta\) is a complete congruence follows from the fact that the map which assigns to each regular subsemigroup its set of idempotents is a complete morphism from \({\mathcal L}{\mathcal R}(S)\) onto \({\mathcal L}{\mathcal C}(E)\). Each \(\theta\)-class is isomorphic to the lattice of full regular subsemigroups of its maximum element and it is thus of interest to note that the latter is a complete sublattice of the lattice of all subsemigroups. The author points out a parallel with the `trace' congruence on the lattice of congruences of a regular semigroup.
0 references
locally inverse regular semigroup
0 references
regular subsemigroups
0 references
complete lattice
0 references
idempotents
0 references
complete congruence
0 references
complete morphism
0 references
lattice of full regular subsemigroups
0 references
lattice of congruences
0 references