M1 MPA : Alg`ebre et Arithm´etique 2016–2017
Devoir Maison no1
I. Soit Aun anneau commutatif.
(a) Montrer que si x∈Aest nilpotent, alors 1 −xest inversible.
(b) Montrer que si b∈Aest inversible et x∈Aest nilpotent, alors b+xest
inversible.
(c) Dans l’anneau de polynˆomes A[T] montrer que f=b0+b1T+··· +bnTn
est inversible si et seulement si b0est inversible dans Aet b1, . . . , bnsont
nilpotents.
(Indication : Si fest inversible dans A[T], alors pour tout id´eal premier pde
A, l’image de fdans (A/p)[T]doit ˆetre inversible. Quels sont les inversibles de
(A/p)[T]?)
II. Soit Aun anneau commutatif, et soit X={tous les id´eaux premiers de A}. Pour
un id´eal Ide A, soit V(I) = {p∈X|p⊃I}. Alors on dit qu’un sous-ensemble
Z⊂Xest un ferm´e de la topologie de Zariski de Xs’il existe un id´eal Ide A
avec Z=V(I).
(a) Si on a deux id´eaux I⊂J, quelle relation y a-t-il entre V(I) et V(J) ?
(b) Montrer que ∅et Xsont des ferm´es de X.
(c) Soit pun id´eal premier de A, et I1, . . . , Indes id´eaux. Montrer l’´equivalence
de (i) pcontient au moins un des id´eaux I1, . . . , In, (ii) pcontient Tn
k=1 Ik, et
(iii) pcontient I1I2···In.
(d) En d´eduire qu’une r´eunion finie de ferm´es de Xest ferm´e.
(e) Montrer qu’une intersection (finie ou infinie) de ferm´es de Xest ferm´e.
(Les questions (b), (d) et (e) sont les axiomes v´erifi´es par les ferm´es d’un
espace topologique.)
(f) Pour tout id´eal Iposons √I={f∈A|il existe un entier n≥1 avec fn∈I}.
Montrer que √Iest un id´eal.
(g) On dit qu’un id´eal Jest radical si on a J=√J.
Montrer que pour tout id´eal Ide A, l’id´eal √Iest radical.
(h) Montrer que pour tout id´eal Ide Aon a Tp∈V(I)p=√I.
(i) En d´eduire une bijection entre les ferm´es de Xet les id´eaux radicaux de A.
III. Soit Aun anneau int`egre.
(a) Soit a, b, x, y ∈Aavec ab =xy. Montrer que si on a a|x, alors on a y|b.
(Rappel : a|xsignifie que adivise x.)
(b) Soit a, b ∈Adeux ´el´ements qui ont un ppcm m. Montrer que les id´eaux qu’ils
engendrent v´erifient (m)=(a)∩(b).
(c) Soit a, b ∈Adeux ´el´ements qui ont un ppcm. Montrer qu’ils ont aussi un
pgcd, et qu’on a
pgcd(a, b)×ppcm(a, b) = ab.