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

Oleg Gutik

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

ResearcherUnclaimed source record
math.GRmath.GN

Catalog footprint

What is connected

32works
2topics
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

32 published item(s)

preprint2026arXiv

On non-topologizable semigroups

We find anti-isomorphic submonoids $\mathscr{C}_{+}(a,b)$ and $\mathscr{C}_{-}(a,b)$ of the bicyclic monoid $\mathscr{C}(a,b)$ with the following properties: every Hausdorff left-continuous (right-continuous) topology on $\mathscr{C}_{+}(a,b)$ ($\mathscr{C}_{-}(a,b)$) is discrete and there exists a compact Hausdorff topological monoid $S$ which contains $\mathscr{C}_{+}(a,b)$ ($\mathscr{C}_{-}(a,b)$) as a submonoid. Also, we construct a non-discrete right-continuous (left-continuous) topology $τ_p^+$ ($τ_p^-$) on the semigroup $\mathscr{C}_{+}(a,b)$ ($\mathscr{C}_{-}(a,b)$) which is not left-continuous (right-continuous).

0 citations0 reviewsNo code linkedOpen access
preprint2026arXiv

On topologization of subsemigroups of the bicyclic monoid

We show that if a subsemigroup $S$ of the bicyclic monoid ${\mathscr{C}}(p,q)$ contains infinitely many idempotents then $S$ admits only the discrete Hausdorff shift-continuous topology. Also we proof that every right-continuous (left-continuous\emph) Hausdorff Baire topology on the semigroup $\mathscr{C}_+(a,b)$ $(\mathscr{C}_-(a,b))$ is discrete and the same statement holds for the bicyclic monoid.

0 citations0 reviewsNo code linkedOpen access
preprint2023arXiv

On endomorphisms of the bicyclic semigroup and the extended bicyclic semigroup

It is proved that the semigroups $\mathrm{\mathbf{End}}(\boldsymbol{B}_ω)$ and $\mathrm{\mathbf{End}}(\boldsymbol{B}_{\mathbb{Z}})$ of the endomorphisms of the bicyclic semigroup $\boldsymbol{B}_ω$ and the endomorphisms of the extended bicyclic semigroup $\boldsymbol{B}_{\mathbb{Z}}$ are isomorphic to the semidirect products $(ω,+)\rtimes_φ(ω,*)$ and $\mathbb{Z}(+)\rtimes_φ(ω,*)$, respectively.

0 citations0 reviewsNo code linkedOpen access
preprint2023arXiv

On the semigroup $\boldsymbol{B}_ω^{\mathscr{F}}$ which is generated by the family $\mathscr{F}$ of atomic subsets of $ω$

We study the semigroup $\boldsymbol{B}_ω^{\mathscr{F}}$, which is introduced in [O. Gutik and M. Mykhalenych, \emph{On some generalization of the bicyclic monoid}, Visnyk Lviv. Univ. Ser. Mech.-Mat. \textbf{90} (2020), 5--19], in the case when the family $\mathscr{F}$ of subsets of cardinality $\leqslant 1$ in $ω$. We show that $\boldsymbol{B}_ω^{\mathscr{F}}$ is isomorphic to the subsemigroup $\mathscr{B}_ω^{\Rsh}(\boldsymbol{F}_{\min})$ of the Brandt $ω$-extension of the semilattice $\boldsymbol{F}_{\min}$ and describe all shift-continuous feebly compact $T_1$-topologies on the semigroup $\mathscr{B}_ω^{\Rsh}(\boldsymbol{F}_{\min})$. In particulary we prove that every shift-continuous feebly compact $T_1$-topology $τ$ on $\mathscr{B}_ω^{\Rsh}(\boldsymbol{F}_{\min})$ is compact and moreover in this case the space $(\mathscr{B}_ω^{\Rsh}(\boldsymbol{F}_{\min}),τ)$ is homeomorphic to the one-point Alexandroff compactification of the discrete countable space $\mathfrak{D}(ω)$. We study the closure of $\boldsymbol{B}_ω^{\mathscr{F}}$ in a semitopological semigroup. In particularly we show that $\boldsymbol{B}_ω^{\mathscr{F}}$ is algebraically complete in the class of Hausdorff semitopological inverse semigroups with continuous inversion, and a Hausdorff topological inverse semigroup $\boldsymbol{B}_ω^{\mathscr{F}}$ is closed in any Hausdorff topological semigroup if and only if the band $E(\boldsymbol{B}_ω^{\mathscr{F}})$ is compact.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On a semitopological extended bicyclic semigroup with adjoined zero

