On group congruences on the semigroup B^F_ and its homomorphic retracts in the case when the family F consists of inductive non-empty subsets of .

DOI10.30970/VMM.2021.91.005-027MaRDI QIDQ5084813zbMATH OpenFDO

Authors O. Gutik

Publication date 28 June 2022

Published in Visnyk Lvivskogo Universytetu Seriya Mekhaniko-Matematychna (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2108.09543

zbMATH Keywords

automorphismbicyclic monoidgroup congruencehomomorphic retractinductive setinverse semigroupisomorphism

Mathematics Subject Classification ID

Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40) General structure theory for semigroups (20M10) Ideal theory for semigroups (20M12) Inverse semigroups (20M18)

Abstract: We study group congruences on the semigroup $$ and its homomorphic retracts in the case when an $omega$-closed family $mathscrF$ which consists of inductive non-empty subsets of $omega$. It is proven that a congruence $mathfrakC$ on $$ is a group congruence if and only if its restriction on a subsemigroup of $$, which is isomorphic to the bicyclic semigroup, is not the identity relation. Also, all non-trivial homomorphic retracts and isomorphisms of the semigroup $$ are described.

Recommendations

• Congruence relations on a bicyclic semigroup.
• Congruences on bicyclic extensions of a linearly ordered group.
• Perfect congruences on bisimple \(\omega\)-semigroups.
• Group congruences on arbitrary semigroups.
• On a semitopological semigroup \(\boldsymbol{B}_{\omega}^{\mathscr{F}}\) when a family \(\mathscr{F}\) consists of inductive non-empty subsets of \(\omega \)

Cited in

(5)

• Congruences on bicyclic extensions of a linearly ordered group.
• On a semitopological semigroup \(\boldsymbol{B}_{\omega}^{\mathscr{F}}\) when a family \(\mathscr{F}\) consists of inductive non-empty subsets of \(\omega \)
• ON AUTOMORPHISMS OF THE SEMIGROUP B^F_omega IN THE CASE WHEN THE FAMILY F CONSISTS OF NONEMPTY INDUCTIVE SUBSETS OF omega
• On the group of automorphisms of the semigroup \(\mathbf{B}_{\mathbb{Z}}^{\mathscr{F}}\) with the family \(\mathscr{F}\) of inductive nonempty subsets of \(\omega\)
• On the semigroup $\boldsymbol{B}_{\omega}^{\mathscr{F}_n}$, which is generated by the family $\mathscr{F}_n$ of finite bounded intervals of $\omega$

This page was built for publication: On group congruences on the semigroup \(\mathbf{B}^{\mathfrak{F}}_{\omega}\) and its homomorphic retracts in the case when the family \(\mathfrak F\) consists of inductive non-empty subsets of \(\omega\).

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