### Current browse context:

math.GN

### Change to browse by:

### References & Citations

# Mathematics > General Topology

# Title: Categorically closed viable semigroups

(Submitted on 26 Jul 2022 (this version),

*latest version 6 Jan 2023*(v4))Abstract: Let $\mathcal C$ be a class of topological semigroups. A semigroup $X$ is called (1) $\mathcal C$-$closed$ if $X$ is closed in every topological semigroup $Y\in\mathcal C$ containing $X$ as a discrete subsemigroup, (2) $projectively$ $\mathcal C$-$closed$ if every homomorphic image of $X$ is $\mathcal C$-closed, (3) $ideally$ $\mathcal C$-$closed$ if for any ideal $I$ in $X$ the quotient semigroup $X/I$ is $\mathcal C$-closed; (4) $absolutely$ $\mathcal C$-$closed$ (resp. $injectively$ $\mathcal C$-$closed$) if for any (injective) homomorphism $h:X\to Y$ to a topological semigroup $Y\in\mathcal C$, the image $h[X]$ is closed in $Y$. Let $T_1S$, $T_2S$, and $T_zS$ be the classes of $T_1$, Hausdorff, and Tychonoff zero-dimensional topological semigroups, respectively. We prove that any ideally (resp. injectively) $T_zS$-closed semigroup has group-bounded (resp. group-finite) center $Z(X)$. If a viable semigroup $X$ is ideally $T_zS$-closed, then (1) each maximal subgroup $H_e$ of $X$ is projectively $T_z$-closed, (2) $X$ contains no strictly decreasing chains of idempotents, (3) the center $Z(X)$ of $X$ is chain-finite, group-bounded and Clifford+finite, (4) $Z(X)$ is projectively $T_z$-closed. A commutative semigroup $X$ is absolutely $T_z$-closed if and only if $X$ is absolutely $T_2S$-closed if and only if $X$ is chain-finite, bounded, group-finite and Clifford+finite. On the other hand, a commutative semigroup $X$ is absolutely $T_1S$-closed if and only if $X$ is finite.

## Submission history

From: Taras Banakh [view email]**[v1]**Tue, 26 Jul 2022 09:52:30 GMT (45kb)

**[v2]**Thu, 28 Jul 2022 19:16:14 GMT (24kb)

**[v3]**Fri, 2 Sep 2022 18:20:01 GMT (54kb)

**[v4]**Fri, 6 Jan 2023 12:38:03 GMT (26kb)

Link back to: arXiv, form interface, contact.