-
A note on intrinsic topologies of groups
Authors:
S. Bardyla,
L. Elliott,
J. D. Mitchell,
Y. Péresse
Abstract:
We investigate topologies on groups which arise naturally from their algebraic structure, including the Frechét-Markov, Hausdorff-Markov, and various kinds of Zariski topologies. Answering a question by Dikranjan and Toller, we show that there exists a countable abelian group in which no bounded version of the Zariski topology coincides with the full Zariski topology. Complementing a recent result…
▽ More
We investigate topologies on groups which arise naturally from their algebraic structure, including the Frechét-Markov, Hausdorff-Markov, and various kinds of Zariski topologies. Answering a question by Dikranjan and Toller, we show that there exists a countable abelian group in which no bounded version of the Zariski topology coincides with the full Zariski topology. Complementing a recent result by Goffer and Greenfeld, we show that on any group with no algebraicity the semigroup Zariski topology is hyperconnected and hence, in many cases, is distinct from the group Zariski topology. Finally, we show that on the symmetric groups, the semigroup Hausdorff-Markov topology coincides with the topology of pointwise convergence.
△ Less
Submitted 23 June, 2025; v1 submitted 13 June, 2025;
originally announced June 2025.
-
Countably compact inverse semigroups and Nyikos problem
Authors:
Serhii Bardyla
Abstract:
A regular separable first-countable countably compact space is called a {\em Nyikos} space. In this paper, we give a partial solution to an old problem of Nyikos by showing that each locally compact Nyikos inverse topological semigroup is compact. Also, we show that a topological semigroup $S$ that contains a dense inverse subsemigroup is a topological inverse semigroup, provided (i) $S$ is compac…
▽ More
A regular separable first-countable countably compact space is called a {\em Nyikos} space. In this paper, we give a partial solution to an old problem of Nyikos by showing that each locally compact Nyikos inverse topological semigroup is compact. Also, we show that a topological semigroup $S$ that contains a dense inverse subsemigroup is a topological inverse semigroup, provided (i) $S$ is compact, or (ii) $S$ is countably compact and sequential. The latter result solves a problem of Banakh and Pastukhova and provides the automatic continuity of inversion in certain compact-like inverse semigroups.
△ Less
Submitted 17 March, 2025;
originally announced March 2025.
-
Schur ultrafilters and Bohr compactifications of topological groups
Authors:
Serhii Bardyla,
Pavol Zlatoš
Abstract:
In this paper we investigate Schur ultrafilters on groups. Using the algebraic structure of Stone-Čech compactifications of discrete groups and Schur ultrafilters, we give a new description of Bohr compactifications of topological groups. This approach allows us to characterize chart groups that are topological groups. Namely, a chart group $G$ is a topological group if and only if each Schur ultr…
▽ More
In this paper we investigate Schur ultrafilters on groups. Using the algebraic structure of Stone-Čech compactifications of discrete groups and Schur ultrafilters, we give a new description of Bohr compactifications of topological groups. This approach allows us to characterize chart groups that are topological groups. Namely, a chart group $G$ is a topological group if and only if each Schur ultrafilter on $G$ converges to the unit of $G$.
△ Less
Submitted 28 March, 2025; v1 submitted 11 September, 2024;
originally announced September 2024.
-
Local and global properties of spaces of minimal usco maps
Authors:
Serhii Bardyla,
Branislav Novotný,
Jaroslav Šupina
Abstract:
In this paper, we study an interplay between local and global properties of spaces of minimal usco maps equipped with the topology of uniform convergence on compact sets. In particular, for each locally compact space $X$ and metric space $Y$, we characterize the space of minimal usco maps from $X$ to $Y$, satisfying one of the following properties: (i) compact, (ii) locally compact, (iii) $σ$-comp…
▽ More
In this paper, we study an interplay between local and global properties of spaces of minimal usco maps equipped with the topology of uniform convergence on compact sets. In particular, for each locally compact space $X$ and metric space $Y$, we characterize the space of minimal usco maps from $X$ to $Y$, satisfying one of the following properties: (i) compact, (ii) locally compact, (iii) $σ$-compact, (iv) locally $σ$-compact, (v) metrizable, (vi) ccc, (vii) locally ccc, where in the last two items we additionally assumed that $Y$ is separable and non-discrete. Some of the aforementioned results complement ones of Ľubica Holá and Dušan Holý. Also, we obtain analogical characterizations for spaces of minimal cusco maps.
△ Less
Submitted 14 August, 2024;
originally announced August 2024.
-
Classifying the Polish semigroup topologies on the symmetric inverse monoid
Authors:
Serhii Bardyla,
Luna Elliott,
James Mitchell,
Yann Péresse
Abstract:
We classify all Polish semigroup topologies on the symmetric inverse monoid on the natural numbers. This result answers a question of Elliott et al. There are countably infinitely many such topologies. Under containment, these Polish semigroup topologies form a join-semilattice with infinite descending chains, no infinite ascending chains, and arbitrarily large finite anti-chains. Also, we show th…
▽ More
We classify all Polish semigroup topologies on the symmetric inverse monoid on the natural numbers. This result answers a question of Elliott et al. There are countably infinitely many such topologies. Under containment, these Polish semigroup topologies form a join-semilattice with infinite descending chains, no infinite ascending chains, and arbitrarily large finite anti-chains. Also, we show that the monoid endowed with any second countable T_1 semigroup topology is homeomorphic to the Baire space.
△ Less
Submitted 26 November, 2024; v1 submitted 30 May, 2024;
originally announced May 2024.
-
Countably compact extensions and cardinal characteristics of the continuum
Authors:
Serhii Bardyla,
Peter Nyikos,
Lyubomyr Zdomskyy
Abstract:
In this paper, we show that the existence of certain first-countable compact-like extensions is equivalent to the equality between corresponding cardinal characteristics of the continuum. For instance, $\mathfrak b=\mathfrak s=\mathfrak c$ if and only if every regular first-countable space of weight $< \mathfrak c$ can be densely embedded into a regular first-countable countably compact space.
In this paper, we show that the existence of certain first-countable compact-like extensions is equivalent to the equality between corresponding cardinal characteristics of the continuum. For instance, $\mathfrak b=\mathfrak s=\mathfrak c$ if and only if every regular first-countable space of weight $< \mathfrak c$ can be densely embedded into a regular first-countable countably compact space.
△ Less
Submitted 11 November, 2024; v1 submitted 13 April, 2024;
originally announced April 2024.
-
Selective separability properties of Fréchet-Urysohn spaces and their products
Authors:
Serhii Bardyla,
Fortunato Maesano,
Lyubomyr Zdomskyy
Abstract:
In this paper we study the behaviour of selective separability properties in the class of Frechét-Urysohn spaces. We present two examples, the first one given in ZFC proves the existence of a countable Frechét-Urysohn (hence $R$-separable and selectively separable) space which is not $H$-separable; assuming $\mathfrak{p}=\mathfrak{c}$, we construct such an example which is also zero-dimensional an…
▽ More
In this paper we study the behaviour of selective separability properties in the class of Frechét-Urysohn spaces. We present two examples, the first one given in ZFC proves the existence of a countable Frechét-Urysohn (hence $R$-separable and selectively separable) space which is not $H$-separable; assuming $\mathfrak{p}=\mathfrak{c}$, we construct such an example which is also zero-dimensional and $α_{4}$. Also, motivated by a result of Barman and Dow stating that the product of two countable Frechét-Urysohn spaces is $M$-separable under PFA, we show that the MA is not sufficient here. In the last section we prove that in the Laver model, the product of any two $H$-separable spaces is $mH$-separable.
△ Less
Submitted 26 May, 2023;
originally announced May 2023.
-
Filters, ideal independence and ideal Mrówka spaces
Authors:
Serhii Bardyla,
Jonathan Cancino-Manríquez,
Vera Fischer,
Corey Bacal Switzer
Abstract:
A family $\mathcal{A} \subseteq [ω]^ω$ such that for all finite $\{X_i\}_{i\in n}\subseteq \mathcal A$ and $A \in \mathcal{A} \setminus \{X_i\}_{i\in n}$, the set $A \setminus \bigcup_{i \in n} X_i$ is infinite, is said to be ideal independent.
We prove that an ideal independent family $\mathcal{A}$ is maximal if and only if $\mathcal A$ is $\mathcal J$-completely separable and maximal…
▽ More
A family $\mathcal{A} \subseteq [ω]^ω$ such that for all finite $\{X_i\}_{i\in n}\subseteq \mathcal A$ and $A \in \mathcal{A} \setminus \{X_i\}_{i\in n}$, the set $A \setminus \bigcup_{i \in n} X_i$ is infinite, is said to be ideal independent.
We prove that an ideal independent family $\mathcal{A}$ is maximal if and only if $\mathcal A$ is $\mathcal J$-completely separable and maximal $\mathcal J$-almost disjoint for a particular ideal $\mathcal J$ on $ω$. We show that $\mathfrak{u}\leq\mathfrak{s}_{mm}$, where $\mathfrak{s}_{mm}$ is the minimal cardinality of maximal ideal independent family. This, in particular, establishes the independence of $\mathfrak{s}_{mm}$ and $\mathfrak{i}$. Given an arbitrary set $C$ of uncountable cardinals, we show how to simultaneously adjoin via forcing maximal ideal independent families of cardinality $λ$ for each $λ\in C$, thus establishing the consistency of $C\subseteq \hbox{spec}(\mathfrak{s}_{mm})$. Assuming $\mathsf{CH}$, we construct a maximal ideal independent family, which remains maximal after forcing with any proper, $^ωω$-bounding, $p$-point preserving forcing notion and evaluate $\mathfrak{s}_{mm}$ in several well studied forcing extensions.
We also study natural filters associated with ideal independence and introduce an analog of Mrówka spaces for ideal independent families.
△ Less
Submitted 10 April, 2023;
originally announced April 2023.
-
Topological embeddings into transformation monoids
Authors:
S. Bardyla,
L. Elliott,
J. D. Mitchell,
Y. Peresse
Abstract:
In this paper we consider the questions of which topological semigroups embed topologically into the full transformation monoid $\mathbb{N} ^ \mathbb{N}$ or the symmetric inverse monoid $I_{\mathbb{N}}$ with their respective canonical Polish semigroup topologies. We characterise those topological semigroups that embed topologically into $\mathbb{N} ^ \mathbb{N}$ and belong to any of the following…
▽ More
In this paper we consider the questions of which topological semigroups embed topologically into the full transformation monoid $\mathbb{N} ^ \mathbb{N}$ or the symmetric inverse monoid $I_{\mathbb{N}}$ with their respective canonical Polish semigroup topologies. We characterise those topological semigroups that embed topologically into $\mathbb{N} ^ \mathbb{N}$ and belong to any of the following classes: commutative semigroups; compact semigroups; groups; and certain Clifford semigroups. We prove analogous characterisations for topological inverse semigroups and $I_{\mathbb{N}}$. We construct several examples of countable Polish topological semigroups that do not embed into $\mathbb{N} ^ \mathbb{N}$, which answer, in the negative, a recent open problem of Elliott et al. Additionally, we obtain two sufficient conditions for a topological Clifford semigroup to be metrizable, and prove that inversion is automatically continuous in every Clifford subsemigroup of $\mathbb{N}^\mathbb{N}$. The former complements recent works of Banakh et al.
△ Less
Submitted 30 November, 2023; v1 submitted 17 February, 2023;
originally announced February 2023.
-
Open filters and measurable cardinals
Authors:
Serhii Bardyla,
Jaroslav Supina,
Lyubomyr Zdomskyy
Abstract:
In this paper, we investigate the poset $\mathbf{OF}(X)$ of free open filters on a given space $X$. In particular, we characterize spaces for which $\mathbf{OF}(X)$ is a lattice. For each $n\in\mathbb{N}$ we construct a scattered space $X$ such that $\mathbf{OF}(X)$ is order isomorphic to the $n$-element chain, which implies the affirmative answer to two questions of Mooney. Assuming CH we constru…
▽ More
In this paper, we investigate the poset $\mathbf{OF}(X)$ of free open filters on a given space $X$. In particular, we characterize spaces for which $\mathbf{OF}(X)$ is a lattice. For each $n\in\mathbb{N}$ we construct a scattered space $X$ such that $\mathbf{OF}(X)$ is order isomorphic to the $n$-element chain, which implies the affirmative answer to two questions of Mooney. Assuming CH we construct a scattered space $X$ such that $\mathbf{OF}(X)$ is order isomorphic to $(ω+1,\geq)$. To prove the latter facts we introduce and investigate a new stratification of ultrafilters which depends on scattered subspaces of $β(κ)$. Assuming the existence of $n$ measurable cardinals, for every $m_0,\ldots,m_{n}\in\mathbb N$ we construct a space $X$ such that $\mathbf{OF}(X)$ is order isomorphic to $\prod_{i=0}^nm_i$. Also, we show that the existence of a metric space possessing a free $ω_1$-complete closed, $G_δ$, $F_σ$ or Borel ultrafilter is equivalent to the existence of a measurable cardinal.
△ Less
Submitted 25 June, 2024; v1 submitted 20 January, 2023;
originally announced January 2023.
-
Subgroups of categorically closed semigroups
Authors:
Taras Banakh,
Serhii Bardyla
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) $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…
▽ More
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)$.
△ Less
Submitted 6 January, 2023; v1 submitted 16 September, 2022;
originally announced September 2022.
-
Absolutely closed semigroups
Authors:
Taras Banakh,
Serhii Bardyla
Abstract:
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, respecti…
▽ More
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$.
△ Less
Submitted 6 January, 2023; v1 submitted 26 July, 2022;
originally announced July 2022.
-
Categorically closed countable semigroups
Authors:
Taras Banakh,
Serhii Bardyla
Abstract:
In this paper we establish a connection between categorical closedness and topologizability of semigroups. In particular, for a class $\mathsf T_{\!1}\mathsf S$ of $T_1$ topological semigroups we prove that a countable semigroup $X$ with finite-to-one shifts is injectively $\mathsf T_{\!1}\mathsf S$-closed if and only if $X$ is $\mathsf{T_{\!1}S}$-nontopologizable in the sense that every $T_1$ sem…
▽ More
In this paper we establish a connection between categorical closedness and topologizability of semigroups. In particular, for a class $\mathsf T_{\!1}\mathsf S$ of $T_1$ topological semigroups we prove that a countable semigroup $X$ with finite-to-one shifts is injectively $\mathsf T_{\!1}\mathsf S$-closed if and only if $X$ is $\mathsf{T_{\!1}S}$-nontopologizable in the sense that every $T_1$ semigroup topology on $X$ is discrete. Moreover, a countable cancellative semigroup $X$ is absolutely $\mathsf T_{\!1}\mathsf S$-closed if and only if every homomorphic image of $X$ is $\mathsf T_{\!1}\mathsf S$-nontopologizable. Also, we introduce and investigate a notion of a polybounded semigroup. It is proved that a countable semigroup $X$ with finite-to-one shifts is polybounded if and only if $X$ is $\mathsf T_{\!1}\mathsf S$-closed if and only if $X$ is $\mathsf T_{\!z}\mathsf S$-closed, where $\mathsf T_{\!z}\mathsf S$ is a class of zero-dimensional Tychonoff topological semigroups. We show that polyboundedness provides an automatic continuity of the inversion in $T_1$ paratopological groups and prove that every cancellative polybounded semigroup is a group.
△ Less
Submitted 25 December, 2022; v1 submitted 28 November, 2021;
originally announced November 2021.
-
Ideal approach to convergence in functional spaces
Authors:
Serhii Bardyla,
Jaroslav Supina,
Lyubomyr Zdomskyy
Abstract:
We solve the last standing open problem from the seminal paper by J. Gerlits and Zs. Nagy, which was later reposed by A. Miller, T. Orenshtein and B. Tsaban. Namely, we show that under p = c there is a δ-set that is not a γ-set. Thus we construct a set of reals A such that the space Cp(A) of all real-valued continuous functions on A is not Frechet-Urysohn, but possesses the Pytkeev property. Moreo…
▽ More
We solve the last standing open problem from the seminal paper by J. Gerlits and Zs. Nagy, which was later reposed by A. Miller, T. Orenshtein and B. Tsaban. Namely, we show that under p = c there is a δ-set that is not a γ-set. Thus we construct a set of reals A such that the space Cp(A) of all real-valued continuous functions on A is not Frechet-Urysohn, but possesses the Pytkeev property. Moreover, under CH we construct a π-set that is not a δ-set solving a problem by M. Sakai. In fact, we construct various examples of δ-sets that are not γ-sets, satisfying finer properties parametrized by ideals on natural numbers. Finally, we distinguish ideal variants of the Frechet-Urysohn property for many different Borel ideals in the realm of functional spaces.
△ Less
Submitted 11 May, 2023; v1 submitted 9 November, 2021;
originally announced November 2021.
-
On topological McAlister semigroups
Authors:
Serhii Bardyla
Abstract:
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, Sch…
▽ More
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.
△ Less
Submitted 4 March, 2021;
originally announced March 2021.
-
Characterizing categorically closed commutative semigroups
Authors:
Taras Banakh,
Serhii Bardyla
Abstract:
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…
▽ More
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)$.
△ Less
Submitted 30 October, 2021; v1 submitted 16 January, 2021;
originally announced January 2021.
-
A semigroup is finite if and only if it is chain-finite and antichain-finite
Authors:
Iryna Banakh,
Taras Banakh,
Serhii Bardyla
Abstract:
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…
▽ More
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.
△ Less
Submitted 6 December, 2020;
originally announced December 2020.
-
On regular separable countably compact $\mathbb{R}$-rigid spaces
Authors:
Serhii Bardyla,
Lyubomyr Zdomskyy
Abstract:
A topological space $X$ is said to be {\em $Y$-rigid} if any continuous map $f:X\rightarrow Y$ is constant. In this paper we construct a number of examples of regular countably compact $\mathbb R$-rigid spaces with additional properties like separability and first countability. This way we answer several questions of Tzannes, Banakh, Ravsky, as well as get a consistent example of $\mathbb R$-rigid…
▽ More
A topological space $X$ is said to be {\em $Y$-rigid} if any continuous map $f:X\rightarrow Y$ is constant. In this paper we construct a number of examples of regular countably compact $\mathbb R$-rigid spaces with additional properties like separability and first countability. This way we answer several questions of Tzannes, Banakh, Ravsky, as well as get a consistent example of $\mathbb R$-rigid Nyikos space. Also, we show that it is consistent with ZFC that for every cardinal $κ<\mathfrak c$ there exists a regular separable countably compact space $X$ which is $Y$-rigid with respect to any $T_1$ space $Y$ of pseudocharacter $\leqκ$.
△ Less
Submitted 8 October, 2021; v1 submitted 23 July, 2020;
originally announced July 2020.
-
A countably compact topological group with the non-countably pracompact square
Authors:
Serhii Bardyla,
Alex Ravsky,
Lyubomyr Zdomskyy
Abstract:
Under Martin's Axiom we construct a Boolean countably compact topological group whose square is not countably pracompact.
Under Martin's Axiom we construct a Boolean countably compact topological group whose square is not countably pracompact.
△ Less
Submitted 6 March, 2020;
originally announced March 2020.
-
On regular $κ$-bounded spaces admitting only constant continuous mappings into $T_1$ spaces of pseudo-character $\leq κ$
Authors:
Serhii Bardyla,
Alexander V. Osipov
Abstract:
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 Herr…
▽ More
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.
△ Less
Submitted 21 January, 2020; v1 submitted 22 December, 2019;
originally announced December 2019.
-
The Lawson number of a semitopological semilattice
Authors:
Taras Banakh,
Serhii Bardyla,
Oleg Gutik
Abstract:
For a Hausdorff topologized semilattice $X$ its $Lawson\;\; number$ $\barΛ(X)$ is the smallest cardinal $κ$ such that for any distinct points $x,y\in X$ there exists a family $\mathcal U$ of closed neighborhoods of $x$ in $X$ such that $|\mathcal U|\leκ$ and $\bigcap\mathcal U$ is a subsemilattice of $X$ that does not contain $y$. It follows that $\barΛ(X)\le\barψ(X)$, where $\barψ(X)$ is the smal…
▽ More
For a Hausdorff topologized semilattice $X$ its $Lawson\;\; number$ $\barΛ(X)$ is the smallest cardinal $κ$ such that for any distinct points $x,y\in X$ there exists a family $\mathcal U$ of closed neighborhoods of $x$ in $X$ such that $|\mathcal U|\leκ$ and $\bigcap\mathcal U$ is a subsemilattice of $X$ that does not contain $y$. It follows that $\barΛ(X)\le\barψ(X)$, where $\barψ(X)$ is the smallest cardinal $κ$ such that for any point $x\in X$ there exists a family $\mathcal U$ of closed neighborhoods of $x$ in $X$ such that $|\mathcal U|\leκ$ and $\bigcap\mathcal U=\{x\}$.
We prove that a compact Hausdorff semitopological semilattice $X$ is Lawson (i.e., has a base of the topology consisting of subsemilattices) if and only if $\barΛ(X)=1$. Each Hausdorff topological semilattice $X$ has Lawson number $\barΛ(X)\leω$. On the other hand, for any infinite cardinal $λ$ we construct a Hausdorff zero-dimensional semitopological semilattice $X$ such that $|X|=λ$ and $\barΛ(X)=\barψ(X)=cf(λ)$.
A topologized semilattice $X$ is called (i) $ω$-$Lawson$ if $\barΛ(X)\leω$; (ii) $complete$ if each non-empty chain $C\subset X$ has $\inf C\in\overline{C}$ and $\sup C\in\overline{C}$. We prove that for any complete subsemilattice $X$ of an $ω$-Lawson semitopological semilattice $Y$, the partial order $\le_X=\{(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 an $ω$-Lawson semitopological semilattice $Y$ the image $h(X)$ is closed in $Y$.
△ Less
Submitted 29 September, 2019;
originally announced October 2019.
-
A metrizable Lawson semitopological semilattice with non-closed partial order
Authors:
Taras Banakh,
Serhii Bardyla,
Alex Ravsky
Abstract:
We construct a metrizable Lawson semitopological semilattice $X$ whose partial order $\le_X=\{(x,y)\in X\times X:xy=x\}$ is not closed in $X\times X$. This resolves a problem posed earlier by the authors.
We construct a metrizable Lawson semitopological semilattice $X$ whose partial order $\le_X=\{(x,y)\in X\times X:xy=x\}$ is not closed in $X\times X$. This resolves a problem posed earlier by the authors.
△ Less
Submitted 10 September, 2019;
originally announced September 2019.
-
On the lattice of weak topologies on the bicyclic monoid with adjoined zero
Authors:
Serhii Bardyla,
Oleg Gutik
Abstract:
A Hausdorff topology $τ$ on the bicyclic monoid with adjoined zero $\mathcal{C}^0$ is called {\em weak} if it is contained in the coarsest inverse semigroup topology on $\mathcal{C}^0$. We show that the lattice $\mathcal{W}$ of all weak shift-continuous topologies on $\mathcal{C}^0$ is isomorphic to the lattice of all shift-invariant filters on $ω$ with an attached element $1$ endowed with the fol…
▽ More
A Hausdorff topology $τ$ on the bicyclic monoid with adjoined zero $\mathcal{C}^0$ is called {\em weak} if it is contained in the coarsest inverse semigroup topology on $\mathcal{C}^0$. We show that the lattice $\mathcal{W}$ of all weak shift-continuous topologies on $\mathcal{C}^0$ is isomorphic to the lattice of all shift-invariant filters on $ω$ with an attached element $1$ endowed with the following partial order: $\mathcal{F}\leq \mathcal{G}$ iff $\mathcal{G}=1$ or $\mathcal{F}\subset \mathcal{G}$. Also, we investigate cardinal characteristics of the lattice $\mathcal{W}$. In particular, we proved that $\mathcal{W}$ contains an antichain of cardinality $2^{\mathfrak{c}}$ and a well-ordered chain of cardinality $\mathfrak{c}$. Moreover, there exists a well-ordered chain of first-countable weak topologies of order type $\mathfrak{t}$.
△ Less
Submitted 17 September, 2019; v1 submitted 13 August, 2019;
originally announced August 2019.
-
Closed subsets of compact-like topological spaces
Authors:
Serhii Bardyla,
Alex Ravsky
Abstract:
We investigate closed subsets (subsemigroups, resp.) of compact-like topological spaces (semigroups, resp.). We prove that each Hausdorff topological space can be embedded as a closed subspace into an H-closed topological space. However, the semigroup of $ω{\timesω}$-matrix units cannot be embedded into a topological semigroup which is a weakly H-closed topological space. We show that each Hausdor…
▽ More
We investigate closed subsets (subsemigroups, resp.) of compact-like topological spaces (semigroups, resp.). We prove that each Hausdorff topological space can be embedded as a closed subspace into an H-closed topological space. However, the semigroup of $ω{\timesω}$-matrix units cannot be embedded into a topological semigroup which is a weakly H-closed topological space. We show that each Hausdorff topological space is a closed subspace of some $ω$-bounded pracompact topological space and describe open dense subspaces of countably pracompact topological spaces. Also, we construct a pseudocompact topological semigroup which contains the bicyclic monoid as a closed subsemigroup, providing a positive solution of a problem posed by Banakh, Dimitrova, and Gutik.
△ Less
Submitted 8 August, 2019; v1 submitted 28 July, 2019;
originally announced July 2019.
-
Embeddings into countably compact Hausdorff spaces
Authors:
Taras Banakh,
Serhii Bardyla,
Alex Ravsky
Abstract:
In this paper we consider the problem of characterization of topological spaces that embed into countably compact Hausdorff spaces. We study the separation axioms of subspaces of countably compact Hausdorff spaces and construct an example of a regular separable scattered topological space which cannot be embedded into an Urysohn countably compact topological space but embeds into a Hausdorff count…
▽ More
In this paper we consider the problem of characterization of topological spaces that embed into countably compact Hausdorff spaces. We study the separation axioms of subspaces of countably compact Hausdorff spaces and construct an example of a regular separable scattered topological space which cannot be embedded into an Urysohn countably compact topological space but embeds into a Hausdorff countably compact space.
△ Less
Submitted 11 June, 2019;
originally announced June 2019.
-
Embedding topological spaces into Hausdorff $κ$-bounded spaces
Authors:
T. Banakh,
S. Bardyla,
A. Ravsky
Abstract:
Let $κ$ be an infinite cardinal. A topological space $X$ is $κ$-bounded if the closure of any subset of cardinality $\leκ$ in $X$ is compact. We discuss the problem of embeddability of topological spaces into Hausdorff (Urysohn, regular) $κ$-bounded spaces, and present a canonical construction of such an embedding. Also we construct a (consistent) example of a sequentially compact separable regula…
▽ More
Let $κ$ be an infinite cardinal. A topological space $X$ is $κ$-bounded if the closure of any subset of cardinality $\leκ$ in $X$ is compact. We discuss the problem of embeddability of topological spaces into Hausdorff (Urysohn, regular) $κ$-bounded spaces, and present a canonical construction of such an embedding. Also we construct a (consistent) example of a sequentially compact separable regular space that cannot be embedded into a Hausdorff $ω$-bounded space.
△ Less
Submitted 30 October, 2021; v1 submitted 1 June, 2019;
originally announced June 2019.
-
Positive answers to Koch's problem in special cases
Authors:
Taras Banakh,
Serhii Bardyla,
Igor Guran,
Oleg Gutik,
Alex Ravsky
Abstract:
A topological semigroup is monothetic provided it contains a dense cyclic subsemigroup. The Koch problem asks whether every locally compact monothetic monoid is compact. This problem was opened for more than sixty years, till in 2018 Zelenyuk obtained a negative answer. In this paper we obtain a positive answer for Koch's problem for some special classes of topological monoids. Namely, we show tha…
▽ More
A topological semigroup is monothetic provided it contains a dense cyclic subsemigroup. The Koch problem asks whether every locally compact monothetic monoid is compact. This problem was opened for more than sixty years, till in 2018 Zelenyuk obtained a negative answer. In this paper we obtain a positive answer for Koch's problem for some special classes of topological monoids. Namely, we show that a locally compact monothetic topological monoid is a compact topological group if and only if $S$ is a submonoid of a quasitopological group if and only if $S$ has open shifts if and only if $S$ is non-viscous in the sense of Averbukh. The last condition means that any neighborhood $U$ of the identity $1$ of $S$ and for any element $a\in S$ there exists a neighborhood $V$ of $a$ such that any element $x\in S$ with $(xV\cup Vx)\cap V\ne\emptyset$ belongs to the neighborhood $U$ of 1.
△ Less
Submitted 24 February, 2019;
originally announced February 2019.
-
A metrizable semitopological semilattice with non-closed partial order
Authors:
Taras Banakh,
Serhii Bardyla,
Alex Ravsky
Abstract:
We construct a metrizable semitopological semilattice $X$ whose partial order $P=\{(x,y)\in X\times X:xy=x\}$ is a non-closed dense subset of $X\times X$. As a by-product we find necessary and sufficient conditions for the existence of a (metrizable) Hausdorff topology on a set, act, semigroup or semilattice, having a prescribed countable family of convergent sequences.
We construct a metrizable semitopological semilattice $X$ whose partial order $P=\{(x,y)\in X\times X:xy=x\}$ is a non-closed dense subset of $X\times X$. As a by-product we find necessary and sufficient conditions for the existence of a (metrizable) Hausdorff topology on a set, act, semigroup or semilattice, having a prescribed countable family of convergent sequences.
△ Less
Submitted 23 February, 2019;
originally announced February 2019.
-
Embedding of graph inverse semigroups into CLP-compact topological semigroups
Authors:
Serhii Bardyla
Abstract:
In this paper we investigate graph inverse semigroups which are subsemigroups of compact-like topological semigroups. More precisely, we characterise graph inverse semigroups which admit a compact semigroup topology and describe graph inverse semigroups which can be embeded densely into CLP-compact topological semigroups.
In this paper we investigate graph inverse semigroups which are subsemigroups of compact-like topological semigroups. More precisely, we characterise graph inverse semigroups which admit a compact semigroup topology and describe graph inverse semigroups which can be embeded densely into CLP-compact topological semigroups.
△ Less
Submitted 14 October, 2019; v1 submitted 22 October, 2018;
originally announced October 2018.
-
An alternative look at the structure of graph inverse semigroups
Authors:
Serhii Bardyla
Abstract:
For any graph inverse semigroup $G(E)$ we describe subsemigroups $D^0=D\cup\{0\}$ and $J^0=J\cup\{0\}$ of $G(E)$ where $D$ and $J$ are arbitrary $\mathcal{D}$-class and $\mathcal{J}$-class of $G(E)$, respectively. In particular, we prove that for each $\mathcal{D}$-class $D$ of a graph inverse semigroup over an acyclic graph the semigroup $D^0$ is isomorphic to a semigroup of matrix units. Also we…
▽ More
For any graph inverse semigroup $G(E)$ we describe subsemigroups $D^0=D\cup\{0\}$ and $J^0=J\cup\{0\}$ of $G(E)$ where $D$ and $J$ are arbitrary $\mathcal{D}$-class and $\mathcal{J}$-class of $G(E)$, respectively. In particular, we prove that for each $\mathcal{D}$-class $D$ of a graph inverse semigroup over an acyclic graph the semigroup $D^0$ is isomorphic to a semigroup of matrix units. Also we show that for any elements $a,b$ of a graph inverse semigroup $G(E)$, $J_a\cdot J_b\cup J_b\cdot J_a\subset J_b^0$ if there exists a path $w$ such that $s(w)\in J_a$ and $r(w)\in J_b$.
△ Less
Submitted 22 April, 2019; v1 submitted 25 June, 2018;
originally announced June 2018.
-
Complete topologized posets and semilattices
Authors:
Taras Banakh,
Serhii Bardyla
Abstract:
In this paper we discuss the notion of completeness of topologized posets and survey some recent results on closedness properties of complete topologized 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.
△ Less
Submitted 7 February, 2022; v1 submitted 7 June, 2018;
originally announced June 2018.
-
The closedness of complete subsemilattices in functionally Hausdorff semitopological semilattices
Authors:
Taras Banakh,
Serhii Bardyla,
Alex Ravsky
Abstract:
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 homomorphis…
▽ More
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.
△ Less
Submitted 3 March, 2019; v1 submitted 7 June, 2018;
originally announced June 2018.
-
On images of complete topologized subsemilattices in sequential semitopological semilattices
Authors:
Taras Banakh,
Serhii Bardyla
Abstract:
A topologized semilattice $X$ is called complete if each non-empty chain $C\subset X$ has $\inf C\in\bar C$ and $\sup C\in\bar C$. We prove that for any continuous homomorphism $h:X\to Y$ from a complete topologized semilattice $X$ to a sequential Hausdorff semitopological semilattice $Y$ the image $h(X)$ is closed in $Y$.
A topologized semilattice $X$ is called complete if each non-empty chain $C\subset X$ has $\inf C\in\bar C$ and $\sup C\in\bar C$. We prove that for any continuous homomorphism $h:X\to Y$ from a complete topologized semilattice $X$ to a sequential Hausdorff semitopological semilattice $Y$ the image $h(X)$ is closed in $Y$.
△ Less
Submitted 3 March, 2019; v1 submitted 7 June, 2018;
originally announced June 2018.
-
The interplay between weak topologies on topological semilattices
Authors:
Taras Banakh,
Serhii Bardyla
Abstract:
We study the interplay between three weak topologies on a topological semilattice $X$: the weak$^\circ$ topology $\mathcal W^\circ_X$ (generated by the base consiting of open subsemilattices of $X$), the weak$^\bullet$ topology $\mathcal W^\bullet_X$ (generated by the subbase consisting of complements to closed subsemilattices), and the $\mathbb I$-weak topology $\mathcal W_X$ (which is the weakes…
▽ More
We study the interplay between three weak topologies on a topological semilattice $X$: the weak$^\circ$ topology $\mathcal W^\circ_X$ (generated by the base consiting of open subsemilattices of $X$), the weak$^\bullet$ topology $\mathcal W^\bullet_X$ (generated by the subbase consisting of complements to closed subsemilattices), and the $\mathbb I$-weak topology $\mathcal W_X$ (which is the weakest topology in which all continuous homomorphisms $h:X\to [0,1]$ remain continuous). Also we study the interplay between the weak topologies $\mathcal W^\bullet_X$, $\mathcal W^\circ_X$, $\mathcal W_X$ of a topological semilattice $X$ and the Scott and Lawson topologies $\mathcal S_X$ and $\mathcal L_X$, which are determined by the order structure of the semilattice.
We prove that the weak$^\bullet$ topology $\mathcal W^\bullet$ on a Hausdorff semitopological semilattice $X$ is compact if and only if $X$ is chain-compact in the sense that each closed chain in $X$ is compact. This result implies that the Lawson topology $\mathcal L_X$ on a semilattice $X$ is compact if and only if $X$ is a continuous semilattice if and only if $X$ complete in the sense that each non-empty chain $C$ in $X$ has $\inf(C)$ and $\sup(C)$ in $X$.
For a chain-compact Hausdorff topological semilattice $X$ with topology $\mathcal T_X$ we prove the inclusions $\mathcal W_X\subset\mathcal L_X\subset\mathcal W^\bullet_X\subset\mathcal T_X$. For a compact topological semilattice $X$ we prove that $\mathcal T_X=\mathcal W^\bullet_X$ if and only if $\mathcal T_X=\mathcal L_X$ if and only if $\mathcal T_X=\mathcal L_X$.
△ Less
Submitted 30 October, 2021; v1 submitted 10 April, 2018;
originally announced April 2018.
-
On locally compact semitopological graph inverse semigroups
Authors:
Serhii Bardyla
Abstract:
In this paper we investigate locally compact semitopological graph inverse semigroups. Our main result is the following: if a directed graph $E$ is strongly connected and contains a finite amount of vertices then a locally compact semitopological graph inverse semigroup $G(E)$ is either compact or discrete. This result generalizes results of Gutik and Bardyla who proved the above dichotomy for loc…
▽ More
In this paper we investigate locally compact semitopological graph inverse semigroups. Our main result is the following: if a directed graph $E$ is strongly connected and contains a finite amount of vertices then a locally compact semitopological graph inverse semigroup $G(E)$ is either compact or discrete. This result generalizes results of Gutik and Bardyla who proved the above dichotomy for locally compact semitopological polycyclic monoids $\mathcal{P}_1$ and $\mathcal{P}_λ$, respectively.
△ Less
Submitted 15 June, 2018; v1 submitted 6 January, 2018;
originally announced January 2018.
-
On universal objects in the class of graph inverse semigroups
Authors:
Serhii Bardyla
Abstract:
In this paper we show that polycyclic monoids are universal objects in the class of graph inverse semigroups. In particular, we prove that a graph inverse semigroup $G(E)$ over a directed graph $E$ embeds into the polycyclic monoid $\mathcal{P}_λ$ where $λ=|G(E)|$. We show that each graph inverse semigroup $G(E)$ admits the coarsest inverse semigroup topology $τ$. Moreover, each injective homomorp…
▽ More
In this paper we show that polycyclic monoids are universal objects in the class of graph inverse semigroups. In particular, we prove that a graph inverse semigroup $G(E)$ over a directed graph $E$ embeds into the polycyclic monoid $\mathcal{P}_λ$ where $λ=|G(E)|$. We show that each graph inverse semigroup $G(E)$ admits the coarsest inverse semigroup topology $τ$. Moreover, each injective homomorphism from $(G(E),τ)$ to the $(\mathcal{P}_{|G(E)|},τ)$ is a topological embedding.
△ Less
Submitted 9 October, 2018; v1 submitted 30 August, 2017;
originally announced September 2017.
-
On locally compact shift-continuous topologies on the $α$-bicyclic monoid
Authors:
Serhii Bardyla
Abstract:
A topology $τ$ on a monoid $S$ is called {\em shift-continuous} if for every $a,b\in S$ the two-sided shift $S\to S$, $x\mapsto axb$, is continuous. For every ordinal $α\le ω$, we describe all shift-continuous locally compact Hausdorff topologies on the $α$-bicyclic monoid $\mathcal{B}_α$. More precisely, we prove that the lattice of shift-continuous locally compact Hausdorff topologies on…
▽ More
A topology $τ$ on a monoid $S$ is called {\em shift-continuous} if for every $a,b\in S$ the two-sided shift $S\to S$, $x\mapsto axb$, is continuous. For every ordinal $α\le ω$, we describe all shift-continuous locally compact Hausdorff topologies on the $α$-bicyclic monoid $\mathcal{B}_α$. More precisely, we prove that the lattice of shift-continuous locally compact Hausdorff topologies on $\mathcal{B}_α$ is anti-isomorphic to the segment of $[1,α]$ of ordinals, endowed with the natural well-order. Also we prove that for each ordinal $α$ the $α+1$-bicyclic monoid $\mathcal{B}_{α+1}$ is isomorphic to the Bruck extension of the $α$-bicyclic monoid $\mathcal{B}_α$.
△ Less
Submitted 31 August, 2017; v1 submitted 22 July, 2017;
originally announced July 2017.
-
On locally compact topological graph inverse semigroups
Authors:
Serhii Bardyla
Abstract:
In this paper we characterise graph inverse semigroups which admit only discrete locally compact semigroup topology. This characterization provides a complete answer on the question of Z. Mesyan, J. D. Mitchell, M. Morayne and Y. H. Péresse posed in their paper "Topological graph inverse semigroups".
In this paper we characterise graph inverse semigroups which admit only discrete locally compact semigroup topology. This characterization provides a complete answer on the question of Z. Mesyan, J. D. Mitchell, M. Morayne and Y. H. Péresse posed in their paper "Topological graph inverse semigroups".
△ Less
Submitted 9 September, 2017; v1 submitted 26 June, 2017;
originally announced June 2017.
-
Characterizing chain-compact and chain-finite topological semilattices
Authors:
Taras Banakh,
Serhii Bardyla
Abstract:
In the paper we present various characterizations of chain-compact and chain-finite topological semilattices. A topological semilattice $X$ is called chain-compact (resp. chain-finite) if each closed chain in $X$ is compact (finite). In particular, we prove that a (Hausdorff) $T_1$-topological semilattice $X$ is chain-finite (chain-compact) if and only if for any closed subsemilattice…
▽ More
In the paper we present various characterizations of chain-compact and chain-finite topological semilattices. A topological semilattice $X$ is called chain-compact (resp. chain-finite) if each closed chain in $X$ is compact (finite). In particular, we prove that a (Hausdorff) $T_1$-topological semilattice $X$ is chain-finite (chain-compact) if and only if for any closed subsemilattice $Z\subset X$ and any continuous homomorphism $h:X\to Y$ to a (Hausdorff) $T_1$-topological semilattice $Y$ the image $h(X)$ is closed in $Y$.
△ Less
Submitted 30 October, 2021; v1 submitted 9 May, 2017;
originally announced May 2017.
-
Completeness and absolute $H$-closedness of topological semilattices
Authors:
Taras Banakh,
Serhii Bardyla
Abstract:
We find (completeness type) conditions on topological semilattices $X,Y$ guaranteeing that each continuous homomorphism $h:X\to Y$ has closed image $h(X)$ in $Y$.
We find (completeness type) conditions on topological semilattices $X,Y$ guaranteeing that each continuous homomorphism $h:X\to Y$ has closed image $h(X)$ in $Y$.
△ Less
Submitted 26 August, 2017; v1 submitted 9 February, 2017;
originally announced February 2017.
-
Classifying locally compact semitopological polycyclic monoids
Authors:
Serhii Bardyla
Abstract:
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$…
▽ More
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\}$.
△ Less
Submitted 19 November, 2016; v1 submitted 9 September, 2016;
originally announced September 2016.
-
On semitopological $α$-bicyclic monoid
Authors:
Serhii Bardyla
Abstract:
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 t…
▽ More
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_α}$.
△ Less
Submitted 29 October, 2016; v1 submitted 30 May, 2016;
originally announced May 2016.
-
On a complete topological inverse polycyclic monoid
Authors:
Serhii Bardyla,
Oleg Gutik
Abstract:
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.
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.
△ Less
Submitted 26 March, 2016;
originally announced March 2016.
-
On a semitopological polycyclic monoid
Authors:
Serhii Bardyla,
Oleg Gutik
Abstract:
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 combinato…
▽ More
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.
△ Less
Submitted 6 January, 2016;
originally announced January 2016.
-
$H$-closed quasitopological groups
Authors:
Serhiy Bardyla,
Oleg Gutik,
Alex Ravsky
Abstract:
An $H$-closed quasitopological group is a Hausdorff quasitopological group which is contained in each Hausdorff quasitopological group as a closed subspace. We obtained a sufficient condition for a quasitopological group to be $H$-closed, which allowed us to solve a problem by Arhangel'skii and Choban and to show that a topological group $G$ is $H$-closed in the class of quasitopological groups if…
▽ More
An $H$-closed quasitopological group is a Hausdorff quasitopological group which is contained in each Hausdorff quasitopological group as a closed subspace. We obtained a sufficient condition for a quasitopological group to be $H$-closed, which allowed us to solve a problem by Arhangel'skii and Choban and to show that a topological group $G$ is $H$-closed in the class of quasitopological groups if and only if $G$ is Ra\vıkov-complete. Also we present examples of non-compact quasitopological groups whose topological spaces are $H$-closed.
△ Less
Submitted 22 December, 2016; v1 submitted 27 June, 2015;
originally announced June 2015.
-
On $\mathscr{H}$-complete topological semilattices
Authors:
S. Bardyla,
O. Gutik
Abstract:
In the paper we describe the structure of $\mathscr{AH}$-completions and $\mathscr{H}$-completions of the discrete semilattices $(\mathbb{N},\min)$ and $(\mathbb{N},\max)$. We give an example of an $\mathscr{H}$-complete topological semilattice which is not $\mathscr{AH}$-complete. Also we construct an $\mathscr{H}$-complete topological semilattice of cardinality $λ$ which has $2^λ$ many open-and-…
▽ More
In the paper we describe the structure of $\mathscr{AH}$-completions and $\mathscr{H}$-completions of the discrete semilattices $(\mathbb{N},\min)$ and $(\mathbb{N},\max)$. We give an example of an $\mathscr{H}$-complete topological semilattice which is not $\mathscr{AH}$-complete. Also we construct an $\mathscr{H}$-complete topological semilattice of cardinality $λ$ which has $2^λ$ many open-and-closed continuous homomorphic images which are not $\mathscr{H}$-complete topological semilattices. The constructed examples give a negative answer to Question 17 from the paper J. W. Stepp, {\it Algebraic maximal semilattices}. Pacific J. Math. {\bf 58}:1 (1975), 243-248.
△ Less
Submitted 7 January, 2013;
originally announced January 2013.
