On the Brandt ^0-extensions of monoids with zero.

From MaRDI portal
Publication:2267779



Abstract: We study algebraic properties of the Brandt lambda0-extensions of monoids with zero and non-trivial homomorphisms between the Brandt lambda0-extensions of monoids with zero. We introduce finite, compact topological Brandt lambda0-extensions of topological semigroups and countably compact topological Brandt lambda0-extensions of topological inverse semigroups in the class of topological inverse semigroups and establish the structure of such extensions and non-trivial continuous homomorphisms between such topological Brandt lambda0-extensions of topological monoids with zero. We also describe a category whose objects are ingredients in the constructions of finite (compact, countably compact) topological Brandt lambda0-extensions of topological monoids with zeros.


Let \(S\) be a semigroup with zero \(0_S\) and let \(I_\lambda\) be a set of cardinality \(\lambda\geq 1\). The set \(B_\lambda(S)=(I_{\lambda}\times S\times I_\lambda)\cup\{0\}\) equipped with certain binary operation is called the `Brandt \(\lambda\)-extension of the semigroup \(S\)'. The semigroup \(B^0_\lambda(S)=B_\lambda(S)/\mathcal J\) where \(\mathcal J=\{0\}\cup\{(\alpha,0_S,\beta)\mid\alpha,\beta\in I_\lambda\}\), is called the `Brandt \(\lambda^0\)-extension of the semigroup \(S\)'. Under certain assumption, homomorphisms between Brandt \(\lambda^0\)-extensions of monoids are described. The authors construct a category \(\mathcal B\) and a full representative functor from \(\mathcal B\) into the category of all Brandt \(\lambda^0\)-extensions of monoids with zeros and central idempotents having an additional property \(\mathcal B^*\). The latter result is applied to some subcategories of \(\mathcal B\) (based on inverse, on Clifford and on some other classes of monoids). The final section of the article transfers the results obtained earlier to the case of topological monoids.











This page was built for publication: On the Brandt \(\lambda^0\)-extensions of monoids with zero.

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