BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Serhii Bardyla

Serhii Bardyla appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.GNmath.GRmath.ACmath.CO

Catalog footprint

What is connected

13works
4topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

13 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

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

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

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

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