Source author record

Olena Hryniv

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

7works
4topics
3close collaborators

Published work

7 publications

preprint2022arXiv

The binary quasiorder on semigroups

Given two elements x,yx,y of a semigroup XX we write x≲yx\lesssim y if for every homomorphism χ:X→{0,1}χ:X\to\{0,1\} we have χ(x)≤χ(y)χ(x)\leχ(y). The quasiorder ≲\lesssim is called the binarybinary quasiorderquasiorder on XX. It induces the equivalence relation ⇕\Updownarrow that coincides with the least semilattice congruence on XX. In the paper we discuss some known and new properties of the binary quasiorder on semigroups.

preprint2019arXiv

Some Baire category properties of topological groups

We present several known and new results on the Baire category properties in topological groups. In particular, we prove that a Baire topological group XX is metrizable if and only if XX is point-cosmic if and only if XX is a σσ-space. A topological group XX is Choquet if and only if its Raikov completion Xˉ\bar X is Choquet and XX is GδG_δ-dense in Xˉ\bar X. A topological group XX is complete-metrizable if and only if XX is a point-cosmic Choquet space if and only if XX is a Choquet σσ-space. Finally, we pose several open problem, in particular, if each Choquet topological group is strong Choquet.

preprint2018arXiv

A parallel metrization theorem

Two non-empty sets A,BA,B of a metric space (X,d)(X,d) are called parallel if d(a,B)=d(A,B)=d(A,b)d(a,B)=d(A,B)=d(A,b) for any points a∈Aa\in A and b∈Bb\in B. Answering a question posed on Mathoverflow, we prove that for a cover C\mathcal C of a metrizable space XX the following conditions are equivalent: (i) the topology of XX is generated by a metric dd such that any two sets A,B∈CA,B\in\mathcal C are parallel; (ii) the cover C\mathcal C is disjoint, lower semicontinuous and upper semicontinuous.

preprint2011arXiv

Characterizing compact Clifford semigroups that embed into convolution and functor-semigroups

We study algebraic and topological properties of the convolution semigroups of probability measures on a topological groups and show that a compact Clifford topological semigroup SS embeds into the convolution semigroup P(G)P(G) over some topological group GG if and only if SS embeds into the semigroup exp⁡(G)\exp(G) of compact subsets of GG if and only if SS is an inverse semigroup and has zero-dimensional maximal semilattice. We also show that such a Clifford semigroup SS embeds into the functor-semigroup F(G)F(G) over a suitable compact topological group GG for each weakly normal monadic functor FF in the category of compacta such that F(G)F(G) contains a GG-invariant element (which is an analogue of the Haar measure on GG).

preprint2010arXiv

Embedding topological semigroups into the hyperspaces over topological groups

We study algebraic and topological properties of subsemigroups of the hyperspace exp(G) of non-empty compact subsets of a topological group G endowed with the Vietoris topology and the natural semigroup operation. On this base we prove that a compact Clifford topological semigroup S is topologically isomorphic to a subsemigroup of exp(G) for a suitable topological group G if and only if S is a topological inverse semigroup with zero-dimensional idempotent semilattice.

preprint2010arXiv

Pontryagin duality between compact and discrete abelian inverse monoids

For a topological monoid S the dual inverse monoid is the topological monoid of all identity preserving homomorphisms from S to the circle with attached zero. A topological monoid S is defined to be reflexive if the canonical homomorphism from S to its second dual inverse monoid is a topological isomorphism. We prove that a (compact or discrete) topological inverse monoid S is reflexive (if and) only if S is abelian and the idempotent semilattice of S is zero-dimensional. For a discrete (resp. compact) topological monoid its dual inverse monoid is compact (resp. discrete). These results unify the Pontryagin-van Kampen Duality Theorem for abelian groups and the Hofmann-Mislove-Stralka Duality Theorem for zero-dimensional topological semilattices.

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.