Kneser's Theorem in \sigma-finite Abelian groups

DOI10.4153/S0008439521001053zbMATH Open1525.11114arXiv1911.07745MaRDI QIDQ6329409FDOQ6329409

Authors: Pierre-Yves Bienvenu, François Hennecart 

Publication date: 18 November 2019

Abstract: Let $G$ be a $sigma$-finite abelian group, i.e. $$ where $(G_n{)}_{ngeq1}$ is a non decreasing sequence of finite subgroups. For any $AsubsetG$, let $underlinemathrmd(A):=limin{f}_{noinfty}frac|Acap{G}_n||G_n|$ be its lower asymptotic density. We show that for any subsets $A$ and $B$ of $G$, whenever $underlinemathrmd(A+B)<underlinemathrmd(A)+underlinemathrmd(B)$, the sumset $A+B$ must be periodic, that is, a union of translates of a subgroup $HleqG$ of finite index. This is exactly analogous to Kneser's theorem regarding the density of infinite sets of integers. Further, we show similar statements for the upper asymptotic density in the case where $A=pmB$. An analagous statement had already been proven by Griesmer in the very general context of countable abelian groups, but the present paper provides a much simpler argument specifically tailored for the setting of $sigma$-finite abelian groups. This argument relies on an appeal to another theorem of Kneser, namely the one regarding finite sumsets in an abelian group.

Mathematics Subject Classification ID

Density, gaps, topology (11B05) Abelian groups (20K99) Inverse problems of additive number theory, including sumsets (11P70)

This page was built for publication: Kneser's Theorem in $\sigma$-finite Abelian groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6329409)