Produit de sous parties d'un anneau

1. X est un idéal.
2. En particulier, XA est le plus petit idéal de A contenant X ; de plus, X est un idéal si et seulement si X=XA . XA est appelé idéal engendré par X.
3. Soit B un anneau commutatif unitaire et f un homomorphisme d'anneaux de A dans B. Soit un idéal de B ; alors f est un idéal de A. Si de plus f est surjective, alors f()=f()B et par suite f() est un idéal de B.

1. Montrons que si X est une partie de A et si est un idéal de A alors X est un idéal de A. Il suffit pour cela de remarquer que si x,x'X et si a,a'A alors xa-xa'=xa+x(-a'). Comme a' est élément de a, il en est de même de -a'. Compte tenu de l'écriture des éléments de X, cette somme est bien élément de X. En refaisant ce raisonnement sur une somme du type où X et A, on démontre que X est un sous groupe de A. D'autre part si est élément de A et si est élément de X, alors z= qui est encore élément de X. X est bien un idéal de A.
2. XA est clairement un idéal et si un idéal contient X, il contient nécessairement XA. XA est donc le plus petit idéal contenant X. De plus si X est un idéal, alors, A étant unitaire, X est contenu dans XA. Comme XA est le plus petit idéal contenant A, XA=X. Réciproquement si X=XA alors XA étant un idéal de A, il en est de même de X.
3. Soit B un anneau commutatif unitaire. Soit :A B un morphisme d'anneaux. Soit aussi un idéal de B. Utilisons le critère que l'on vient de montrer pour prouver que est un idéal de A. Il faut dont montrer que A=. Mais =(A)= car est un idéal de B. est bien un idéal de A. De plus, si est surjective et si est un idéal de A, ===B donc =B