In the paper it is shown that every Hausdorff locally compact semigroup topology on the extended bicyclic semigroup with adjoined zero $\mathscr{C}_{\mathbb{Z}}^{\mathbf{0}}$ is discrete, but on $\mathscr{C}_{\mathbb{Z}}^{\mathbf{0}}$ there exist $\mathfrak{c}$ many different Hausdorff locally compact shift-continuous topologies. Also, it is constructed on $\mathscr{C}_{\mathbb{Z}}^{\mathbf{0}}$ the unique minimal shift continuous topology and the unique minimal inverse semigroup topology.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On inverse submonoids of the monoid of almost monotone injective co-finite partial selfmaps of positive integers

In this paper we study submonoids of the monoid $\mathscr{I}_\infty^{\,\Rsh\!\!\!\nearrow}(\mathbb{N})$ of almost monotone injective co-finite partial selfmaps of positive integers $\mathbb{N}$. Let $\mathscr{I}_\infty^{\!\nearrow}(\mathbb{N})$ be a submonoid of $\mathscr{I}_\infty^{\,\Rsh\!\!\!\nearrow}(\mathbb{N})$ which consists of cofinite monotone partial bijections of $\mathbb{N}$ and $\mathscr{C}_{\mathbb{N}}$ be a subsemigroup $\mathscr{I}_\infty^{\,\Rsh\!\!\!\nearrow}(\mathbb{N})$ which is generated by the partial shift $n\mapsto n+1$ and its inverse partial map. We show that every automorphism of a full inverse subsemigroup of $\mathscr{I}_\infty^{\!\nearrow}(\mathbb{N})$ which contains the semigroup $\mathscr{C}_{\mathbb{N}}$ is the identity map. We construct a submonoid $\mathbf{I}\mathbb{N}_\infty^{[\underline{1}]}$ of $\mathscr{I}_\infty^{\,\Rsh\!\!\!\nearrow}(\mathbb{N})$ with the following property: if $S$ is an inverse submonoid of $\mathscr{I}_\infty^{\,\Rsh\!\!\!\nearrow}(\mathbb{N})$ such that $S$ contains $\mathbf{I}\mathbb{N}_\infty^{[\underline{1}]}$ as a submonoid, then every non-identity congruence $\mathfrak{C}$ on $S$ is a group congruence. We show that if $S$ is an inverse submonoid of $\mathscr{I}_\infty^{\,\Rsh\!\!\!\nearrow}(\mathbb{N})$ such that $S$ contains $\mathscr{C}_{\mathbb{N}}$ as a submonoid then $S$ is simple and the quotient semigroup $S/\mathfrak{C}_{\mathbf{mg}}$, where $\mathfrak{C}_{\mathbf{mg}}$ is minimum group congruence on $S$, is isomorphic to the additive group of integers. Also, we study topologizations of inverse submonoids of $\mathscr{I}_\infty^{\,\Rsh\!\!\!\nearrow}(\mathbb{N})$ which contain $\mathscr{C}_{\mathbb{N}}$ and embeddings of such semigroups into compact-like topological semigroups.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The monoid of monotone injective partial selfmaps of the poset $(\mathbb{N}^{3},\leqslant)$ with cofinite domains and images

Let $n$ be a positive integer $\geqslant 2$ and $\mathbb{N}^n_{\leqslant}$ be the $n$-th power of positive integers with the product order of the usual order on $\mathbb{N}$. In the paper we study the semigroup of injective partial monotone selfmaps of $\mathbb{N}^n_{\leqslant}$ with cofinite domains and images. We show that the group of units $H(\mathbb{I})$ of the semigroup $\mathscr{P\!O}\!_{\infty}(\mathbb{N}^n_{\leqslant})$ is isomorphic to the group $\mathscr{S}_n$ of permutations of an $n$-element set, and describe the subsemigroup of idempotents of $\mathscr{P\!O}\!_{\infty}(\mathbb{N}^n_{\leqslant})$. Also in the case $n=3$ we describe the property of elements of the semigroup $\mathscr{P\!O}\!_{\infty}(\mathbb{N}^3_{\leqslant})$ as partial bijections of the poset $\mathbb{N}^3_{\leqslant}$ and Green's relations on the semigroup $\mathscr{P\!O}\!_{\infty}(\mathbb{N}^3_{\leqslant})$. In particular we show that $\mathscr{D}=\mathscr{J}$ in $\mathscr{P\!O}\!_{\infty}(\mathbb{N}^3_{\leqslant})$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

