{"title":"关于半群$\\boldsymbol{B}_{\\omega}^{\\mathscr{F}_n}$,它是由$\\omega$的有限有界区间$\\mathscr{F}_n$族生成的","authors":"O. Gutik, O. Popadiuk","doi":"10.15330/cmp.15.2.331-355","DOIUrl":null,"url":null,"abstract":"We study the semigroup $\\boldsymbol{B}_{\\omega}^{\\mathscr{F}_n}$, which is introduced in the paper [Visnyk Lviv Univ. Ser. Mech.-Mat. 2020, 90, 5-19 (in Ukrainian)], in the case when the ${\\omega}$-closed family $\\mathscr{F}_n$ generated by the set $\\{0,1,\\ldots,n\\}$. We show that the Green relations $\\mathscr{D}$ and $\\mathscr{J}$ coincide in $\\boldsymbol{B}_{\\omega}^{\\mathscr{F}_n}$, the semigroup $\\boldsymbol{B}_{\\omega}^{\\mathscr{F}_n}$ is isomorphic to the semigroup $\\mathscr{I}_\\omega^{n+1}(\\overrightarrow{\\mathrm{conv}})$ of partial convex order isomorphisms of $(\\omega,\\leqslant)$ of the rank $\\leqslant n+1$, and $\\boldsymbol{B}_{\\omega}^{\\mathscr{F}_n}$ admits only Rees congruences. Also, we study shift-continuous topologies on the semigroup $\\boldsymbol{B}_{\\omega}^{\\mathscr{F}_n}$. In particular, we prove that for any shift-continuous $T_1$-topology $\\tau$ on the semigroup $\\boldsymbol{B}_{\\omega}^{\\mathscr{F}_n}$ every non-zero element of $\\boldsymbol{B}_{\\omega}^{\\mathscr{F}_n}$ is an isolated point of $(\\boldsymbol{B}_{\\omega}^{\\mathscr{F}_n},\\tau)$, $\\boldsymbol{B}_{\\omega}^{\\mathscr{F}_n}$ admits the unique compact shift-continuous $T_1$-topology, and every $\\omega_{\\mathfrak{d}}$-compact shift-continuous $T_1$-topology is compact. We describe the closure of the semigroup $\\boldsymbol{B}_{\\omega}^{\\mathscr{F}_n}$ in a Hausdorff semitopological semigroup and prove the criterium when a topological inverse semigroup $\\boldsymbol{B}_{\\omega}^{\\mathscr{F}_n}$ is $H$-closed in the class of Hausdorff topological semigroups.","PeriodicalId":42912,"journal":{"name":"Carpathian Mathematical Publications","volume":"6 1","pages":""},"PeriodicalIF":1.0000,"publicationDate":"2022-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"On the semigroup $\\\\boldsymbol{B}_{\\\\omega}^{\\\\mathscr{F}_n}$, which is generated by the family $\\\\mathscr{F}_n$ of finite bounded intervals of $\\\\omega$\",\"authors\":\"O. Gutik, O. Popadiuk\",\"doi\":\"10.15330/cmp.15.2.331-355\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We study the semigroup $\\\\boldsymbol{B}_{\\\\omega}^{\\\\mathscr{F}_n}$, which is introduced in the paper [Visnyk Lviv Univ. Ser. Mech.-Mat. 2020, 90, 5-19 (in Ukrainian)], in the case when the ${\\\\omega}$-closed family $\\\\mathscr{F}_n$ generated by the set $\\\\{0,1,\\\\ldots,n\\\\}$. We show that the Green relations $\\\\mathscr{D}$ and $\\\\mathscr{J}$ coincide in $\\\\boldsymbol{B}_{\\\\omega}^{\\\\mathscr{F}_n}$, the semigroup $\\\\boldsymbol{B}_{\\\\omega}^{\\\\mathscr{F}_n}$ is isomorphic to the semigroup $\\\\mathscr{I}_\\\\omega^{n+1}(\\\\overrightarrow{\\\\mathrm{conv}})$ of partial convex order isomorphisms of $(\\\\omega,\\\\leqslant)$ of the rank $\\\\leqslant n+1$, and $\\\\boldsymbol{B}_{\\\\omega}^{\\\\mathscr{F}_n}$ admits only Rees congruences. Also, we study shift-continuous topologies on the semigroup $\\\\boldsymbol{B}_{\\\\omega}^{\\\\mathscr{F}_n}$. In particular, we prove that for any shift-continuous $T_1$-topology $\\\\tau$ on the semigroup $\\\\boldsymbol{B}_{\\\\omega}^{\\\\mathscr{F}_n}$ every non-zero element of $\\\\boldsymbol{B}_{\\\\omega}^{\\\\mathscr{F}_n}$ is an isolated point of $(\\\\boldsymbol{B}_{\\\\omega}^{\\\\mathscr{F}_n},\\\\tau)$, $\\\\boldsymbol{B}_{\\\\omega}^{\\\\mathscr{F}_n}$ admits the unique compact shift-continuous $T_1$-topology, and every $\\\\omega_{\\\\mathfrak{d}}$-compact shift-continuous $T_1$-topology is compact. We describe the closure of the semigroup $\\\\boldsymbol{B}_{\\\\omega}^{\\\\mathscr{F}_n}$ in a Hausdorff semitopological semigroup and prove the criterium when a topological inverse semigroup $\\\\boldsymbol{B}_{\\\\omega}^{\\\\mathscr{F}_n}$ is $H$-closed in the class of Hausdorff topological semigroups.\",\"PeriodicalId\":42912,\"journal\":{\"name\":\"Carpathian Mathematical Publications\",\"volume\":\"6 1\",\"pages\":\"\"},\"PeriodicalIF\":1.0000,\"publicationDate\":\"2022-08-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Carpathian Mathematical Publications\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.15330/cmp.15.2.331-355\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Carpathian Mathematical Publications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.15330/cmp.15.2.331-355","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
On the semigroup $\boldsymbol{B}_{\omega}^{\mathscr{F}_n}$, which is generated by the family $\mathscr{F}_n$ of finite bounded intervals of $\omega$
We study the semigroup $\boldsymbol{B}_{\omega}^{\mathscr{F}_n}$, which is introduced in the paper [Visnyk Lviv Univ. Ser. Mech.-Mat. 2020, 90, 5-19 (in Ukrainian)], in the case when the ${\omega}$-closed family $\mathscr{F}_n$ generated by the set $\{0,1,\ldots,n\}$. We show that the Green relations $\mathscr{D}$ and $\mathscr{J}$ coincide in $\boldsymbol{B}_{\omega}^{\mathscr{F}_n}$, the semigroup $\boldsymbol{B}_{\omega}^{\mathscr{F}_n}$ is isomorphic to the semigroup $\mathscr{I}_\omega^{n+1}(\overrightarrow{\mathrm{conv}})$ of partial convex order isomorphisms of $(\omega,\leqslant)$ of the rank $\leqslant n+1$, and $\boldsymbol{B}_{\omega}^{\mathscr{F}_n}$ admits only Rees congruences. Also, we study shift-continuous topologies on the semigroup $\boldsymbol{B}_{\omega}^{\mathscr{F}_n}$. In particular, we prove that for any shift-continuous $T_1$-topology $\tau$ on the semigroup $\boldsymbol{B}_{\omega}^{\mathscr{F}_n}$ every non-zero element of $\boldsymbol{B}_{\omega}^{\mathscr{F}_n}$ is an isolated point of $(\boldsymbol{B}_{\omega}^{\mathscr{F}_n},\tau)$, $\boldsymbol{B}_{\omega}^{\mathscr{F}_n}$ admits the unique compact shift-continuous $T_1$-topology, and every $\omega_{\mathfrak{d}}$-compact shift-continuous $T_1$-topology is compact. We describe the closure of the semigroup $\boldsymbol{B}_{\omega}^{\mathscr{F}_n}$ in a Hausdorff semitopological semigroup and prove the criterium when a topological inverse semigroup $\boldsymbol{B}_{\omega}^{\mathscr{F}_n}$ is $H$-closed in the class of Hausdorff topological semigroups.