On montre que si H est un groupe distingué de G ssi il existe une unique structure de groupe tel que la projection canonique de G sur G/H est un morphisme de groupes, puis le 1er théorème d'isomorphisme. On peut moduler avec un ou plusieurs exemples en fonction du temps. (Nombre de carré dans les corps fini, Isomorphisme entre groupe cyclique et Z/nZ, lien entre groupe linéaire et SL,...)