Algèbre 2 Université Pierre et Marie Curie
LM 372 Jeudi 30 Janvier 2014
TD numéro 2
Exercice 1. Soit Aun anneau commutatif. Montrer que l’ensemble N(A)des éléments nilpotents
de Aest un idéal. Déterminer N(Z/72Z).
Exercice 2. Soient a,bet ctrois idéaux d’un anneau commutatif A. Montrer que si aest contenu
dans b∪c, alors on a a⊆bou a⊆c.
Exercice 3. Soit Run anneau fini commutatif réduit, i.e. sans nilpotents non nuls.
1. Soit pun idéal minimal non nul de R. Montrer que pest principal. (Indication : montrer que si
x∈pest non nul, alors p=xR.)
2. Montrer que si un idéal ade Rne contient pas palors on a l’identité a∩p= 0.
3. Montrer qu’il existe un élément e∈ptel que ex =xpour tout x∈p.
4. Montrer que pmuni des opérations de somme et de produit définies sur Rest un corps ayant e
comme élément neutre pour le produit.
5. Montrer qu’il existe un homomorphisme canonique R→p. (Indication : considérer la multipli-
cation par e.)
6. Soient p1,...,pnles idéaux minimaux non nuls de Ret indiquons par e1, . . . , enleurs éléments
neutres respectifs. Montrer que e1+. . . +en= 1.
7. En déduire qu’il existe un isomorphisme canonique entre Ret p1× · · · × pn. En résumé tout
anneau fini sans nilpotents est un produit de corps.
Exercice 4. Etant donnés deux idéaux aet bd’un anneau A, on pose
a+b={a+b|a∈a, b ∈b}et ab ={a1b1+· · · +anbn|n∈N, a1, . . . , an∈a, b1, . . . , bn∈b}.
1. Montrer que les sous ensembles ab,a∩bet a+bsont des idéaux de A.
2. Montrer que a∩best le plus grand idéal de Acontenu dans aet dans bet que a+best le plus
petit idéal contenant aet b.
3. Montrer que l’on a l’inclusion ab ⊆a∩b, et que c’est une égalité si a+b=A.
4. Montrer que A/a∩best isomorphe à A/a×A/bsi et seulement si a+b=A.
5. Montrer que si aet bsont premiers entre eux (i.e. si a+b=A) alors il en est de même pour les
idéaux anet bmpour tout couple d’entiers n, m > 0.
6. Soient n > 1un entier et a,bdeux idéaux d’un anneau A. On suppose que aet bsont premiers
entre eux. Montrer que si l’intersection a∩best une puissance n-ième d’un idéal, alors il en est
de même pour aet b.
1