Soit un groupe, et deux sous-groupes de On note
1
Montrer que est un sous-groupe de si et seulement si En déduire que si est distingué dans alors est un sous-groupe de
2
On suppose désormais que Montrer que l’application définie par est un homomorphisme de groupes.
3
Calculer le noyau et l’image de Donner une condition nécéssaire et suffisante pour que soit un isomorphisme de groupes.