Characterizing categorically closed commutative semigroups

From MaRDI portal
Publication:2247754

DOI10.1016/J.JALGEBRA.2021.09.030zbMATH Open1481.18003arXiv2101.06520OpenAlexW3210990515MaRDI QIDQ2247754FDOQ2247754

Taras Banakh, S. Bardyla

Publication date: 17 November 2021

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: Let mathcalC be a class of Hausdorff topological semigroups which contains all zero-dimensional Hausdorff topological semigroups. A semigroup X is called mathcalC-closed if X is closed in each topological semigroup YinmathcalC containing X as a discrete subsemigroup; X is projectively mathcalC-closed if for each congruence approx on X the quotient semigroup X/approx is mathcalC-closed. A semigroup X is called chain-finite if for any infinite set IsubseteqX there are elements x,yinI such that xyotinx,y. We prove that a semigroup X is mathcalC-closed if it admits a homomorphism h:XoE to a chain-finite semilattice E such that for every einE the semigroup h1(e) is mathcalC-closed. Applying this theorem, we prove that a commutative semigroup X is mathcalC-closed if and only if X is periodic, chain-finite, all subgroups of X are bounded, and for any infinite set AsubseteqX the product AA is not a singleton. A commutative semigroup X is projectively mathcalC-closed if and only if X is chain-finite, all subgroups of X are bounded and the union H(X) of all subgroups in X has finite complement XsetminusH(X).


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




Recommendations




Cites Work


Cited In (5)





This page was built for publication: Characterizing categorically closed commutative semigroups

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