« 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 : préordre |
|||
Ligne 63 :
*<math>a</math> et <math>b</math> sont '''associés''' si <math>a\mid b</math> et <math>b\mid a</math>, ou encore, si <math>(b)=(a)</math>
}}
La relation « divise » est donc un [[Relation (mathématiques)/Relation d'ordre|préordre]] et la relation d'association est la [[Relation (mathématiques)/Relation d'équivalence|relation d'équivalence]] liée à ce préordre.
{{Propriété|
|