×

Associativity of products of existence varieties of regular semigroups. (English) Zbl 0934.20044

The concept of an e-variety – a class of regular semigroups that is closed under products, quotients and regular subsemigroups – has allowed some of the techniques of universal algebra to be applied to regular semigroups. Motivated by the theory of semigroup varieties, the reviewer and P. G. Trotter [Trans. Am. Math. Soc. 349, No. 11, 4265-4310 (1997; Zbl 0892.20037)] introduced a partial operation on the set of all e-varieties, as follows: if \(\mathcal{U,V}\) are e-varieties, at least one of which is contained in the e-variety \(\mathcal{CS}\) of completely simple semigroups, then \({\mathcal U}*{\mathcal V}\) consists of the regular parts of the wreath products of members of \(\mathcal U\) with members of \(\mathcal V\).
One direction taken by the paper under review is to extend the work of the cited paper and the authors’ paper [Semigroup Forum 53, No. 1, 1-24 (1996; Zbl 0854.20069)] on the properties of this operation. Associativity of the product is proven under some broad conditions; for instance if \(\mathcal{U,V}\) are group varieties and \(\mathcal W\) is “monoidal”, \({\mathcal U}*({\mathcal V}*{\mathcal W})=({\mathcal U}*{\mathcal V})*{\mathcal W}\). This enables properties of such products as \(\mathcal{CS}*{\mathcal V}\) to be found for various \(\mathcal V\). A second direction is to study a different “wreath product”, introduced by the authors in the cited paper, related to certain Malcev products of e-varieties.
Reviewer’s remark: In a subsequent paper, B. Billhardt and M. B. Szendrei [Associativity of regular semidirect product of existence varieties (to appear)] have extended the main associativity result to a broader class of cases.

MSC:

