On embeddability of idempotent separating extensions of inverse semigroups

DOI10.1007/PL00006012MaRDI QIDQ1576295zbMATH OpenFDO

Authors Bernd Billhardt, István Szittyai

Publication date 21 March 2001

Published in Semigroup Forum (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/PL00006012

zbMATH Keywords

\(\lambda\)-semidirect product extensionsidempotent separating congruencesinverse semigroupswreath products

Mathematics Subject Classification ID

Inverse semigroups (20M18)

Review text

Let \(K\) be a semigroup and \(T\) an inverse semigroup. If \(S\) is a semigroup and \(\rho\) a congruence on \(S\) such that \(S/\rho\) is isomorphic to \(T\) and the kernel of \(\rho\) is isomorphic to \(K\) then \(S/\rho\) is called an extension of \(K\) by \(T\). If \(A\) and \(T\) are inverse semigroups then a \(\lambda\)-semidirect product, denoted by \(A*_\lambda T\) is an inverse semigroup defined on a certain subset of \(A\times T\) through a left action of \(T\) on \(A\) by endomorphisms. The extension \((A*_\lambda T,\ker\pi_2)\), where \(\pi_2\) is the projection onto \(T\) is referred to as a \(\lambda\)-semidirect product extension of \(A\) by \(T\). The main theorem, which has interesting corollaries not listed here, involves an idempotent separating congruence \(\rho\) on an inverse semigroup \(S\). It is proved that the extension \(S/\rho\) is embeddable into a \(\lambda\)-semidirect product extension of a group \(F\) by \(S/\rho\), where \(F\) belongs to the variety of groups generated by the idempotent classes of \(\rho\).

Recommendations

• Extensions by inverse semigroups andλ -semidirect products
• On a wreath product embedding and idempotent pure congruences on inverse semigroups
• Partial actions and an embedding theorem for inverse semigroups
• scientific article; zbMATH DE number 515652

Cited in

(10)

• On a semigroup theoretic generalization of the Kalužnin Krasner theorem and normal extensions of inverse semigroups
• Structure theory of regular semigroups
• Partial actions and an embedding theorem for inverse semigroups
• Presentations of inverse semigroups, their kernels and extensions.
• scientific article; zbMATH DE number 3959788 (Why is no real title available?)
• Extensions by inverse semigroups andλ -semidirect products
• Normal-convex embeddings of inverse semigroups
• scientific article; zbMATH DE number 1546845 (Why is no real title available?)
• EMBEDDING THEOREMS FOR GROUPS PRESENTED VIA PARTIAL AUTOMORPHISMS: A GENERALIZATION OF SEMIDIRECT PRODUCTS AND HNN EXTENSIONS
• E-solid locally inverse semigroups

This page was built for publication: On embeddability of idempotent separating extensions of inverse semigroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1576295)