« Anneau (mathématiques)/Idéal d’un anneau commutatif » : différence entre les versions

Soit <math>(J_i)_{i\in I}</math> une telle famille. Son intersection <math>J</math> est un sous-groupe de <math>(A,+)</math> (comme [[GroupeThéorie (mathématiques)des groupes/Groupes, premières notions#Sous-groupes|intersection de sous-groupes]]) et <math>AJ=A\ \bigcap_{i\in I}J_i\subset\bigcap_{i\in I}\left(AJ_i\right)=\bigcap_{i\in I}J_i=J</math>.