Covering locally compact groups by less than $2^{\omega }$ many translates of a compact nullset

Márton Elekes, and Árpád Tóth. "Covering locally compact groups by less than $2^{ω}$ many translates of a compact nullset." Fundamenta Mathematicae 193.3 (2007): 243-257. <http://eudml.org/doc/286088>.

@article{MártonElekes2007,
abstract = {Gruenhage asked if it was possible to cover the real line by less than continuum many translates of a compact nullset. Under the Continuum Hypothesis the answer is obviously negative. Elekes and Stepr mans gave an affirmative answer by showing that if $C_\{EK\}$ is the well known compact nullset considered first by Erdős and Kakutani then ℝ can be covered by cof() many translates of $C_\{EK\}$. As this set has no analogue in more general groups, it was asked by Elekes and Stepr mans whether such a result holds for uncountable locally compact Polish groups. In this paper we give an affirmative answer in the abelian case. More precisely, we show that if G is a nondiscrete locally compact abelian group in which every open subgroup is of index at most cof() then there exists a compact set C of Haar measure zero such that G can be covered by cof() many translates of C. This result, which is optimal in a sense, covers the cases of uncountable compact abelian groups and of nondiscrete separable locally compact abelian groups. We use Pontryagin’s duality theory to reduce the problem to three special cases; the circle group, countable products of finite discrete abelian groups, and the groups of p-adic integers, and then we solve the problem on these three groups separately. In addition, using representation theory, we reduce the nonabelian case to the classes of Lie groups and profinite groups, and we also settle the problem for Lie groups. (M. Abért recently gave an affirmative answer for profinite groups, so the nonabelian case is also complete.)},
author = {Márton Elekes, Árpád Tóth},
journal = {Fundamenta Mathematicae},
keywords = {compact; null; zero sets; Pontryagin duality; LCA; ZFC; -adic integers; profinite groups},
language = {eng},
number = {3},
pages = {243-257},
title = {Covering locally compact groups by less than $2^\{ω\}$ many translates of a compact nullset},
url = {http://eudml.org/doc/286088},
volume = {193},
year = {2007},
}

TY - JOUR
AU - Márton Elekes
AU - Árpád Tóth
TI - Covering locally compact groups by less than $2^{ω}$ many translates of a compact nullset
JO - Fundamenta Mathematicae
PY - 2007
VL - 193
IS - 3
SP - 243
EP - 257
AB - Gruenhage asked if it was possible to cover the real line by less than continuum many translates of a compact nullset. Under the Continuum Hypothesis the answer is obviously negative. Elekes and Stepr mans gave an affirmative answer by showing that if $C_{EK}$ is the well known compact nullset considered first by Erdős and Kakutani then ℝ can be covered by cof() many translates of $C_{EK}$. As this set has no analogue in more general groups, it was asked by Elekes and Stepr mans whether such a result holds for uncountable locally compact Polish groups. In this paper we give an affirmative answer in the abelian case. More precisely, we show that if G is a nondiscrete locally compact abelian group in which every open subgroup is of index at most cof() then there exists a compact set C of Haar measure zero such that G can be covered by cof() many translates of C. This result, which is optimal in a sense, covers the cases of uncountable compact abelian groups and of nondiscrete separable locally compact abelian groups. We use Pontryagin’s duality theory to reduce the problem to three special cases; the circle group, countable products of finite discrete abelian groups, and the groups of p-adic integers, and then we solve the problem on these three groups separately. In addition, using representation theory, we reduce the nonabelian case to the classes of Lie groups and profinite groups, and we also settle the problem for Lie groups. (M. Abért recently gave an affirmative answer for profinite groups, so the nonabelian case is also complete.)
LA - eng
KW - compact; null; zero sets; Pontryagin duality; LCA; ZFC; -adic integers; profinite groups
UR - http://eudml.org/doc/286088
ER -