19/04/2017 Algèbre – Anneaux | 3
Idéal d’un anneau commutatif
Définition – Idéal
On appelle idéal d’un anneau commutatif A tout sous-groupe additif de A vérifiant la propriété suivante
∀(a, i) ∈ A 𝗑 I, ai ∈ I
* Un idéal n’est pas forcément un sous-anneau de A car il ne contient pas forcément 1
* A et {0} sont des idéaux de A
* Un idéal de A vaut A ssi il contient 1 ou plus généralement un élément inversible
* L’intersection de deux idéaux de A est un idéal de A
* La somme I + J = {i + j |(i, j) ∈ I 𝗑 J} est un idéal
Caractérisation d’un idéal
Une partie I de A est un idéal ssi elle contient 0 et vérifie ∀(a, b) ∈ A², ∀(i, j) ∈ I², ai + bj ∈ I
Morphisme et idéal
* Si A est un anneau commutatif et 𝜑 un morphisme d’anneau de A vers B, alors le noyau de 𝜑 est un idéal
* L’image d’un idéal de A n’est pas forcément un idéal de B
* L’image réciproque d’un idéal de B est un idéal de A
Proposition – Idéal engendré par un élément
Le sous-ensemble aA = {au | u ∈ A} est le plus petit élément de A contenant a
On l’appelle l’idéal engendré par a.
* Pour tout (a, b) ∈ A² la somme aA + bA = {au + bv | (u,v) ∈ A² } est le plus petit idéal contenant {a, b}
Définition – Idéal principal
Un idéal est dit principal s’il est engendré par un unique élément
Définition – Divisibilité
On dit qu’un élément a divise un élément b de A ce que l’on note a |b s’il existe c ∈ A tel que ac = b
* a est un diviseur de b
* b est un multiple de a
* La relation de divisibilité est réflexive et transitive (en général elle n’est pas antisymétrique)
* Par définition l’ensemble des multiples d’un élément a ∈ A est l’idéal aA
* L’élément nul (neutre de l’addition) est un multiple de tout élément de A mais ne divise que lui-même
* L’élément unité 1 divise tout élément mais n’est multiple que des éléments inversibles de A
Propositions
* ∀(x, y) ∈ A2, x | y ⇔ yA ⊂ xA
* Soit (a, b, c, x, y) ∈ A5. Si a divise b et c, alors a divise xb + yc
Proposition
Si a et b appartiennent à A, les 3 propositions suivantes sont équivalentes
1. a | b et b | a
2. aA = bA
3. il existe un élément inversible u de A tel que b = ua