2018
Том 70
№ 1

# On thin-complete ideals of subsets of groups

Abstract

Let $F \subset \mathcal{P}_G$ be a left-invariant lower family of subsets of a group $G$. A subset $A \subset G$ is called $\mathcal{F}$-thin if $xA \bigcap yA \in \mathcal{F}$ for any distinct elements $x, y \in G$. The family of all $\mathcal{F}$-thin subsets of G is denoted by $\tau(\mathcal{F})$. If $\tau(\mathcal{F}) = \mathcal{F}$, then $\mathcal{F}$ is called thin-complete. The thin-completion $\tau*(\mathcal{F})$ of $\mathcal{F}$ is the smallest thin-complete subfamily of $\mathcal{P}_G$ that contains $\mathcal{F}$. Answering questions of Lutsenko and Protasov, we prove that a set $A \subset G$ belongs to $\tau*(G)$ if and only if for any sequence $(g_n)_{n\in \omega}$ of non-zero elements of G there is $n\in \omega$ such that $$\bigcap_{i_0,...,i_n \in \{0, 1\}}g_0^{i_0}...g_n^{i_n} A \in \mathcal{F}.$$ Also we prove that for an additive family $\mathcal{F} \subset \mathcal{P}_G$ its thin-completion $\tau*(\mathcal{F})$ is additive. If the group $G$ is countable and torsion-free, then the completion $\tau*(\mathcal{F}_G)$ of the ideal $\mathcal{F}_G$ of finite subsets of $G$ is coanalytic and not Borel in the power-set $\mathcal{P}_G$ endowed with the natural compact metrizable topology.

English version (Springer): Ukrainian Mathematical Journal 63 (2011), no. 6, pp 865-879.

Citation Example: Banakh T. O., Lyaskovska N. On thin-complete ideals of subsets of groups // Ukr. Mat. Zh. - 2011. - 63, № 6. - pp. 741-754.

Full text