Operators related to E-disjunctive and fundamental completely regular semigroups (Q919104)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Operators related to E-disjunctive and fundamental completely regular semigroups
scientific article

    Statements

    Operators related to E-disjunctive and fundamental completely regular semigroups (English)
    0 references
    0 references
    0 references
    1990
    0 references
    A regular semigroup is fundamental [E-disjunctive] if it supports no nontrivial idempotent-separating [idempotent-pure] congruence. Every regular semigroup is a subdirect product of a fundamental semigroup and an E-disjunctive one. Denote by \({\mathcal L}({\mathcal C}{\mathcal R})\) the lattice of varieties of completely regular semigroups and by \({\mathcal F}\) and \({\mathcal D}\) the classes of fundamental and of E-disjunctive completely regular semigroups, respectively. This paper studies, in the main, the maps that associate with each variety \({\mathcal V}\) of completely regular semigroups the classes \({\mathcal V}\cap {\mathcal F}\) and \({\mathcal V}\cap {\mathcal D}\). The ranges form complete lattices (but not sublattices of \({\mathcal L}({\mathcal C}{\mathcal R}))\); the map \({\mathcal V}\to {\mathcal V}\cap {\mathcal F}\) is in fact a complete homomorphism, which induces the well-known congruence ``T'' on \({\mathcal L}({\mathcal C}{\mathcal R})\) (see, for example [\textit{F. Pastijn}, J. Aust. Math. Soc., Ser. A 49, 24-42 (1990; see the preceding review Zbl 0706.20042)]). However, the map \({\mathcal V}\to {\mathcal V}\cap {\mathcal D}\) behaves less satisfactorily: it is a complete meet- homomorphism, but does not respect joins. The relationship between the induced partition and the well-known ``K'' congruence on \({\mathcal L}({\mathcal C}{\mathcal R})\) is explored.
    0 references
    idempotent-separating
    0 references
    idempotent-pure
    0 references
    congruence
    0 references
    subdirect product
    0 references
    fundamental semigroup
    0 references
    lattice of varieties
    0 references
    E-disjunctive completely regular semigroups
    0 references
    complete lattices
    0 references
    complete homomorphism
    0 references

    Identifiers