Sum-avoiding sets in groups

From MaRDI portal



Abstract: Let A be a finite subset of an arbitrary additive group G, and let phi(A) denote the cardinality of the largest subset B in A that is sum-avoiding in A (that is to say, b1+b2otinA for all distinct b1,b2inB). The question of controlling the size of A in terms of phi(A) in the case when G was torsion-free was posed by ErdH{o}s and Moser. When G has torsion, A can be arbitrarily large for fixed phi(A) due to the presence of subgroups. Nevertheless, we provide a qualitative answer to an analogue of the ErdH{o}s-Moser problem in this setting, by establishing a structure theorem, which roughly speaking asserts that A is either efficiently covered by phi(A) finite subgroups of G, or by fewer than phi(A) finite subgroups of G together with a residual set of bounded cardinality. In order to avoid a large number of nested inductive arguments, our proof uses the language of nonstandard analysis. We also answer negatively a question of ErdH{o}s regarding large subsets A of finite additive groups G with phi(A) bounded, but give a positive result when |G| is not divisible by small primes.











This page was built for publication: Sum-avoiding sets in groups

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