The Herzog-Schönheim conjecture for solvable groups

Abstract

Herzog and Schönheim conjectured that any nontrivial partition of a group into cosets must contain two cosets with the same index.

The case that a subgroup maps to a full copy of $\ZZ_p$ under the quotient is not trivial and must be considered more carefully