$H$-closed quasitopological groups

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.

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 the dichotomy of a locally compact semitopological bicyclic monoid with adjoined zero

We prove that a Hausdorff locally compact semitopological bicyclic semigroup with adjoined zero $\mathscr{C}^0$ is either compact or discrete. Also we show that the similar statement holds for a locally compact semitopological bicyclic semigroup with an adjoined compact ideal and construct an example which witnesses that a counterpart of the statements does not hold when $\mathscr{C}^0$ is a Čech-complete metrizable topological inverse semigroup.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

On the group of automorphisms of the Brandt $λ^0$-extension of a monoid with zero

The group of automorphisms of the Brandt $λ^0$-extension $B^0_λ(S)$ of an arbitrary monoid $S$ with zero is described. In particular we show that the group of automorphisms $\mathbf{Aut}(B_λ^0(S))$ of $B_λ^0(S)$ is isomorphic to a homomorphic image of the group defines on the Cartesian product $\mathscr{S}_λ\times \mathbf{Aut}(S)\times H_1^λ$ with the following binary operation: \begin{equation*} [φ,h,u]\cdot[φ^{\prime},h^{\prime},u^{\prime}]= [φφ^{\prime},hh^{\prime},φu^{\prime}\cdot uh^{\prime}], \end{equation*} where $\mathscr{S}_λ$ is the group of all bijections of the cardinal $λ$, $\mathbf{Aut}(S)$ is the group of all automorphisms of the semigroup $S$ and $H_1^λ$ is the direct $λ$-power of the group of units $H_1$ of the monoid $S$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Congruences on the monoid of monotone injective partial selfmaps of $L_n\times_{\operatorname{lex}}\mathbb{Z}$ with co-finite domains and images

We study congruences of the semigroup $\mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}})$ of monotone injective partial selfmaps of the set of $L_n\times_{\operatorname{lex}}\mathbb{Z}$ having co-finite domain and image, where $L_n\times_{\operatorname{lex}}\mathbb{Z}$ is the lexicographic product of $n$-elements chain and the set of integers with the usual linear order. The structure of the sublattice of congruences on $\mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}})$ which contain in the least group congruence is described.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

On feebly compact inverse primitive (semi)topological semigroups

We study the structure of inverse primitive feebly compact semitopological and topological semigroups. We find conditions when the maximal subgroup of an inverse primitive feebly compact semitopological semigroup $S$ is a closed subset of $S$ and describe the topological structure of such semiregular semitopological semigroups. Later we describe the structure of feebly compact topological Brandt $λ^0$-extensions of topological semigroups and semiregular (quasi-regular) primitive inverse topological semigroups. In particular we show that inversion in a quasi-regular primitive inverse feebly compact topological semigroup is continuous. Also an analogue of Comfort--Ross Theorem is proved for such semigroups: a Tychonoff product of an arbitrary family of primitive inverse semiregular feebly compact semitopological semigroups with closed maximal subgroups is feebly compact. We describe the structure of the Stone-Čech compactification of a Hausdorff primitive inverse countably compact semitopological semigroup $S$ such that every maximal subgroup of $S$ is a topological group.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

On monoids of injective partial cofinite selfmaps

We study the semigroup $\mathscr{I}^{\mathrm{cf}}_λ$ of injective partial cofinite selfmaps of an infinite cardinal $λ$. We show that $\mathscr{I}^{\mathrm{cf}}_λ$ is a bisimple inverse semigroup and each chain of idempotents in $\mathscr{I}^{\mathrm{cf}}_λ$ is contained in a bicyclic subsemigroup of $\mathscr{I}^{\mathrm{cf}}_λ$, we describe the Green relations on $\mathscr{I}^{\mathrm{cf}}_λ$ and we prove that every non-trivial congruence on $\mathscr{I}^{\mathrm{cf}}_λ$ is a group congruence. Also, we describe the structure of the quotient semigroup $\mathscr{I}^{\mathrm{cf}}_λ/σ$, where $σ$ is the least group congruence on $\mathscr{I}^{\mathrm{cf}}_λ$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Pseudocompactness, products and topological Brandt $λ^0$-extensions of semitopological monoids

