# B.H.Neumann's lemma

From Groupprops

## Statement

If a group can be written as a union of left cosets:

then is the union of those for which is a subgroup of finite index in . In other words, the cosets of subgroups of infinite index are redundant.