Exercice 1, § 1

Toute topologie compatible avec la structure de groupe d’un groupe fini G s’obtient en prenant pour voisinages de l’élément neutre les ensembles contenant un sous-groupe distingué H de G.