On varieties of completely regular semigroups III

Communicated by J.M. Howie     

Ladders and canonical varieties of completely regular semigroups

A completely regular semigroup is a (disjoint) union of its (maximal) subgroups. We consider it here with the unary operation of inversion within its maximal subgroups. Their totality \(\mathcal {C}\mathcal {R}\) forms a variety whose lattice of subvarieties is denoted by \(\mathcal {L}(\mathcal {C}\mathcal {R})\). On it, one defines the relations \(\mathbf {B}^\wedge \) and \(\mathbf {B}^\vee \) by

$$\begin{aligned} \begin{array}{lll} \mathcal {U}\ \mathbf {B}^\wedge \ \mathcal {V}&{} \Longleftrightarrow &{} \mathcal {U}\cap \mathcal {B} =\mathcal {V}\cap \mathcal {B}, \\ \mathcal {U}\ \mathbf {B}^\vee \ \mathcal {V}&{} \Longleftrightarrow &{} \mathcal {U}\vee \mathcal {B} =\mathcal {V}\vee \mathcal {B} , \end{array} \end{aligned}$$

respectively, where \(\mathcal {B}\) denotes the variety of all bands. This is a study of the interplay between the \(\cap \)-subsemilatice \(\triangle \) of \(\mathcal {L}(\mathcal {C}\mathcal {R})\) of upper ends of \(\mathbf {B}^\wedge \)-classes and their \(\mathbf {B}^\vee \)-classes. The main tool is the concept of a ladder and their \(\mathbf {B}^\vee \)-classes, an indispensable part of the important Polák’s theorem providing a construction for the join of varieties of completely regular semigroups. The paper includes the tables of ladders of the upper ends of most \(\mathbf {B}^\wedge \)-classes. Canonical varieties consist of two ascending countably infinite chains which generate most of the upper ends of \(\mathbf {B}^\wedge \)-classes.

     

Another lattice of varieties of completely regular semigroups

Completely regular semigroups S are taken here with the unary operation of inversion within the maximal subgroups of S. As such they form a variety 𝒞? whose lattice of subvarieties is denoted by ?(𝒞?). The relation on ?(𝒞?) which identifies two varieties if they contain the same bands is denoted by B^∧. The upper ends of B^∧-classes which are neither equal to 𝒞? nor contained in the variety 𝒞𝒮 of completely simple semigroups are generated by two countably infinite ascending chains called canonical varieties. In a previous publication, we constructed the sublattice Σ of ?(𝒞?) generated by 𝒞𝒮 and the first four canonical varieties. Here we extend Σ to the sublattice Ψ of ?(𝒞?) generated by 𝒞𝒮 and the first six canonical varieties. For each of the varieties in Ψ?Σ, we construct the ladder and a basis of its identities.     

On some intervals of varieties of completely regular semigroups

Semigroup Forum - Completely regular semigroups with the unary operation of inversion within their maximal subgroups form a variety under inclusion denoted by $$mathcal {C}mathcal {R}$$. The...     

Weakly J-covered completely regular semigroups

After defining the weakly covering and covering congruence on regular semigroups, we give a necessary and sufficent condition for the J-relation on a completely regular semigroup to be a weakly covering congruence and construct J-covered and weakly covered completely regular semigroups.     

An infinite order operator on the lattice of varieties of completely regular semigroups

Let be a variety of completely regular semigroups. Define C ^* to be the class of all completely regular semigroupsS whose least full and self-conjugate subsemigroupC ^*(S) belongs to . ThenC ^* is an operator on the lattice of varieties of completely regular semigroups. In this note we show that the order ofC ^* is infinite. This fact yields that the Mal'cev project is not associative on . We describe (C ^*)¹, andi 0, in terms of -invariant normal subgroups of the free group over a countably infinite set. The lattice theoretic properties ofC ^* are also studied.Presented by W. Taylor.     

Some relations on completely regular semigroups

A semigroup S is called a Clifford semigroup if it is completely regular and inverse. In this paper, some relations related to the least Clifford semigroup congruences on completely regular semigroups are characterized. We give the relation between Y and ξ on completely regular semigroups and get that Y ^* is contained in the least Clifford congruence on completely regular semigroups generally. Further, we consider the relation Y ^*, Y, ν and ε on completely simple semigroups and completely regular semigroups. This work is supported by Leading Academic Discipline Project of Shanghai Normal University, Project Number: DZL803 and General Scientific Research Project of Shanghai Normal University, No. SK200707.     

New concepts for completely regular semigroups

Let 𝒞? denotes the variety of completely regular semigroups considered with the unary operation of inversion. The global study of the lattice of subvarieties of 𝒞? depends heavily on various decompositions. Some of the most fruitful among these are induced by the kernel and the trace relations. In their turn, these relations are induced by the kernel and the trace relations on the lattice of congruences on regular semigroups. These latter admit the concepts of kernel and trace of a congruence. The kernel and the trace relations for congruences were transferred to kernel and trace relations on varieties but the kernel and trace got no analogue for varieties.

We supply here the kernel and the trace of a variety which induce the relations of their namesake. For the local and core relations, we also define the local and core of a variety. All the new concepts are certain subclasses of 𝒞?. In this way, we achieve considerable similarity of the new concepts with those for congruences. We also correct errors in two published papers.