Source author record

Serhii Bardyla

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GN math.GR math.AC math.CO

Catalog footprint

Research overview

13works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2023arXiv

Absolutely closed semigroups

Let $\mathcal C$ be a class of topological semigroups. A semigroup $X$ is called $absolutely$ $\mathcal C$ - $closed$ if for any homomorphism $h:X\to Y$ to a topological semigroup $Y\in\mathcal C$ , the image $h[X]$ is closed in $Y$ . Let $\mathsf{T_{\!1}S}$ , $\mathsf{T_{\!2}S}$ , and $\mathsf{T_{\!z}S}$ be the classes of $T_1$ , Hausdorff, and Tychonoff zero-dimensional topological semigroups, respectively. We prove that a commutative semigroup $X$ is absolutely $\mathsf{T_{\!z}S}$ -closed if and only if $X$ is absolutely $\mathsf{T_{\!2}S}$ -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 $\mathsf{T_{\!1}S}$ -closed if and only if $X$ is finite. Also, for a given absolutely $\mathcal C$ -closed semigroup $X$ we detect absolutely $\mathcal C$ -closed subsemigroups in the center of $X$ .

preprint2023arXiv

Subgroups of categorically closed semigroups

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) $ideally$ $\mathcal C$ - $closed$ if for any ideal $I$ in $X$ the quotient semigroup $X/I$ is $\mathcal C$ -closed; (3) $absolutely$ $\mathcal C$ - $closed$ if for any homomorphism $h:X\to Y$ to a topological semigroup $Y\in\mathcal C$ , the image $h[X]$ is closed in $Y$ , (4) $injectively$ $\mathcal C$ - $closed$ (resp. $\mathcal C$ - $discrete$ ) if for any injective homomorphism $h:X\to Y$ to a topological semigroup $Y\in\mathcal C$ , the image $h[X]$ is closed (resp. discrete) in $Y$ . Let $\mathsf{T_{\!z}S}$ be the class of Tychonoff zero-dimensional topological semigroups. For a semigroup $X$ let $V\!E(X)$ be the set of all viable idempotents of $X$ , i.e., idempotents $e$ such that the complement $X\setminus\frac{H_e}e$ of the set $\frac{H_e}e=\{x\in X:xe=ex\in H_e\}$ is an ideal in $X$ . We prove the following results: (i) for any ideally $\mathsf{T_{\!z}S}$ -closed semigroup $X$ each subgroup of the center $Z(X)=\{z\in X:\forall x\in X\;\;(xz=zx)\}$ is bounded; (ii) for any $\mathsf{T_{\!z}S}$ -closed semigroup $X$ , each subgroup of the ideal center $I\!Z(X)=\{z\in Z(X):zX\subseteq Z(X)\}$ is bounded; (iii) for any $\mathsf{T_{\!z}S}$ -discrete or injectively $\mathsf{T_{\!z}S}$ -closed semigroup $X$ , every subgroup of $Z(X)$ is finite, (iv) for any viable idempotent $e$ in an ideally (and absolutely) $\mathsf{T_{\!z}S}$ -closed semigroup $X$ , the maximal subgroup $H_e$ is ideally (and absolutely) $\mathsf{T_{\!z}S}$ -closed and has bounded (and finite) center $Z(H_e)$ .

preprint2022arXiv

Complete topologized posets and semilattices

In this paper we discuss the notion of completeness of topologized posets and survey some recent results on closedness properties of complete topologized semilattices.

preprint2021arXiv

Characterizing categorically closed commutative semigroups

Let $\mathcal C$ be a class of Hausdorff topological semigroups which contains all zero-dimensional Hausdorff topological semigroups. A semigroup $X$ is called $\mathcal C$ - $closed$ if $X$ is closed in each topological semigroup $Y\in \mathcal C$ containing $X$ as a discrete subsemigroup; $X$ is $projectively$ $\mathcal C$ - $closed$ if for each congruence $\approx$ on $X$ the quotient semigroup $X/_\approx$ is $\mathcal C$ -closed. A semigroup $X$ is called $chain$ - $finite$ if for any infinite set $I\subseteq X$ there are elements $x,y\in I$ such that $xy\notin\{x,y\}$ . We prove that a semigroup $X$ is $\mathcal C$ -closed if it admits a homomorphism $h:X\to E$ to a chain-finite semilattice $E$ such that for every $e\in E$ the semigroup $h^{-1}(e)$ is $\mathcal C$ -closed. Applying this theorem, we prove that a commutative semigroup $X$ is $\mathcal C$ -closed if and only if $X$ is periodic, chain-finite, all subgroups of $X$ are bounded, and for any infinite set $A\subseteq X$ the product $AA$ is not a singleton. A commutative semigroup $X$ is projectively $\mathcal C$ -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 $X\setminus H(X)$ .

