Deje $G$ ser un grupo. Supongamos que existe una secuencia finita de elementos de $a_1, \cdots, a_n$ y una secuencia finita de subgrupos $H_1, \cdots, H_n$ tal que $G = \bigcup_{i=1}^n a_iH_i$ es un discontinuo de la unión. Si $(G: H_1) = \cdots = (G : H_n) \lt \infty$, $H_1= \cdots = H_n?$
Se me ocurrió este problema cuando tratamos de resolver esta cuestión. Construcción explícita de Haar medir en un grupo profinite