C'est le plus petit idéal qui contient x, on dit qu'il est engendré par x. ... (Voir l'
exercice 3.6.4 pour le cas d'un anneau non intègre.) ... L'intersection de tous les
idéaux qui contiennent un sous-ensemble donné E de A est un idéal ....
Théorème 3.3.2 (Premier théorème d'isomorphisme) Soit f :G?G un morphisme
de groupes. 
