On a wreath product embedding and idempotent pure congruences on inverse semigroups. (English) Zbl 0769.20027
The related notions of a \(\lambda\)-semidirect product and of a \(\lambda\)- wreath product of two inverse semigroups are introduced. It is proved that if \(S\) is an inverse semigroup, \(\rho\) a congruence on \(S\) such that for each \(\rho\)-class \(s\rho\), the set \(\{x^{-1}x:x \in s\rho\}\) contains a greatest element with respect to the natural partial order, then \(S\) can be embedded in the \(\lambda\)-wreath product of \(\text{Ker }\rho\) and \(S/\rho\), where \(\text{Ker }\rho = \{s \in S: s\rho e\), for some \(e = e^ 2\}\).
It is proved that if \(\rho\) is an idempotent pure congruence on \(S\) then \(S\) has a representation as a certain subsemigroup of a \(\lambda\)- semidirect product of a semilattice and \(S/\rho\). From the results given the McAlister \(P\)-theorem can be recovered along with O’Carroll’s result that any \(E\)-reflexive inverse semigroup is embeddable in a strong semilattice of inverse semigroups, each of which is a semidirect product of a semilattice and a group.
It is proved that if \(\rho\) is an idempotent pure congruence on \(S\) then \(S\) has a representation as a certain subsemigroup of a \(\lambda\)- semidirect product of a semilattice and \(S/\rho\). From the results given the McAlister \(P\)-theorem can be recovered along with O’Carroll’s result that any \(E\)-reflexive inverse semigroup is embeddable in a strong semilattice of inverse semigroups, each of which is a semidirect product of a semilattice and a group.
Reviewer: P.M.Higgins (Colchester)
MSC:
20M18 | Inverse semigroups |
20M10 | General structure theory for semigroups |
20M15 | Mappings of semigroups |
Keywords:
\(\lambda\)-semidirect products; \(\lambda\)-wreath products; inverse semigroups; natural partial order; idempotent pure congruences; McAlister \(P\)-theorem; \(E\)-reflexive inverse semigroups; strong semilatticesReferences:
[1] | Billhardt, B.,On inverse semigroups whose closure of idempotents is a Clifford semigroup, submitted to Semigroup Forum. · Zbl 0747.20032 |
[2] | Houghton, C.H.,Embedding inverse semigroups in wreath products, Glasgow Math. J.17, (1976), 77–82. · Zbl 0338.20076 · doi:10.1017/S0017089500002767 |
[3] | McAlister, D.B.,Semilattices and inverse semigroups, II, Trans. Amer. Math. Soc.196, (1974), 351–370. · Zbl 0297.20072 · doi:10.1090/S0002-9947-74-99950-4 |
[4] | O’Carroll, L.,Inverse semigroups as extensions of semilattices, Glasgow Math. J.16, (1975), 12–21. · Zbl 0321.20042 · doi:10.1017/S0017089500002445 |
[5] | O’Carroll, L.,Strongly E-reflexice inverse semigroups, Proc. Edinburg Math. Soc.2, (1976/77), 339–354. |
[6] | Petrich, M., ”Inverse semigroups,” John Wiley & Sons, Inc., New York, 1984. · Zbl 0546.20053 |
[7] | Schein, B.M.,A new proof for the McAlister P-theorem, Semigroup Forum10, (1975), 185–188. · Zbl 0322.20031 · doi:10.1007/BF02194884 |
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.