preprint2021arXiv

On topological McAlister semigroups

In this paper we consider McAlister semigroups over arbitrary cardinals and investigate their algebraic and topological properties. We show that the group of automorphisms of a McAlister semigroup $\mathcal{M}_λ$ is isomorphic to the direct product $Sym(λ){\times}\mathbb{Z}_2$ , where $Sym(λ)$ is the group of permutations of the cardinal $λ$ . This fact correlates with the result of Mashevitzky, Schein and Zhitomirski which states that the group of automorphisms of the free inverse semigroup over a cardinal $λ$ is isomorphic to the wreath product of $Sym(λ)$ and $\mathbb{Z}_2$ . Each McAlister semigroup admits a compact semigroup topology. Consequently, the Green's relations $\mathscr D$ and $\mathscr J$ coincide in McAlister semigroups. The latter fact complements results of Lawson. We showed that each non-zero element of a Hausdorff semitopological McAlister semigroup is isolated. This fact is an analogue of the result of Mesyan, Mitchell, Morayne and Péresse, who proved that each non-zero element of Hausdorff topological polycyclic monoid is isolated. Also, it follows that the free inverse semigroup over a singleton admits only the discrete Hausdorff shift-continuous topology. We proved that a Hausdorff locally compact semitopological semigroup $\mathcal{M}_1$ is either compact or discrete. This fact is similar to the result of Gutik, who showed that a Hausdorff locally compact semitopological polycyclic monoid $\mathcal{P}_1$ is either compact or discrete. However, this dichotomy does not hold for the semigroup $\mathcal{M}_2$ . Moreover, $\mathcal{M}_2$ admits continuum many different Hausdorff locally compact inverse semigroup topologies.

preprint2020arXiv

A countably compact topological group with the non-countably pracompact square

Under Martin's Axiom we construct a Boolean countably compact topological group whose square is not countably pracompact.

preprint2020arXiv

A semigroup is finite if and only if it is chain-finite and antichain-finite

A subset $A$ of a semigroup $S$ is called a $chain$ ( $antichain$ ) if $xy\in\{x,y\}$ ( $xy\notin\{x,y\}$ ) for any (distinct) elements $x,y\in S$ . A semigroup $S$ is called ( $anti$ ) $chain$ - $finite$ if $S$ contains no infinite (anti)chains. We prove that each antichain-finite semigroup $S$ is periodic and for every idempotent $e$ of $S$ the set $\sqrt[\infty]{e}=\{x\in S:\exists n\in\mathbb N\;\;(x^n=e)\}$ is finite. This property of antichain-finite semigroups is used to prove that a semigroup is finite if and only if it is chain-finite and antichain-finite. Also we present an example of an antichain-finite semilattice that is not a union of finitely many chains.

preprint2020arXiv

On regular $κ$ -bounded spaces admitting only constant continuous mappings into $T_1$ spaces of pseudo-character $\leq κ$

In this paper for each cardinal $κ$ we construct an infinite $κ$ -bounded (and hence countably compact) regular space $R_κ$ such that for any $T_1$ space $Y$ of pseudo-character $\leqκ$ , each continuous function $f:R_κ\rightarrow Y$ is constant. This result resolves two problems posted by Tzannes in Open Problems from Topology Proceedings and extends results of Ciesielski and Wojciechowski and Herrlich.

preprint2019arXiv

The closedness of complete subsemilattices in functionally Hausdorff semitopological semilattices

A topologized semilattice $X$ is complete if each non-empty chain $C\subset X$ has $\inf C\in\bar C$ and $\sup C\in\bar C$ . It is proved that for any complete subsemilattice $X$ of a functionally Hausdorff semitopological semilattice $Y$ the partial order $P=\{(x,y)\in X\times X:xy=x\}$ of $X$ is closed in $Y\times Y$ and hence $X$ is closed in $Y$ . This implies that for any continuous homomorphism $h:X\to Y$ from a compete topologized semilattice $X$ to a functionally Hausdorff semitopological semilattice $Y$ the image $h(X)$ is closed in $Y$ . The functional Hausdorffness of $Y$ in these two results can be replaced by the weaker separation axiom $\vec T_{2δ}$ , defined in this paper.

preprint2016arXiv

Classifying locally compact semitopological polycyclic monoids

We present a complete classification of Hausdorff locally compact polycyclic monoids up to a topological isomorphism. A {\em polycyclic monoid} is an inverse monoid with zero, generated by a subset $Λ$ such that $xx^{-1}=1$ for any $x\inΛ$ and $xy^{-1}=0$ for any distinct $x,y\inΛ$ . We prove that any non-discrete Hausdorff locally compact topology with continuous shifts on a polycyclic monoid $M$ coincides with the topology of one-point compactification of the discrete space $M\setminus\{0\}$ .

