Searcharxiv⌕ Search

arXiv subjects

Oleg Gutik

Publications and source records attributed to Oleg Gutik.

89 records · Page 5Linked to original sources
arXiv2013

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.

math.GR↗
arXiv2012

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

math.GR↗
arXiv2011

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.

math.GR↗
arXiv2011

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

math.GR↗
arXiv2011

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.

math.GR↗
arXiv2011

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.

math.GN↗
arXiv2011

Metrizability of Clifford topological semigroups

We prove that a topological Clifford semigroup $S$ is metrizable if and only if $S$ is an $M$-space and the set $E=\{e\in S:ee=e\}$ of idempotents of $S$ is a metrizable $G_δ$-set in $S$. The same metrization criterion holds also for any countably compact Clifford topological semigroup $S$.

math.GN↗
arXiv2010

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

math.GR↗
arXiv2010

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

math.GN↗
arXiv2010

Brandt extensions and primitive topological inverse semigroups

In the paper we study (countably) compact and (absolutely) $H$-closed primitive topological inverse semigroups. We describe the structure of compact and countably compact primitive topological inverse semigroups and show that any countably compact primitive topological inverse semigroup embeds into a compact primitive topological inverse semigroup.

math.GR↗
arXiv2009

Topological semigroups of matrix units and countably compact Brandt $λ^0$-extensions of topological semigroups

We show that a topological semigroup of finite partial bijections $\mathscr{I}_λ^n$ of an infinite set with a compact subsemigroup of idempotents is absolutely $H$-closed and any countably compact topological semigroup does not contain $\mathscr{I}_λ^n$ as a subsemigroup. We give sufficient conditions onto a topological semigroup $\mathscr{I}_λ^1$ to be non-$H$-closed. Also we describe the structure of countably compact Brandt $λ^0$-extensions of topological monoids and study the category of countably compact Brandt $λ^0$-extensions of topological monoids with zero.

math.GR↗
arXiv2009

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.

math.GR↗
arXiv2009

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.

math.GR↗
arXiv2009

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.

math.GN↗
arXiv2008

Semigroup Closures of Finite Rank Symmetric Inverse Semigroups

We introduce the notion of semigroup with a tight ideal series and investigate their closures in semitopological semigroups, particularly inverse semigroups with continuous inversion. As a corollary we show that the symmetric inverse semigroup of finite transformations $\mathscr{I}_λ^n$ of the rank $\leqslant n$ is algebraically closed in the class of (semi)topological inverse semigroups with continuous inversion. We also derive related results about the nonexistence of (partial) compactifications of classes of semigroups that we consider.

math.GR↗
arXiv2008

On linearly ordered $H$-closed topological semilattices

We give a criterium when a linearly ordered topological semilattice is $H$-closed. We also prove that any linearly ordered $H$-closed topological semilattice is absolutely $H$-closed and we show that every linearly ordered semilattice is a dense subsemilattice of an $H$-closed topological semilattice.

math.GR↗