Abstract
In a previous paper the authors introduced seven complete congruences on the lattice ℒev(ℛI of e-varieties of regular semigroups of the form ρ P :Uρ P V⇔P∘U=P∘V, whereP is drawn from a small set of e-varieties: left zero, right zero, rectangular bands, groups, left groups, right groups and completely simple semigroups. Four new complete congruences are introduced here of the form α P :Uα P V⇔P∩U=P∩V, whereP is one of the following classes of regular semigroups: left monoids, right monoids, monoids, idempotent generated semigroups. For each complete congruence ρ on ℒev(ℛI) and eachU∈ℒev(ℛI), the ρ-class ofU is an interval [U ρ,U ρ] so that there is associated with each such congruence an idempotent operatorU→U ρ on ℒev(ℛI). This paper establishes numerous results concerning the commutativity of operators of this form.
Similar content being viewed by others
References
Auinger, K.: The word problem for the bifree combinatorial strict regular semigroup. Math. Proc. Camb. Phil. Soc.113, 519–533 (1993).
Auinger, K.: Bifree objects in e-varieties of strict orthodox semigroups and the lattice of strict orthodox*-semigroup varieties. Glasgow Math. J.35, 25–37 (1993).
Auinger, K.: Free strict inverse semigroups. J. Algebra157, 26–42 (1993).
Auinger, K.: The bifree locally inverse semigroup on a set. J. Algebra166, 630–650 (1994).
Clifford, A. H., Preston, G. B.: The Algebraic Theory of Semigroups. Math. Surveys No. 7. Providence, RI: Amer. Math. Soc. Vol. I, 1961; Vol. II, 1967.
Doyle, J.: On existence varieties of orthodox semigroups. J. Austral. Math. Soc.58, 100–125 (1995).
Grätzer, G.: Universal Algebra, 2nd ed. New York: Springer. 1979.
Hall, T. E.: On regular semigroups whose idempotents from a subsemigroup. Bull. Austral. Math. Soc.1, 195–208 (1969).
Hall, T. E.: On regular semigroups. J. Algebra24, 1–24 (1973).
Hall, T. E.: Some properties of local subsemigroups inherited by larger subsemigroups. Semigroup Forum25, 35–49 (1982).
Hall, T. E.: Identities for existence varieties of regular semigroups. Bull. Austral. Math. Soc.40, 59–77 (1989).
Hall, T. E.: Regular semigroups: amalgamation and the lattice of existence varieties. Algebra Universalis28, 79–102 (1991).
Hall, T. E., Jones, P. R.: On the lattice of varieties of bands of groups. Pacific. J. Math.91, 327–337 (1980).
Howie, J. M.: An Introduction to Semigroup Theory. London: Academic Press. 1976.
Jones, P. R.: On the lattice of varieties of completely regular semigroups. J. Austral. Math. Soc.35, 227–235 (1983).
Jones, P. R.: Mal'cev products of varieties of comppletely regular semigroups. J. Austral. Math. Soc.42, 227–246 (1987).
Jones, P. R., Trotter, P. G.: Semidirect products of regular semigroups. Trans. Amer. Math. Soc. (to appear).
Kadourek, J., Szendrei, M. B.: A new approach in the theory of orthodox semigroups. Semigroup Forum40, 257–296 (1990).
Margolis, S. W., Meakin, J. C.:E-unitary inverse monoids and the Cayley graph of a group presentation. J. Pure Appl. Algebra58, 45–76 (1989).
Meakin, J. C., Namboodripad, K. S. S.: Coextensions of pseudo-inverse semigroups by rectangular bands. J. Austral. Math. Soc.30, 73–86 (1980).
Pastijn, F., Petrich, M.: Congruences on regular semigroups. Trans. Amer. Math. Soc.295, 607–633 (1986).
Pastijn, F., Petrich, M.: The congruence lattice of a regular semigroup. J. Pure Appl. Algebra53, 93–123 (1988).
Pastijn, F., Petrich, M.: Congruence lattices on a regular semigroup associated with certain operators. Acta Sci. Math.55, 229–247 (1991).
Pastijn, F., Trotter, P. G.: Residual finiteness in completely regular semigroup varieties. Semigroup Forum37, 127–147 (1988).
Petrich, M.: Inverse Semigroups. New York: Wiley. 1984.
Petrich, M., Reilly, N. R.: Near varieties of idempotent generated completely simple semigroups. Algebra Universalis16, 83–104 (1983).
Petrich, M., Reilly, N. R.: Semigroups generated by certain operators on varieties of completely regular semigroups. Pacific J. Math.132, 151–175 (1988).
Petrich, M., Reilly, N. R.: Operators related to idempotent generated and monoid completely regular semigroups. J. Austral. Math. Soc.49, 1–23 (1990).
Petrich, M., Reilly, N. R.: Completely Regular Semigroups. Book manuscript.
Polák, L.: On varieties of completely regular semigroups. III. Semigroup Forum37, 1–30 (1988).
Reilly, N. R.: Varieties of completely regular semigroups. J. Austral. Math. Soc.38, 372–393 (1985).
Reilly, N. R.: Free combinatorial strict inverse semigroups. J. London Math. Soc.39, 102–120 (1989).
Reilly, N. R., Scheiblich, H. E.: Congruences on regular semigroups. Pacific J. Math.23, 349–360 (1967).
Reilly, N. R., Zhang, S.: Congruence relations on the lattice of existence varieties of regular semigroups. J. Algebra178, 733–759 (1995).
Reilly, N. R., Zhang, S.: Operators and products in the lattice of existence varieties of regular semigroups. Semigroup Forum53, 1–24 (1996).
Reilly, N. R., Zhang, S.: Associativity of products of existence varieties of regular semigroups. Preprint.
Trotter, P. G.: Congruence extensions in regular semigroups. J. Algebra137, 166–179 (1991).
Yamada, M.: On a certain class of regular semigroups. In: Proc. Symposium on regular semigroups. Northern Illinois University, 146–179 (1979).
Yeh, Y. T.: The existence of e-free objects in e-varieties of regular semigroups. Internat. J. Algebra Comput.2, 471–484 (1992).
Yeh, Y. T.: On existence varieties ofE-solid or locally inverse semigroups and e-invariant congruences. J. Algebra164, 500–514 (1994).
Zhang, S.: Completely regular semigroup varieties generated by Mal'cev products with groups. Semigroup Forum48, 180–192 (1994).
Zhang, S.: Certain operators related to Mal'cev products on varieties of completely regular semigroups. J. Algebra168, 249–272 (1994).
Zhang, S.: An infinite order operator on the lattice of varieties of completely regular semigroups. Algebra Universalis35, 485–505 (1996)
Author information
Authors and Affiliations
Additional information
This work was supported in part by NSERC Grant 4044.
Rights and permissions
About this article
Cite this article
Reilly, N.R., Zhang, S. Commutativity of operators on the lattice of existence varieties. Monatshefte für Mathematik 123, 337–364 (1997). https://doi.org/10.1007/BF01326768
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01326768