BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
A set X endowed with a coarse structure is called ballean or coarse space. For a ballean (X,E), we say that two subsets A, B of X are close (linked) if there exists an entourage E∈E such that A⊆E[B], B⊆E[A] (either A,B are bounded or contain unbounded close subsets). We explore the following general question: which information about a ballean is contained and can be extracted from the relations of closeness and linkness.
For a coarse space (X,E), X♯ denotes the set of all unbounded ultrafilters on X endowed with the parallelity relation: p∣∣q if there exists E∈E such that E[P]∈q for each P∈p. If (X,E) is finitary then there exists a group G of permutations of X such that the coarse structure E has the base {{(x,gx):x∈X, g∈F}:F∈[G]<ω, id∈F}. We survey and analyze interplays between (X,E), X♯ and the dynamical system (G,X♯).
Let G be a non-discrete countable metrizable abelian topological group endowed with the coarse structure C generated by compact subsets of G. We prove that asdim(G,C)=∞. For an infinite cyclic subgroup G of the circle, this answers a question of Dikranjan and Zava [3].
Given a discrete group G, we identify the Stone-Cˇech compactification βG with the set of all ultrafilters on G and put G∗=βG∖G. The action G on G by the conjugations (g,x)↦g−1xg induces the action of G on G∗ by (g,p)↦pg, pg={g−1Pg:P∈p}. We study interplays between the algebraic properties of G and the dynamical properties of (G,G∗). In particular, we show that pG is finite for each p∈G∗ if and only if the commutant of G is finite.
For a bornology B on a cardinal κ, we prove that the B-macrocube is normal if and only if B has a linearly ordered base. As a corollary, we get that the hyperballean of bounded subsets of an ultradiscrete ballean is not normal. These answer Question 1 from \cite{b2} and Question 14.4 from \cite{b1}.
We pose some open problems related to boundedness of real-valued functions on balleans and coarse spaces. Also we prove that the Bergman property of groups is a coarse invariant. A special attention is payed to balleans on groups.
Let G be a group of cardinality κ>ℵ0 endowed with a topology τ such that ∣U∣=κ for every non-empty U∈τ and τ has a base of cardinality κ. We prove that G could be factorized G=AB (i.e. each g∈G has unique representation g=ab, a∈A, b∈B) into dense subsets A,B, ∣A∣=∣B∣=κ. We do not know if this statement holds for κ=ℵ0 even if G is a topological group.
Let G, H be groups and κ be a cardinal. A bijection f:G→H is caled on asymorphism if, for any X∈[G]<κ, Y∈[H]<κ, there exist X′∈[G]<κ, Y′∈[H]<κ such that for all x∈G and y∈H, we have f(Xx)⊆Y′f(x), f−1(Yy)⊆X′f−1(y). For a set S, [S]<κ denotes the set {S′⊆S:∣S′∣<κ}. Let κ and γ be cardinals such that ℵ0<κ≤γ. We prove that any two Abelian groups of cardinality γ are κ-asymorphic, but the free group of rank γ is not κ-asymorphic to an Abelian group provided that either κ<γ or κ=γ and κ is a singular cardinal. It is known [7] that if γ=κ and κ is regular then any two groups of cardinality κ are κ-asymorphic.
Given a semigroup S and an n-partition P of S, n∈N, do there exist A∈P and a subset F of S such that S=F−1{x∈S:xA⋂A=∅} and ∣F∣≤n? We give an affirmative answer provided that either S is finite or n=2.
We say that a topological group G is partially box κ-resolvable if there exist a dense subset B of G and a subset A of G, ∣A∣=κ such that the subsets {aB:a∈A} are pairwise disjoint. If G=AB then G is called box κ-resolvable. We prove two theorems. If a topological group G contains an injective convergent sequence then G is box ω-resolvable. Every infinite totally bounded topological group G is partially box n-resolvable for each natural number n, and G is box κ-resolvable for each infinite cardinal κ,κ<∣G∣.
Every countable topological group G has a closed discrete subset A such that G=AA−1.
Given a semigroup S, we introduce relative (with respect to a filter τ on S) versions of large, thick and prethick subsets of S, give the ultrafilter characterizations of these subsets and explain how large could be some cell in a finite partition of a subset A∈τ.
For a discrete group G and a discrete G-space X, we identify the Stone-Čech compactifications βG and βX with the sets of all ultrafilters on G and X, and apply the natural action of βG on βX to characterize large, thick, thin, sparse and scattered subsets of X. We use G-invariant partitions and colorings to define G-selective and G-Ramsey ultrafilters on X. We show that, in contrast to the set-theoretical case, these two classes of ultrafilters are distinct. We consider also universally thin ultrafilters on ω, the T-points, and study interrelations between these ultrafilters and some classical ultrafilters on ω.
We conjecture that every infinite group G can be partitioned into countably many cells G=⋃n∈ωAn such that cov(AnAn−1)=∣G∣ for each n∈ω. Here cov(A)=min{∣X∣:X⊆G,G=XA}. We confirm this conjecture for each group of regular cardinality and for some groups (in particular, Abelian) of an arbitrary cardinality.
In 1995 in Kourovka notebook the second author asked the following problem: it is true that for each partition G=A1∪⋯∪An of a group G there is a cell Ai of the partition such that G=FAiAi−1 for some set F⊂G of cardinality ∣F∣≤n? In this paper we survey several partial solutions of this problem, in particular those involving certain canonical invariant densities and submeasures on groups.
Let G be a group and let X be a transitive G-space. We classify the subsets of X with respect to a translation invariant ideal J in the Boolean algebra of all subsets of X, introduce and apply the relative combinatorical derivations of subsets of X. Using the standard action of G on the Stone-Cˇech compactification βX of the discrete space X, we characterize the points p∈βX isolated in Gp and describe a size of a subset of X in terms of its ultracompanions in βX. We introduce and characterize scattered and sparse subsets of X from different points of view.
We classify the subsets of a group by their sizes, formalize the basic methods of partitions and apply them to partition a group to subsets of prescribed sizes.
We prove that for every number k each countable infinite group G admits a partition G=A∪B into two sets which are k-meager in the sense that for every k-element subset K⊂G the sets KA and KB are not thick. The proof is based on the fact that G possesses a syndetic submeasure, i.e., a left-invariant submeasure μ:P(G)→[0,1] such that for each ε>1/∣G∣ and subset A⊂G with μ(A)<1 there is a set B⊂G∖A such that μ(B)<ε and FB=G for some finite subset F⊂G.
Given a set X and a family G of self-maps of X, we study the problem of the existence of a non-discrete Hausdorff topology on X with respect to which all functions f∈G are continuous. A topology on X with this property is called a G-topology. The answer is given in terms of the Zariski G-topology ζG on X, that is, the topology generated by the subbase consisting of the sets {x∈X:f(x)=g(x)} and {x∈X:f(x)=c}, where f,g∈G and c∈X. We prove that, for a countable monoid G⊂XX, X admits a non-discrete Hausdorff G-topology if and only if the Zariski G-topology ζG is non-discrete; moreover, in this case, X admits 2c hereditarily normal G-topologies.
In this paper we answer several questions of Dikran Dikranjan about algebraically determined topologies on the group of (finitely supported) permutations of a set X.
We define thin and asymptotically scattered metric spaces as asymptotic counterparts of discrete and scattered metric spaces respectively. We characterize asymptotically scattered spaces in terms of prohibited subspaces, and classify thin metric spaces up to coarse equivalence. We introduce the types of asymptotically scattered spaces and construct the spaces of distinct types. We transfer the notion of asymptotically scattered spaces to G-spaces and characterize asymptotically scattered spaces of groups.
This is the list of open problems in topological algebra posed on the conference dedicated to the 20th anniversary of the Chair of Algebra and Topology of Lviv National University, that was held on 28 September 2001.
Can the real line with removed zero be covered by countably many linearly (algebraically) independent subsets over the field of rationals? We use a matroid approach to show that an answer is "Yes" under the Continuum Hypothesis, and "No" under its negation.
The n-th Zariski topology on a group G is generated by the sub-base consiting of the cozero sets of monomials of degree ≤n on G. We prove that for each group G the 2-nd Zariski topology is not discrete and present an example of a group G of cardinality continuum whose 2-nd Zariski topology has countable pseudocharacter. On the other hand, the non-topologizable group G constructed by Ol'shanskii has discrete 665-th Zariski topology.
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.