Lattices of completely regular semigroup varieties (Q1066281)

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).