Anneau (mathématiques)/Idéal d’un anneau commutatif

Début de la boite de navigation du chapitre

Dans tout ce chapitre, les anneaux et sont supposés commutatifs. Rappelons qu'un idéal de est alors une partie de telle que :

  • est un sous-groupe de  ;
  • (ce qui implique ).
Idéal d’un anneau commutatif
Icône de la faculté
Chapitre no 3
Leçon : Anneau (mathématiques)
Chap. préc. :Morphismes d'anneaux
Chap. suiv. :Anneau principal
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, « Anneau (mathématiques) : Idéal d’un anneau commutatif
Anneau (mathématiques)/Idéal d’un anneau commutatif
 », n'a pu être restituée correctement ci-dessus.

Image réciproque par un morphisme

modifier

Idéal engendré

modifier

L'intersection d'une famille vide n'est pas définie en général mais par convention (locale à ce contexte), l'intersection d'une famille vide de parties de   est  .

Cette propriété est l'ingrédient de l'une des deux définitions (clairement équivalentes) de l'idéal engendré par une partie :


Début de l'exemple
Fin de l'exemple


Somme d'idéaux

modifier


L'idéal engendré par une partie   est donc égal à la somme   des idéaux principaux engendrés par chaque élément de  .

Divisibilité dans un anneau intègre

modifier

On suppose dans cette section que l'anneau   est commutatif et que  .

La relation « divise » est donc un préordre et la relation d'association est la relation d'équivalence liée à ce préordre.