In the paper we study the preservation of pseudocompactness (resp., countable compactness, sequential compactness, $ω$-boundedness, totally countable compactness, countable pracompactness, sequential pseudocompactness) by Tychonoff products of pseudocompact (and countably compact) to\-pological Brandt $λ_i^0$-extensions of semitopological monoids with zero. In particular we show that if $\big\{ \big(B^0_{λ_i}(S_i),τ^0_{B(S_i)}\big) \colon i\in\mathscr{I}\big\}$ is a family of Hausdorff pseudocompact to\-pological Brandt $λ_i^0$-extensions of pseudocompact semitopological monoids with zero such that the Tychonoff product $\prod\left\{ S_i \colon i\in\mathscr{I}\right\}$ is a pseudocompact space then the direct product $\prod\big\{ \big(B^0_{λ_i}(S_i),τ^0_{B(S_i)}\big) \colon i\in\mathscr{I}\big\}$ endowed with the Tychonoff topology is a Hausdorff pseudocompact semitopological semigroup.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On closures in semitopological inverse semigroups with continuous inversion

We study the closures of subgroups, semilattices and different kinds of semigroup extensions in semitopological inverse semigroups with continuous inversion. In particularly we show that a topological group $G$ is $H$-closed in the class of semitopological inverse semigroups with continuous inversion if and only if $G$ is compact, a Hausdorff linearly ordered topological semilattice $E$ is $H$-closed in the class of semitopological semilattices if and only if $E$ is $H$-closed in the class of topological semilattices, and a topological Brandt $λ^0$-extension of $S$ is (absolutely) $H$-closed in the class of semitopological inverse semigroups with continuous inversion if and only if so is $S$. Also, we construct an example of an $H$-closed non-absolutely $H$-closed semitopological semilattice in the class of semitopological semilattices.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On monoids of monotone injective partial selfmaps of $L_n\times_{\operatorname{lex}}\mathbb{Z}$ with co-finite domains and images

We study the semigroup $\mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}})$ of monotone injective partial selfmaps of the set of $L_n\times_{\operatorname{lex}}\mathbb{Z}$ having co-finite domain and image, where $L_n\times_{\operatorname{lex}}\mathbb{Z}$ is the lexicographic product of $n$-elements chain and the set of integers with the usual order. We show that $\mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}})$ is bisimple and establish its projective congruences. We prove that $\mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}})$ is finitely generated, and for $n=1$ every automorphism of $\mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}})$ is inner and show that in the case $n\geqslant 2$ the semigroup $\mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}})$ has non-inner automorphisms. Also we show that every Baire topology $τ$ on $\mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}})$ such that $(\mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}}),τ)$ is a Hausdorff semitopological semigroup is discrete, construct a non-discrete Hausdorff semigroup inverse topology on $\mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}})$, and prove that the discrete semigroup $\mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}})$ cannot be embedded into some classes of compact-like topological semigroups and that its remainder under the closure in a topological semigroup $S$ is an ideal in $S$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On a topological simple Warne extension of a semigroup

In the paper we introduce topological $\mathbb{Z}$-Bruck-Reilly and topological $\mathbb{Z}$-Bruck extensions of (semi)topological monoids which are generalizations of topological Bruck-Reilly and topological Bruck extensions of (semi)topological monoids and study their topologizations. The sufficient conditions under which the topological $\mathbb{Z}$-Bruck-Reilly ($\mathbb{Z}$-Bruck) extension admits only the direct sum topology and conditions under which the direct sum topology can be coarsened are given. Also, topological characterizations of some classes of $I$-bisimple (semi)topological semigroups are given.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Pseudocompact primitive topological inverse semigroups

In the paper we study pseudocompact primitive topological inverse semigroups. We describe the structure of pseudocompact primitive topological inverse semigroups and show that a Tychonoff product of a family of pseudocompact primitive topological inverse semigroups is a pseudocompact topological space. Also we prove that the Stone-Čech compactification of a pseudocompact primitive topological inverse semigroup is a compact primitive topological inverse semigroup.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On monoids of monotone injective partial self-maps of integers with cofinite domains and images

