BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Serhii Bardyla

Serhii Bardyla contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.GNmath.GRmath.ACmath.CO

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
10works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

10 published item(s)

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$.

0 citations0 reviewsNo code linkedOpen access
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)$.

0 citations0 reviewsNo code linkedOpen access
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)$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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_α}$.

0 citations0 reviewsNo code linkedOpen access