2019
Том 71
№ 6

All Issues

Lyaskovska N.

Articles: 2
Article (English)

On thin-complete ideals of subsets of groups

Banakh T. O., Lyaskovska N.

↓ Abstract   |   Full text (.pdf)

Ukr. Mat. Zh. - 2011. - 63, № 6. - pp. 741-754

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.

Article (English)

Completeness of invariant ideals in groups

Banakh T. O., Lyaskovska N.

↓ Abstract   |   Full text (.pdf)

Ukr. Mat. Zh. - 2010. - 62, № 8. - pp. 1022–1031

We introduce and study various notions of completeness of translation-invariant ideals in groups.