{"id":"arxiv/2609.09052","url":"https://arxiv.org/abs/2609.09052","tags":["math.GR"],"score":0,"title":"On the complement of a union of cosets","domain":"math.GR","source":"arxiv","authors":["Benjamin Sambale"],"reviews":0,"subject":"math.GR","summary":"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ărnă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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-08","reactions":{}}