We study the semigroup $\mathscr{I}^{\nearrow}_{\infty}(\mathbb{Z})$ of monotone injective partial selfmaps of the set of integers having cofinite domain and image. We show that $\mathscr{I}^{\nearrow}_{\infty}(\mathbb{Z})$ is bisimple and all of its non-trivial semigroup homomorphisms are either isomorphisms or group homomorphisms. We also prove that every Baire topology $τ$ on $\mathscr{I}^{\nearrow}_{\infty}(\mathbb{Z})$ such that $(\mathscr{I}^{\nearrow}_{\infty}(\mathbb{Z}),τ)$ is a Hausdorff semitopological semigroup is discrete and we construct a non-discrete Hausdorff inverse semigroup topology $τ_W$ on $\mathscr{I}^{\nearrow}_{\infty}(\mathbb{Z})$. We show that the discrete semigroup $\mathscr{I}^{\nearrow}_{\infty}(\mathbb{Z})$ cannot be embedded into some classes of compact-like topological semigroups and that its remainder under the closure in a topological semigroup $S$ is an ideal in $S$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Congruences on bicyclic extensions of a linearly ordered group

In the paper we study inverse semigroups $\mathscr{B}(G)$, $\mathscr{B}^+(G)$, $\bar{\mathscr{B}}(G)$ and $\bar{\mathscr{B}}\,^+(G)$ which are generated by partial monotone injective translations of a positive cone of a linearly ordered group $G$. We describe Green's relations on the semigroups $\mathscr{B}(G)$, $\mathscr{B}^+(G)$, $\bar{\mathscr{B}}(G)$ and $\bar{\mathscr{B}}\,^+(G)$, their bands and show that they are simple, and moreover the semigroups $\mathscr{B}(G)$ and $\mathscr{B}^+(G)$ are bisimple. We show that for a commutative linearly ordered group $G$ all non-trivial congruences on the semigroup $\mathscr{B}(G)$ (and $\mathscr{B}^+(G)$) are group congruences if and only if the group $G$ is archimedean. Also we describe the structure of group congruences on the semigroups $\mathscr{B}(G)$, $\mathscr{B}^+(G)$, $\bar{\mathscr{B}}(G)$ and $\bar{\mathscr{B}}\,^+(G)$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On monoids of injective partial selfmaps almost everywhere the identity

In this paper we study the semigroup $\mathscr{I}^{\infty}_λ$ of injective partial selfmaps almost everywhere the identity of a set of infinite cardinality $λ$. We describe the Green relations on $\mathscr{I}^{\infty}_λ$, all (two-sided) ideals and all congruences of the semigroup $\mathscr{I}^{\infty}_λ$. We prove that every Hausdorff hereditary Baire topology $τ$ on $\mathscr{I}^{\infty}_ω$ such that $(\mathscr{I}^{\infty}_ω,τ)$ is a semitopological semigroup is discrete and describe the closure of the discrete semigroup $\mathscr{I}^{\infty}_λ$ in a topological semigroup. Also we show that for an infinite cardinal $λ$ the discrete semigroup $\mathscr{I}^{\infty}_λ$ does not embed into a compact topological semigroup and construct two non-discrete Hausdorff topologies turning $\mathscr{I}^{\infty}_λ$ into a topological inverse semigroup.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On the closure of the extended bicyclic semigroup

In the paper we study the semigroup $\mathscr{C}_{\mathbb{Z}}$ which is a generalization of the bicyclic semigroup. We describe main algebraic properties of the semigroup $\mathscr{C}_{\mathbb{Z}}$ and prove that every non-trivial congruence $\mathfrak{C}$ on the semigroup $\mathscr{C}_{\mathbb{Z}}$ is a group congruence, and moreover the quotient semigroup $\mathscr{C}_{\mathbb{Z}}/\mathfrak{C}$ is isomorphic to a cyclic group. Also we show that the semigroup $\mathscr{C}_{\mathbb{Z}}$ as a Hausdorff semitopological semigroup admits only the discrete topology. Next we study the closure $\operatorname{cl}_T(\mathscr{C}_{\mathbb{Z}})$ of the semigroup $\mathscr{C}_{\mathbb{Z}}$ in a topological semigroup $T$. We show that the non-empty remainder of $\mathscr{C}_{\mathbb{Z}}$ in a topological inverse semigroup $T$ consists of a group of units $H(1_T)$ of $T$ and a two-sided ideal $I$ of $T$ in the case when $H(1_T)\neq\varnothing$ and $I\neq\varnothing$. In the case when $T$ is a locally compact topological inverse semigroup and $I\neq\varnothing$ we prove that an ideal $I$ is topologically isomorphic to the discrete additive group of integers and describe the topology on the subsemigroup $\mathscr{C}_{\mathbb{Z}}\cup I$. Also we show that if the group of units $H(1_T)$ of the semigroup $T$ is non-empty, then $H(1_T)$ is either singleton or $H(1_T)$ is topologically isomorphic to the discrete additive group of integers.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Topological monoids of monotone injective partial selfmaps of $\mathbb{N}$ with cofinite domain and image