preprint2016arXiv

On a complete topological inverse polycyclic monoid

We give sufficient conditions when a topological inverse $λ$ -polycyclic monoid $P_λ$ is absolutely $H$ -closed in the class of topological inverse semigroups. Also, for every infinite cardinal $λ$ we construct the coarsest semigroup inverse topology $τ_{mi}$ on $P_λ$ and give an example of a topological inverse monoid S which contains the polycyclic monoid $P_2$ as a dense discrete subsemigroup.

preprint2016arXiv

On a semitopological polycyclic monoid

We study algebraic structure of the $λ$ -polycyclic monoid $P_λ$ and its topologizations. We show that the $λ$ -polycyclic monoid for an infinite cardinal $λ\geqslant 2$ has similar algebraic properties so has the polycyclic monoid $P_n$ with finitely many $n\geqslant 2$ generators. In particular we prove that for every infinite cardinal $λ$ the polycyclic monoid $P_λ$ is a congruence-free combinatorial $0$ -bisimple $0$ - $E$ -unitary inverse semigroup. Also we show that every non-zero element $x$ is an isolated point in $(P_λ,τ)$ for every Hausdorff topology $τ$ on $P_λ$ , such that $(P_λ,τ)$ is a semitopological semigroup, and every locally compact Hausdorff semigroup topology on $P_λ$ is discrete. The last statement extends results of the paper [33] obtaining for topological inverse graph semigroups. We describe all feebly compact topologies $τ$ on $P_λ$ such that $\left(P_λ,τ\right)$ is a semitopological semigroup and its Bohr compactification as a topological semigroup. We prove that for every cardinal $λ\geqslant 2$ any continuous homomorphism from a topological semigroup $P_λ$ into an arbitrary countably compact topological semigroup is annihilating and there exists no a Hausdorff feebly compact topological semigroup which contains $P_λ$ as a dense subsemigroup.

preprint2016arXiv

On semitopological $α$ -bicyclic monoid

In this paper we consider a semitopological $α$ -bicyclic monoid $\mathcal{B}_α$ and prove that it is algebraically isomorphic to a semigroup of all order isomorphisms between the principal upper sets of the ordinal $ω^α$ . We prove that for every ordinal $α$ for every $(a,b)\in \mathcal{B_α}$ if either $a$ or $b$ is a non-limit ordinal then $(a,b)$ is an isolated point in $\mathcal{B}_α$ . We show that for every ordinal $α<ω+1$ every locally compact semigroup topology on $\mathcal{B}_α$ is discrete. However, we construct an example of a non-discrete locally compact topology $τ_{lc}$ on $\mathcal{B}_{ω+1}$ such that $(\mathcal{B}_{ω+1},τ_{lc})$ is a topological inverse semigroup. This example shows that there is a gap in \cite[Theorem~2.9]{Hogan-1984}, where is stated that for every ordinal $α$ there is only discrete locally compact inverse semigroup topology on $\mathcal{B_α}$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Serhii Bardyla

Research overview

Is this your work?

13 publications

Absolutely closed semigroups

Subgroups of categorically closed semigroups

Complete topologized posets and semilattices

Characterizing categorically closed commutative semigroups

On topological McAlister semigroups

A countably compact topological group with the non-countably pracompact square

A semigroup is finite if and only if it is chain-finite and antichain-finite

On regular $κ$ -bounded spaces admitting only constant continuous mappings into $T_1$ spaces of pseudo-character $\leq κ$

The closedness of complete subsemilattices in functionally Hausdorff semitopological semilattices

Classifying locally compact semitopological polycyclic monoids

On a complete topological inverse polycyclic monoid

On a semitopological polycyclic monoid

On semitopological $α$ -bicyclic monoid

See the researcher in context

Building this map preview

Serhii Bardyla

Research overview

Is this your work?

13 publications

Absolutely closed semigroups

Subgroups of categorically closed semigroups

Complete topologized posets and semilattices

Characterizing categorically closed commutative semigroups

On topological McAlister semigroups

A countably compact topological group with the non-countably pracompact square

A semigroup is finite if and only if it is chain-finite and antichain-finite

On regular κκκ-bounded spaces admitting only constant continuous mappings into T1T_1T1​ spaces of pseudo-character ≤κ\leq κ≤κ

The closedness of complete subsemilattices in functionally Hausdorff semitopological semilattices

Classifying locally compact semitopological polycyclic monoids

On a complete topological inverse polycyclic monoid

On a semitopological polycyclic monoid

On semitopological ααα-bicyclic monoid

See the researcher in context

Building this map preview

On regular $κ$ -bounded spaces admitting only constant continuous mappings into $T_1$ spaces of pseudo-character $\leq κ$

On semitopological $α$ -bicyclic monoid