« Anneau (mathématiques)/Idéal d’un anneau commutatif » : différence entre les versions
Contenu supprimé Contenu ajouté
m →Divisibilité dans un anneau intègre : lien interne |
mise à jour |
||
Ligne 19 :
{{Démonstration déroulante|contenu=
Soit <math>J</math> un idéal de <math>B</math>, alors :
*<math>\phi^{-1}(J)</math> est un sous-groupe de <math>(A,+)</math> (comme [[
*<math>\forall x\in\phi^{-1}(J)\quad\forall a\in A\quad\phi(ax)=\phi(a)\phi(x)\in AJ\subset J</math> donc <math>ax\in\phi^{-1}(J)</math>.
}}
|