×

Congruences on strong semilattices of regular simple semigroups. (English) Zbl 0643.20041

In this thesis [Univ. Wien, 1982; Zbl 0474.20035] K. Auinger studied congruences on strong semilattices \(Y\) of regular and simple semigroups \(S_{\alpha}\) \((\alpha\in Y)\). In this paper the author adopts a similar development for the construction of all congruences considering congruences on \(Y\) and for each \(\alpha\in Y\) a congruence on \(S_{\alpha}\) satisfying certain simple compatibility conditions. (This development does not make use of the kernel-trace approach introduced by F. Pastijn and M. Petrich [in Trans. Am. Math. Soc. 295, 607–633 (1986; Zbl 0599.20095)].) First, a characterization of such semigroups in terms of the natural partial order on a regular semigroup is given. Using the main characterization theorem for congruences on strong semilattices of regular and simple semigroups, \(S\), the special case is studied, where all the linking homomorphisms different from the identity are constant. Also, the smallest simple congruence \(\theta\) on such semigroups is described. Necessary and sufficient conditions are found in order that the lattice of congruences \(C(S)Y\) be semi-modular, M-symmetric, modular or distributive: \(C(S)\) has any of these properties iff \(C(Y)\) and \(C(S_{\alpha})\) for all \(\alpha\in Y\) have the same property and all the linking homomorphisms are constant. Finally, complementation in \(C(S)\) is investigated, together with the Boolean case (see also K. Auinger, loc. cit.): \(C(S)\) is complemented iff \(S\) is a subdirect product of \(S/J\) and \(S/\theta\) and both \(C(S/J)\) and \(C(S/\theta)\) are complemented.

MSC:

20M10 General structure theory for semigroups
06B15 Representation theory of lattices
20M15 Mappings of semigroups
PDFBibTeX XMLCite
Full Text: DOI EuDML

References:

[1] Auinger, K.,KomplementäreKongruenzverbändevonHalbgruppen, Doctoral Dissertation, University of Vienna, 1981.
[2] Eberhart, C.; Williams, W., Semimodularityinlatticesofcongruences, J. Algebra, 52, 75-87 (1978) · Zbl 0371.06006 · doi:10.1016/0021-8693(78)90261-2
[3] Fountain, J.; Lockley, P., Semilatticesofgroupswithdistributivecongruencelattice, Semigroup Forum, 14, 81-91 (1977) · Zbl 0392.20041 · doi:10.1007/BF02194656
[4] Jones, P. R., Semimodularinversesemigroups, J. London Math. Soc., 17, 2, 446-456 (1978) · Zbl 0387.20042 · doi:10.1112/jlms/s2-17.3.446
[5] Jones, P. R., Oncongruencelatticesofregularsemigroups, J. Algebra, 82, 18-39 (1983) · Zbl 0515.20047 · doi:10.1016/0021-8693(83)90171-0
[6] Jones, P. R., Joinsandmeetsofcongruencesonaregularsemigroup, Semigroup Forum, 30, 1-16 (1984) · Zbl 0528.20049 · doi:10.1007/BF02573433
[7] Jones, P.R.,Semilatticedecompositionsandthecongruencelatticeofsemigroups (preprint).
[8] Mitsch, H., Semigroupsandtheirlatticesofcongruences, Semigroup Forum, 26, 1-63 (1983) · Zbl 0513.20047 · doi:10.1007/BF02572819
[9] Mitsch, H., Anaturalpartialorderforsemigroups, Proc. Amer. Math. Soc., 97, 384-388 (1986) · Zbl 0596.06015 · doi:10.1090/S0002-9939-1986-0840614-0
[10] Petrich, M., Introductiontosemigroups (1973), Columbus: Merill, Columbus · Zbl 0321.20037
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.