Ciao, in un esercizio mi si chiede:
Siano $H<G, K<G$ di indice finito. Mostrare che $HnnK$ ha indice finito in G. Come si può limitare superiormente l'indice di $HnnK$ in G?
Ora, io ho pensato che l'indice di un sottogruppo si comporta un po' come la dimensione per gli spazi vettoriali...
Dato che l'insieme delle classi di equivalenza in un certo senso "genera" tutto $G$ e può essere quindi considerata una base di $G$
Però non riesco a formalizzarlo. Mi aiutate? Grazie.