In this paper we study the semigroup $\mathscr{I}_{\infty}^{\nearrow}(\mathbb{N})$ of partial cofinal monotone bijective transformations of the set of positive integers $\mathbb{N}$. We show that the semigroup $\mathscr{I}_{\infty}^{\nearrow}(\mathbb{N})$ has algebraic properties similar to the bicyclic semigroup: it is bisimple and all of its non-trivial group homomorphisms are either isomorphisms or group homomorphisms. We also prove that every locally compact topology $τ$ on $\mathscr{I}_{\infty}^{\nearrow}(\mathbb{N})$ such that $(\mathscr{I}_{\infty}^{\nearrow}(\mathbb{N}),τ)$ is a topological inverse semigroup, is discrete. Finally, we describe the closure of $(\mathscr{I}_{\infty}^{\nearrow}(\mathbb{N}),τ)$ in a topological semigroup.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Embedding the bicyclic semigroup into countably compact topological semigroups

We study algebraic and topological properties of topological semigroups containing a copy of the bicyclic semigroup C(p,q). We prove that each topological semigroup S with pseudocompact square contains no dense copy of C(p,q). On the other hand, we construct a (consistent) example of a pseudocompact (countably compact) Tychonov semigroup containing a copy of C(p,q).

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Topological monoids of almost monotone injective co-finite partial selfmaps of positive integers

In this paper we study the semigroup $I_\infty^\dnearrow(N)$ of partial co-finite almost monotone bijective transformations of the set of positive integers $\mathbb{N}$. We show that the semigroup $I_\infty^\dnearrow(N)$ has algebraic properties similar to the bicyclic semigroup: it is bisimple and all of its non-trivial group homomorphisms are either isomorphisms or group homomorphisms. Also we prove that every Baire topology $τ$ on $I_\infty^\dnearrow(N)$ such that $(I_\infty^\dnearrow(N),τ)$ is a semitopological semigroup is discrete, describe the closure of $(I_\infty^\dnearrow(N),τ)$ in a topological semigroup and construct non-discrete Hausdorff semigroup topologies on $I_\infty^\dnearrow(N)$.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

On the Brandt $λ^0$-extensions of monoids with zero

We study algebraic properties of the Brandt $λ^0$-extensions of monoids with zero and non-trivial homomorphisms between the Brandt $λ^0$-extensions of monoids with zero. We introduce finite, compact topological Brandt $λ^0$-extensions of topological semigroups and countably compact topological Brandt $λ^0$-extensions of topological inverse semigroups in the class of topological inverse semigroups and establish the structure of such extensions and non-trivial continuous homomorphisms between such topological Brandt $λ^0$-extensions of topological monoids with zero. We also describe a category whose objects are ingredients in the constructions of finite (compact, countably compact) topological Brandt $λ^0$-extensions of topological monoids with zeros.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Symmetric inverse topological semigroups of finite rank $\leqslant n$

We study topological properties of the symmetric inverse topological semigroup of finite transformations $\mathscr{I}_λ^n$ of the rank $\leqslant n$. We show that the topological inverse semigroup $\mathscr{I}_λ^n$ is algebraically $h$-closed in the class of topological inverse semigroups. Also we prove that a topological semigroup $S$ with countably compact square $S\times S$ does not contain the semigroup $\mathscr{I}_λ^n$ for infinite cardinal $λ$ and show that the Bohr compactification of an infinite topological symmetric inverse semigroup of finite transformations $\mathscr{I}_λ^n$ of the rank $\leqslant n$ is the trivial semigroup.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

The Rees-Suschkewitsch Theorem for simple topological semigroups

We detect topological semigroups that are topological paragroups, i.e., are isomorphic to a Rees product of a topological group over topological spaces with a continuous sandwich function. We prove that a simple topological semigroup $S$ is a topological paragroup if one of the following conditions is satisfied: (1) $S$ is completely simple and the maximal subgroups of $S$ are topological groups, (2) $S$ contains an idempotent and the square $S\times S$ is countably compact or pseudocompact, (3) $S$ is sequentially compact or each power of $S$ is countably compact. The last item generalizes an old Wallace's result saying that each simple compact topological semigroup is a topological paragroup.

0 citations0 reviewsNo code linkedOpen access