To be more precise (but less snappy): is there an example of a group $G$ with finitely many infinite-index subgroups $H_1,\dots, H_n$ and elements $k_1,\dots, k_n$ such that $G$ is the union of the left cosets $k_1 H_1 , ..., k_n H_n\ ?$ And what if we relax the requirement that these all be left cosets, and ask: can $G$ be the union of finitely many such cosets, some being left cosets, others being right cosets?

If $G$ is amenable then this can't happen, since any coset of an infinite-index subgroup must have measure $0$. So this immediately rules out any abelian group $G$.

I've tried playing around with the only non-amenable groups that I'm comfortable with, the free groups on two or more generators. A few months ago I thought I found a simple counterexample in the free group on $\aleph_0$ generators, but now I've lost my notes and am beginning to doubt I ever had such an example.

(This question was asked to me by a friend who's interested in some kind of application to model theory, but I think it's interesting as a stand-alone puzzle.)


1 Answer 1


No. This follows from a beautiful theorem of B.H. Neumann:

Let $G$ be a group. If $\{x_iH_i\}_{i=1}^n$ is a covering of $G$ by cosets of proper subgroups, then $n \geq \min_{i} [G:H_i]$.

Explicitly, this is Lemma 4.1 in


As Neumann remarks, the identity $gH = (g H g^{-1}) g$ shows that it is no loss of generality to restrict to coverings by left cosets.

  • $\begingroup$ That was quick! Thanks, actually I read about this a long time ago and forgot that it applied to any group G... $\endgroup$ Mar 7, 2010 at 17:37
  • $\begingroup$ You're quite welcome. I have had a side interest in covering problems of various sorts for a couple of years now, and Neumann's result is one of the nicest in this area. $\endgroup$ Mar 7, 2010 at 17:42
  • $\begingroup$ The link in this answer has decayed. Can someone give an updated link? Or, even better, a reference to the original paper of B. H. Neumann? $\endgroup$
    – Lee Mosher
    Sep 7, 2015 at 16:53
  • $\begingroup$ @Lee: I am sorry (more precisely, more annoyed than you) for the inconvenience. Please see my profile page for an explanation and a general fix (although unfortunately, no one seems to see this automatically). $\endgroup$ Sep 7, 2015 at 16:58
  • 1
    $\begingroup$ A more stable but less free link: Neumann - Groups covered by permutable subsets (MSN). $\endgroup$
    – LSpice
    Aug 2, 2020 at 23:30

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.