The Rhodes expansion and free objects in varieties of completely regular semigroups (Q755897)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The Rhodes expansion and free objects in varieties of completely regular semigroups
scientific article

    Statements

    The Rhodes expansion and free objects in varieties of completely regular semigroups (English)
    0 references
    0 references
    1990
    0 references
    Various operators on the lattice of varieties of completely regular semigroups have been intensively studied in the last few years. Those defined by certain Mal'cev products have played a particularly important role. In this paper, the object of study is the operator \({\mathcal V}\to \vec {\mathcal V}={\mathcal L}{\mathcal Z}\circ {\mathcal V}\), where \({\mathcal L}{\mathcal Z}\) is the variety of left zero semigroups. A dual operator is defined in the natural way. An alternative and useful view of \(\vec {\mathcal V}\) is as \({\mathcal V}^ K\cap {\mathcal V}^{T_ l}\) (see \textit{F. Pastijn} [J. Aust. Math. Soc., Ser. A 49, 24-42 (1990; Zbl 0706.20042)]); the main technical tool, however, is its interpretation in terms of fully invariant congruences, in the manner of \textit{L. Polák} [Semigroup Forum 32, 97- 123 (1985; Zbl 0564.20034)]. Among many interesting properties determined, it is shown that iteration of this operator and its dual yields a simply described sublattice of the filter generated by \({\mathcal V}\). The least upper bound of this lattice is just the variety \({\mathcal V}^ K={\mathcal B}\circ {\mathcal V}\) (where \({\mathcal B}\) is the variety of bands). The free object in \(\vec {\mathcal V}\) on a set X is obtained from that in \({\mathcal V}\) by means of the well-known Rhodes expansion, ``cut down to generators'' (in the completely regular sense). The free object on \({\mathcal V}^ K\) is thus obtained as a projective limit of such expansions and their duals.
    0 references
    lattice of varieties of completely regular semigroups
    0 references
    Mal'cev products
    0 references
    variety of left zero semigroups
    0 references
    fully invariant congruences
    0 references
    filter
    0 references
    variety of bands
    0 references
    Rhodes expansion
    0 references
    free object
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references