Kneser's Theorem in \sigma-finite Abelian groups

DOI10.4153/S0008439521001053MaRDI QIDQ6329409arXivFDO

Authors Pierre-Yves Bienvenu, François Hennecart

Publication date 18 November 2019

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

Abstract: Let

G

be a

s i g m a

-finite abelian group, i.e.

where

(G_{n})_{n g e q 1}

is a non decreasing sequence of finite subgroups. For any

A s u b s e t G

, let

u n d e r l i n e m a t h r m d (A) := l i m i n f_{n o i n f t y} f r a c | A c a p G_{n} | | G_{n} |

be its lower asymptotic density. We show that for any subsets

A

and

B

of

G

, whenever

u n d e r l i n e m a t h r m d (A + B) < u n d e r l i n e m a t h r m d (A) + u n d e r l i n e m a t h r m d (B)

, the sumset

A + B

must be periodic, that is, a union of translates of a subgroup

H l e q G

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 = p m B

. 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

s i g m a

-finite abelian groups. This argument relies on an appeal to another theorem of Kneser, namely the one regarding finite sumsets in an abelian group.

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)