20M17 Regular semigroups
20M07 Varieties and pseudovarieties of semigroups
08B15 Lattices of varieties
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Auinger, K., The bifree locally inverse semigroup on a set, J. Algebra, 166, 630-650 (1994) · Zbl 0806.20052
[2] Cowan, D., An associative operator on the lattice of varieties of inverse semigroups, (Semigroup Forum, 45 (1992)), 288-301 · Zbl 0782.20050
[3] Eilenberg, S., Automata, (Languages and Machines, vol. B (1976), Academic Press: Academic Press New York) · Zbl 0175.27902
[4] Grätzer, G., Universal Algebra (1979), Springer: Springer New York · Zbl 0182.34201
[5] Hall, T. E., On regular semigroups, J. Algebra, 24, 1-24 (1973) · Zbl 0262.20074
[6] Hall, T. E., Some properties of local subsemigroups inherited by larger subscmigroups, (Semigroup Forum, 25 (1982)), 35-49 · Zbl 0497.20049
[7] Hall, T. E., Identities for existence varieties of regular semigroups, Bull. Austral. Math. Soc., 40, 59-77 (1989) · Zbl 0666.20028
[8] Hall, T. E., Regular semigroups: amalgamation and the lattice of existence varieties, Algebra Universalis, 29, 79-108 (1991) · Zbl 0727.20041
[9] Howie, J. M., An Introduction to Semigroup Theory (1976), Academic Press: Academic Press London · Zbl 0355.20056
[10] Jones, P. R., Mal’cev products of varieties of completely regular semigroups, J. Austral. Math. Soc., 42, 227-246 (1987) · Zbl 0613.20038
[11] Jones, P. R., \(E\)-free completely regular semigroups and \(e\)-locality of completely regular monoids, (Semigroup Forum, 51 (1995)), 357-377 · Zbl 0836.20083
[12] P.R. Jones, P.G. Trotter, Semidirect products of regular semigroups, Trans. Amer. Math. Soc., to appear.; P.R. Jones, P.G. Trotter, Semidirect products of regular semigroups, Trans. Amer. Math. Soc., to appear. · Zbl 0892.20037
[13] Kaďourek, J., On some existence varieties of locally orthodox semigroups, Internat. J. Algebra Comput., 7, 93-131 (1997) · Zbl 0872.20050
[14] Kaďourek, J.; Szendrei, M. B., A new approach in the theory of orthodox semigroups, (Semigroup Forum, 40 (1990)), 257-296 · Zbl 0705.20052
[15] Koselev, J. G., On a multiplication of semigroup varieties, (Semigroup Forum, 45 (1992)), 1-8 · Zbl 0784.20030
[16] Margolis, S. W.; Pin, J.-E., Inverse semigroups and extensions of semilattices by groups, J. Algebra, 110, 277-297 (1987) · Zbl 0625.20043
[17] Mal’cev, A. I., The Metamathematics of Algebra Systems (1971), North-Holland: North-Holland Amsterdam
[18] Neumann, H., Varieties of Groups (1967), Springer: Springer New York · Zbl 0149.26704
[19] Nico, W. R., On the regularity of semidirect products, J. Algebra, 80, 29-36 (1983) · Zbl 0512.20043
[20] Pastijn, F.; Petrich, M., The congruence lattice of a regular semigroup, J. Pure Appl. Algebra, 53, 93-123 (1988) · Zbl 0649.20052
[21] Petrich, M., Inverse Semigroups (1984), Wiley: Wiley New York · Zbl 0546.20053
[22] M. Petrich, N.R. Reilly, Completely Regular Semigroups, book manuscript, to appear.; M. Petrich, N.R. Reilly, Completely Regular Semigroups, book manuscript, to appear. · Zbl 0967.20034
[23] Pin, J.-E., Varieties of Formal Languages (1986), North Oxford Academic Publ. Ltd: North Oxford Academic Publ. Ltd London · Zbl 0632.68069
[24] Reilly, N. R.; Zhang, S., Congruence relations on the lattice of existence varieties of regular semigroups, J. Algebra, 178, 733-759 (1995) · Zbl 0842.20051
[25] Reilly, N. R.; Zhang, S., Operators and products in the lattice of existence varieties of regular semigroups, (Semigroup Forum, 53 (1996)), 1-24 · Zbl 0854.20069
[26] Reilly, N. R.; Zhang, S., Commutativity of operators on the lattice of existence varieties, Monatshcfte Mathematik, 123, 337-364 (1997) · Zbl 0870.20042
[27] Skornyakov, L. A., Regularity of the wreath product of monoids, (Semigroup Forum, 18 (1979)), 83-86 · Zbl 0423.20061
[28] Szendrei, M. B., Orthogroup bivarieties are bilocal, (Howie, J. M.; Munn, W. D.; Weinert, H. J., Semigroups With Applications (1992), World Scientific Publ. Co: World Scientific Publ. Co Singapore), 114-131
[29] Szendrei, M. B., The bifree regular \(E\)-solid semigroup, (Semigroup Forum, 52 (1996)), 61-82 · Zbl 0841.20053
[30] Tilson, B., Categories as algebra: an essential ingredient in the theory of monoids, J. Pure Appl. Algebra, 48, 83-198 (1987) · Zbl 0627.20031
[31] Trotter, P. G., Congruence extensions in regular semigroups, J. Algebra, 137, 166-179 (1991) · Zbl 0714.20053
[32] Vachuska, C. A.; Zhang, S., Varieties of completely regular semigroups generated by Mal’cev products, (Semigroup Forum, 49 (1994)), 175-194 · Zbl 0808.20050
[33] Yeh, Y. T., The existence of \(e\)-free objects in \(e\)-varieties of regular semigroups, Internat J. Algebra Comput., 2, 471-484 (1992) · Zbl 0765.20030
[34] Zhang, S., Completely regular semigroup varieties generated by Mal’cev products with groups, (Semigroup Forum, 48 (1994)), 180-192 · Zbl 0797.20048
[35] Zhang, S., Certain operators related to Mal’cev products on varieties of completely regular semigroups, J. Algebra, 168, 249-272 (1994) · Zbl 0815.20050
[36] Zhang, S., An infinite order operator on the lattice of varieties of completely regular semigroups, Algebra Universalis, 35, 485-505 (1996) · Zbl 0860.20045
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.