exercice 12 : structures algébriques

dans cet exercice on va démontrer q'une partie est un sous groupe et on va utiliser les fonctions injectives et surjectives et l'image directe et réciproque d'une partie pour montrer des implications.