Lattices of completely regular semigroup varieties (Q1066281)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Lattices of completely regular semigroup varieties
scientific article

    Statements

    Lattices of completely regular semigroup varieties (English)
    0 references
    0 references
    0 references
    1985
    0 references
    Let S be a regular semigroup, E(S) its set of idempotents, \({\mathcal C}(S)\) its congruence lattice. For \(\rho\in {\mathcal C}(S)\), the kernel and the trace of \(\rho\) is defined by ker \(\rho\) \(=\{x\in S\); \(x\rho\) e for \(e\in E(S)\}\), tr \(\rho\) \(=\rho | E(S)\). The sets \(T_{\rho}=\{\theta \in {\mathcal C}(S)\); tr \(\rho\) \(=tr \theta \}\) and \(K_{\rho}=\{\theta \in {\mathcal C}(S)\); ker \(\rho\) \(=\ker \theta \}\) are shown to be intervals in \({\mathcal C}(S)\), \(T_{\rho}=[\rho_{\min},\rho_{\max}]\) and \(K_{\rho}=[\rho^{\min},\rho^{\max}]\), and \(\{\rho \}=K_{\rho}\cap T_{\rho}\). If \(\rho\),\(\theta\in {\mathcal C}(S)\) then tr \(\rho\) \(\subseteq tr \theta\) implies \(\rho_{\min}\leq \theta_{\min}\), \(\rho_{\max}\leq \theta_{\max}\), ker \(\rho\) \(\subseteq \ker \theta\) implies \(\rho^{\min}\leq \theta^{\min}\). For \(\rho\in {\mathcal C}(S)\) define \(\rho_ 0=\rho\), \(\gamma_ 0=\rho_{\min}\), \(\delta_ 0=\rho^{\min}\) and for \(i>0\), \(\delta_ i=(\gamma_{i-1})^{\min}\), \(\gamma_ i=(\delta_{i-1})_{\min}\), \(\rho_ i=\delta_ i\vee \gamma_ i\), then \(\delta_ i\wedge \gamma_ i=\rho_{i+1}\) and \(\{\rho_ i,\delta_ i,\gamma_ i\); \(i\geq 0\}\) is a sublattice of \({\mathcal C}(S)\). Let now S be a free completely regular semigroup of infinite countable rank and \({\mathcal C}(S)\) the lattice of fully invariant congruences in \({\mathcal C}(S)\). It is shown that for \(\rho\in {\mathcal C}(S)\) also \(\rho_{\min}\), \(\rho_{\max}\), \(\rho^{\min}\), \(\rho^{\max}\in {\mathcal C}(S)\) and we have the isomorphisms \([\rho_{\min},\rho]\times [\rho^{\min},\rho]\simeq [\rho_{\min}\wedge \rho^{\min},\rho]\), \([\rho^{\max},\rho_{\max}\vee \rho^{\max}]\times [\rho_{\max},\rho_{\max}\vee \rho^{ma\quad x}]\simeq [\rho,\rho_{\max}\vee \rho^{\max}]\). For \(i>0\) define \(\delta_{- i}=(\gamma_{-i+1})_{\max}\), \(\gamma_{-i}=(\delta_{- i+1})^{\max}\), \(\rho_{-i}=\delta_{-i}\vee \gamma_{-i}\). Then for \(\rho\in {\mathcal C}(S)\), \(\{\rho_ i,\delta_ i,\gamma_ i\); i is an integer\(\}\) is a sublattice of \({\mathcal C}(S)\) which is infinite in case \(\rho\) is not the equality. Some consequences for subvarieties of the variety of completely regular semigroups are stated. A free completely regular semigroup S is shown to be of finite rank if and only if it possesses a non-identical idempotent separating congruence (i.e. a congruence whose trace is the equality).
    0 references
    idempotents
    0 references
    congruence lattice
    0 references
    free completely regular semigroup
    0 references
    lattice of fully invariant congruences
    0 references
    variety of completely regular semigroups
    0 references
    idempotent separating congruence
    0 references

    Identifiers