arXiv++ Combinatorics

Let $G$ be a group, $X$ be an infinite transitive $G$-space. A free ultrafilter $\UU$ on $X$ is called $G$-selective if, for any $G$-invariant partition $\PP$ of $X$, either one cell of $\PP$ is a member of $\UU$, or there is a member of $\UU$ which meets each cell of $\PP$ in at most one point. We show (Theorem 1) that in ZFC with no additional set-theoretical assumptions there exists a $G$-selective ultrafilter on $X$, describe all $G$-spaces $X$ (Theorem 2) such that each free ultrafilter on $X$ is $G$-selective, and prove (Theorem 3) that a free ultrafilter $\UU$ on $ω$ is selective if and only if $\UU$ is $G$-selective with respect to the action of any countable group $G$ of permutations of $ω$. A free ultrafilter $\UU$ on $X$ is called $G$-Ramsey if, for any $G$-invariant coloring $χ:[G]^2 \to \{0,1\}$, there is $U\in \UU$ such that $[U]^2$ is $χ$-monochrome. By Theorem 4, each $G$-Ramsey ultrafilter on $X$ is $G$-selective. Theorems 5 and 6 give us a plenty of $\mathbb{Z}$-selective ultrafilters on $\mathbb{Z}$ (as a regular $\mathbb{Z}$-space) but not $\mathbb{Z}$-Ramsey. We conjecture that each $\mathbb{Z}$-Ramsey ultrafilter is selective.

For a group $G$ and a natural number $m$, a subset $A$ of $G$ is called $m$-thin if, for each finite subset $F$ of $G$, there exists a finite subset $K$ of $G$ such that $|Fg\cap A|\leqslant m$ for every $g\in G\setminus K$. We show that each $m$-thin subset of a group $G$ of cardinality $\aleph_n$, $n= 0,1,...$ can be partitioned into $\leqslant m^{n+1}$ 1-thin subsets. On the other side, we construct a group $G$ of cardinality $\aleph_ω$ and point out a 2-thin subset of $G$ which cannot be finitely partitioned into 1-thin subsets.

Let $G$ be a group and $X$ be a $G$-space. A subset $F$ of $X$ is called a kaleidoscopical configuration if there exists a surjective coloring $χ:X\to Y$ such that the restriction of $χ$ on each subset $gF$, $g\in G$ is a bijection. We give some constructions of kaleidoscopical configurations in an arbitrary $G$-space, develop some kaleidoscopical technique for Abelian groups (considered as $G$-spaces with the action $(g,x)\mapsto g+x$), and describe kaleidoscopical configurations in the cyclic groups of order $N=p^m$ or $N=p_1... p_k$ where $p$ is prime and $p_1,...,p_k$ are distinct primes. Let $G$ be a group and $X$ be a $G$-space. A subset $F$ of $X$ is called a kaleidoscopical configuration if there exists a coloring $χ:X\rightarrow C$ such that the restriction of $χ$ on each subset $gF$, $g\in G$, is a bijection. We present a construction (called the splitting construction) of kaleidoscopical configurations in an arbitrary $G$-space, reduce the problem of characterization of kaleidoscopical configurations in a finite Abelian group $G$ to a factorization of $G$ into two subsets, and describe all kaleidoscopical configurations in isometrically homogeneous ultrametric spaces with finite distance scale. Also we construct $2^c$ (unsplittable) kaleidoscopical configurations of cardinality continuum in the Euclidean space $R^n$.

We survey some principal results and open problems related to colorings of algebraic and geometric objects endowed with symmetries.