BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Alex Ravsky appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this paper various Steiner systems $S(2,k,v)$ for $k = 6$ are collected and enumerated for specific constructions. In particular, two earlier unknown types of $1$-rotational designs are found for the groups $SL(2,5)$ and $((\mathbb Z_3 \times \mathbb Z_3) \rtimes \mathbb Z_3) \times \mathbb Z_5$. Also new Steiner systems $S(2,6,96), S(2,6,106), S(2,6,111)$ are listed.
We consider a recent The Vee's fair soup division problem, provide its partial solution, and pose a related open problem.
Under Martin's Axiom we construct a Boolean countably compact topological group whose square is not countably pracompact.
We obtain many results and solve some problems about feebly compact paratopological groups. We obtain necessary and sufficient conditions for such a group to be topological. One of them is the quasiregularity. We prove that each $2$-pseudocompact paratopological group is feebly compact and that each Hausdorff $σ$-compact feebly compact paratopological group is a compact topological group. Our particular attention concerns periodic and topologically periodic groups. We construct examples of various compact-like paratopological groups which are not topological groups, among them a $T_0$ sequentially compact group, a $T_1$ $2$-pseudocompact group, a functionally Hausdorff countably compact group (under the axiomatic assumption that there is an infinite torsion-free abelian countably compact topological group without non-trivial convergent sequences), and a functionally Hausdorff second countable group sequentially pracompact group. We investigate cone topologies of paratopological groups which provide a general tool to construct pathological examples, especially examples of compact-like paratopological groups with discontinuous inversion. We find a simple interplay between the algebraic properties of a basic cone subsemigroup $S$ of a group $G$ and compact-like properties of two basic semigroup topologies generated by $S$ on the group $G$. We prove that the product of a family of feebly compact paratopological groups is feebly compact, and that a paratopological group $G$ is feebly compact provided it has a feebly compact normal subgroup $H$ such that a quotient group $G/H$ is feebly compact.
We prove that any topological group $G$ containing a subspace $X$ of the Sorgenfrey line has spread $s(G)\ge s(X\times X)$. Under OCA, each topological group containing an uncountable subspace of the Sorgenfrey line has uncountable spread. This implies that under OCA a cometrizable topological group $G$ is cosmic if and only if it has countable spread. On the other hand, under CH there exists a cometrizable Abelian topological group that has hereditarily Lindelöf countable power and contains an uncountable subspace of the Sorgenfrey line. This cometrizable topological group has countable spread but is not cosmic.
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.
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.
Given a Tychonoff space $X$, let $F(X)$ and $A(X)$ be respectively the free topological group and the free Abelian topological group over $X$ in the sense of Markov. In this paper, we consider two topological properties of $F(X)$ or $A(X)$, namely the countable tightness and $\mathfrak G$-base. We provide some characterizations of the countable tightness and $\mathfrak G$-base of $F(X)$ and $A(X)$ for various special classes of spaces $X$. Furthermore, we also study the countable tightness and $\mathfrak G$-base of some $F_{n}(X)$ of $F(X)$.
We prove that a topological manifold (possibly with boundary) admitting a continuous cancellative binary operation is orientable. This implies that the Möbius band admits no cancellative continuous binary operation. This answers a question posed by the second author in 2010.
We derive many upper bounds on the submetrizability number and $i$-weight of paratopological groups and topological monoids with open shifts. In particular, we prove that each first countable Hausdorff paratopological group is submetrizable thus answering a problem of Arhangelskii posed in 2002. Also we construct an example of a zero-dimensional (and hence regular) Hausdorff paratopological abelian group $G$ with countable pseudocharacter which is not submetrizable. In fact, all results on the $i$-weight and submetrizability are derived from more general results concerning normally quasi-uniformizable and bi-quasi-uniformizable spaces.
We prove that any meager quasi-analytic subgroup of a topological group $G$ belongs to every $σ$-ideal $\mathcal I$ on $G$ possessing the closed $\pm n$-Steinhaus property for some $n\in\mathbb N$. An ideal $\mathcal I$ on a topological group $G$ is defined to have the closed $\pm n$-Steinhaus property if for any closed subsets $A_1,\dots,A_n\notin\mathcal I$ of $G$ the product $(A_1\cup A_1^{-1})\cdots (A_n\cup A_n^{-1})$ is not nowhere dense in $G$. Since the $σ$-ideal $\mathcal E$ generated by closed Haar null sets in a locally compact group $G$ has the closed $\pm 2$-Steinhaus property, we conclude that each meager quasi-analytic subgroup $H\subset G$ belongs to the ideal $\mathcal E$. For analytic subgroups of the real line this result was proved by Laczkovich in 1998. We shall discuss possible generalizations of the Laczkovich Theorem to non-locally compact groups and construct an example of a meager Borel subgroup in $\mathbb Z^ω$ which cannot be covered by countably many closed Haar-null (or even closed Haar-meager) sets. On the other hand, assuming that $cof(\mathcal M)=cov(\mathcal M)=cov(\mathcal N)$ we construct a subgroup $H\subset 2^ω$ which is meager and Haar null but does not belong to the $σ$-ideal $\mathcal E$. The construction uses a new cardinal characteristic $voc^*(\mathcal I,\mathcal J)$ which seems to be interesting by its own.
For any topological space $X$ we study the relation between the universal uniformity $\mathcal U_X$, the universal quasi-uniformity $q\mathcal U_X$ and the universal pre-uniformity $p\mathcal U_X$ on $X$. For a pre-uniformity $\mathcal U$ on a set $X$ and a word $v$ in the two-letter alphabet $\{+,-\}$ we define the verbal power $\mathcal U^v$ of $\mathcal U$ and study its boundedness numbers $\ell(\mathcal U^v)$ and $\bar \ell(\mathcal U^v)$. The boundedness numbers of the (Boolean operations over) the verbal powers of the canonical pre-uniformities $p\mathcal U_X$, $q\mathcal U_X$ and $\mathcal U_X$ yield new cardinal characteristics $\ell^v(X)$, $\bar \ell^v(X)$, $q\ell^v(X)$, $q\bar \ell^v(X)$, $u\ell(X)$ of a topological space $X$, which generalize all known cardinal topological invariants related to (star)-covering properties. We study the relation of the new cardinal invariants $\ell^v$, $\bar \ell^v$ to classical cardinal topological invariants such as Lindelöf number $\ell$, density $d$, and spread $s$. The simplest new verbal cardinal invariant is the foredensity $\ell^-(X)$ defined for a topological space $X$ as the smallest cardinal $κ$ such that for any neighborhood assignment $(O_x)_{x\in X}$ there is a subset $A\subset X$ of cardinality $|A|\leκ$ that meets each neighborhood $O_x$, $x\in X$. It is clear that $\ell^-(X)\le d(X)\le \ell^-(X)\cdot χ(X)$. We shall prove that $\ell^-(X)=d(X)$ if $|X|<\aleph_ω$. On the other hand, for every singular cardinal $κ$ (with $κ\le 2^{2^{cf(κ)}}$) we construct a (totally disconnected) $T_1$-space $X$ such that $\ell^-(X)=cf(κ)<κ=|X|=d(X)$.
We define a notion of a rotund quasi-uniform space and describe a new direct construction of a (right-continuous) quasi-pseudometric on a (rotund) quasi-uniform space. This new construction allows to give alternative proofs of several classical metrizability theorems for (quasi-)uniform spaces and also obtain some new metrizability results. Applying this construction to topological monoids with open shifts, we prove that the topology of any (semiregular) topological monoid with open shifts is generated by a family of (right-continuous) left-subinvariant quasi-pseudometrics, which resolves an open problem posed by Ravsky in 2001. This implies that a topological monoid with open shifts is completely regular if and only if it is semiregular. Since each paratopological group is a topological monoid with open shifts these results apply also to paratopological groups.
Let $H$ be a closed subgroup of a regular abelian paratopological group $G$. The group reflexion $G^\flat$ of $G$ is the group $G$ endowed with the strongest group topology, weaker that the original topology of $G$. We show that the quotient $G/H$ is Hausdorff (and regular) if $H$ is closed (and locally compact) in $G^\flat$. On the other hand, we construct an example of a regular abelian paratopological group $G$ containing a closed discrete subgroup $H$ such that the quotient $G/H$ is Hausdorff but not regular.
We found a solution of the star puzzle (a path on a chessboard from c5 to d4 in 14 straight strokes) in 14 queen moves, which has been claimed by the author as impossible.
If K' and K are convex bodies of the plane such that K' is a subset of K then the perimeter of K' is not greater than the perimeter of K. We obtain the following generalization of this fact. Let K be a convex compact body of the plane with the perimeter p and the diameter d and r>1 be an integer. Let s be the smallest number such that for any curve of length greater than s contained in K there is a straight line intersecting the curve at least in r+1 different points. Then s=rp/2 if r is even and s=(r-1)p/2+d if r is odd.
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$.
A binary word is symmetric if it is a palindrome or an antipalindrome. We define a new measure of asymmetry of a binary word equal to the minimal number of letters of the word whose deleting from the word yields a symmetric word and obtain upper and lower estimations of this measure.
We consider Steinhaus cake dividing game.
A Hausdorff paratopological group G is H-closed if G is closed in each Hausdorff paratopological group containing G. We obtain criteria of H-closedness for some classes of abelian paratopological groups. In particular, for topological groups.
A paratopological group $G$ is saturated if the inverse $U^{-1}$ of each non-empty set $U\subset G$ has non-empty interior. It is shown that a [first-countable] paratopological group $H$ is a closed subgroup of a saturated (totally bounded) [abelian] paratopological group if and only if $H$ admits a continuous bijective homomorphism onto a (totally bounded) [abelian] topological group $G$ [such that for each neighborhood $U\subset H$ of the unit $e$ there is a closed subset $F\subset G$ with $e\in h^{-1}(F)\subset U$]. As an application we construct a paratopological group whose character exceeds its $π$-weight as well as the character of its group reflexion. Also we present several examples of (para)topological groups which are subgroups of totally bounded paratopological groups but fail to be subgroups of regular totally bounded paratopological groups.
We prove a precise formula for the minimal number K(n) such that every binary word of length $n$ can be divided into K(n) palindromes. Also we estimate the average number $\ol K(n)$ of palindromes composing a random binary word of the length n.