On the complement of a union of cosets

Abstract

Let $g_1H_1,\ldots,g_nH_n$ be left cosets of subgroups of a group $G$ whose union $U$ is a proper subset of $G$. We prove that $G$ is the union of at most $2^n$ left translates of $A:=G\setminus U$. For finite $G$ this yields $|A|\ge|G|/2^n$, which settles a conjecture of T\u{a}rn\u{a}uceanu and the author. Equality $|A|=|G|/2^n$ can only hold when $A$ is a left coset of $K:=H_1\cap\ldots\cap H_n$. Moreover, every subgroup occurring in an irredundant cover of an arbitrary group by $n$ cosets has index at most $2^{n-1}$. This improves a lemma of Neumann.