On Covers of Abelian Groups by Cosets

Guenter Lettl,Zhi-Wei Sun
DOI: https://doi.org/10.4064/aa131-4-3
2008-01-01
Acta Arithmetica
Abstract:Let G be any abelian group and a_sG_s_s=1^k be a finite system of cosetsof subgroups G_1,...,G_k. We show that if a_sG_s_s=1^k covers all theelements of G at least m times with the coset a_tG_t irredundant then[G:G_t]≤2^k-m and furthermore k≥m+f([G:G_t]), where f(∏_i=1^rp_i^alpha_i)=∑_i=1^r alpha_i(p_i-1) if p_1,...,p_r are distinct primesand alpha_1,...,alpha_r are nonnegative integers. This extends Mycielski'sconjecture in a new way and implies a conjecture of Gao and Geroldinger. Ournew method involves algebraic number theory and characters of abelian groups.
What problem does this paper attempt to address?