Stanislas Devoir à la Maison MPSI 1
DM n° 15 Introduction aux Idéaux ind. : 4h00
Vacances d'hiver
Dans toute la suite (A, +, ·) désigne un anneau commutatif. Soit I ⊂ A. On dit que I est
un idéal de A si
1. (I , +) est un sous-groupe de (A, +),
2. I est absorbant, i.e. pour tout a ∈ A et x ∈ I , a · x ∈ I .
Dans toute la suite, I et J désignent des idéaux de A.
1. Questions de stabilité.
a) Donner des exemples d'idéaux de A.
b) Montrer que I ∩ J est un idéal de A.
c) Montrer que I + J = {i + j, i ∈ I , j ∈ J } est un idéal de A.
2. On dénit If= {x ∈ A ; ∃ n ∈ N, xn ∈ I }.
a) Montrer que Ifest un idéal de A.
b) Montrer que If= If.
f
On dit que I est un idéal principal s'il est engendré par un seul élément, i.e. s'il existe a ∈ A
tel que I = {a · q, q ∈ A}. On notera I = (a). On dit qu'un anneau est principal s'il est intègre
et si tous ses idéaux sont principaux.
On rappelle que pour a, b ∈ A, a|b s'il existe k ∈ A tel que b = a · k.
3. Exemples.
a) Montrer que Z est un anneau principal.
b) L'union de deux idéaux est-elle toujours un idéal ?
c) Montrer que si K = R ou C, K[X] est un anneau principal.
4. Plus grand commun diviseur et plus petit commun multiple. On suppose dans cette question
que A est un anneau principal. Soient a, b ∈ A. On rappelle que (a) + (b) et (a) ∩ (b) sont des
idéaux et, A étant un anneau principal, on note (a) + (b) = (δ) et (a) ∩ (b) = (µ).
On rappelle également que pour a, b ∈ A, on dit que a divise b s'il existe un élement c ∈ A tel
que b = a · c.
a) Montrer que δ et µ sont uniques à multiplication par un élément inversible près.
b) Soit d ∈ A. Montrer que d|δ si et seulement si d|a et d|b.
c) On dit que a et b sont premiers entre eux si (a) + (b) = (1). Montrer qu'il existe deux
éléments u et v de A tels que 1 = a · u + b · v .
d) Soit m ∈ A. Montrer que µ|m si et seulement si a|m et b|m.
On a commencé par montrer que les anneaux euclidiens (i.e. qui possèdent une division euclidienne) sont
principaux. Ensuite, on a déni, dans les anneaux principaux, le pgcd et le ppcm de deux éléments. L'étudiant
zélé pourra retrouver le lemme de Gauss ainsi que toutes les propriétés classiques des pgcd et ppcm. On retrouve
le cas particuliers de Z et de K[X] étudiés en cours.