On a wreath product embedding and idempotent pure congruences on inverse semigroups (Q1188319): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 00:39, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On a wreath product embedding and idempotent pure congruences on inverse semigroups |
scientific article |
Statements
On a wreath product embedding and idempotent pure congruences on inverse semigroups (English)
0 references
13 August 1992
0 references
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.
0 references
\(\lambda\)-semidirect products
0 references
\(\lambda\)-wreath products
0 references
inverse semigroups
0 references
natural partial order
0 references
idempotent pure congruences
0 references
McAlister \(P\)-theorem
0 references
\(E\)-reflexive inverse semigroups
0 references
strong semilattices
0 references