ALGEBRE-06/08
Documents interdits. Il n’est pas necessaire de finir le sujet pour avoir une tres
bonne note. La question I.l est plus difficile.
I
Un anneau Rsera toujours suppose commutatif et unitaire. Soit Σ Run sous
semi-groupe multiplicatif, i.e., on a 1 Σ et xy Σ pour tous x, y Σ. Si Mest
un R-module on pose
M1] = {(m, s)M×Σ}/
ou (m, s)(m0, s0) si et seulement si il y a un element tΣ tel que t(s0msm0) = 0.
On note m/s la classe d’equivalence du couple (m, s). On munit M1] de la
structure de R-module telle que m/s+m0/s0= (s0m+sm0)/ss0et t(m/s) = (tm)/s.
Soit iMle morphisme MM1], m7→ m/1. On note ideal(R) l’ensemble des
ideaux de R,max(R) celui des ideaux maximaux, et spec(R) celui des ideaux
premiers. Un R-module Pest plat si pour tout morphisme injectif de R-modules
f:MNl’application idPf:PRMPRNest encore injective. Un
anneau est local si il contient un unique ideal maximal.
I.a. D´emontrer que R1] est un anneau, que M1] est un R1]-module, et
que tout morphisme de R-modules f:MNinduit un morphisme de R1]-
modules f1] : M1]N1]. D´emontrer que si f:RR0est un
morphisme d’anneaux tel que f(s) est inversible pour tout sΣ, il existe un
unique morphisme g:R1]R0tel que giR=f.
I.b. D´emontrer qu’un R[S1]-module est la meme chose qu’un R-module sur lequel
les elements de Σ agissent par des automorphismes.
I.c. Demontrer que si mMalors iM(m) = 0 si et seulement si il existe tΣ tel
que tm = 0. Demontrer que si Mest un R-module de type fini on a M1]=0
si et seulement si il existe tΣ tel que tm = 0 pour tout mM.
I.d. Demontrer que l’application R1]RMM1], (r/s)m7→ (rm)/s
est un isomorphisme de R1]-modules.
I.e. Demontrer que si pspec(R) alors Rpest un sous semi-groupe multiplicatif.
Dans ce cas on ecrit Mp=M[(Rp)1]. Demontrer que Rpest un anneau local.
Deduire du lemme de Zorn que si mMalors m= 0 si et seulement si ms’envoie
sur 0 dans Mmpour tout mmax(R). Demontrer que M= 0 si et seulement si
Mm= 0 pour tout mmax(R).
I.f. Soit Pun R-module plat. Demontrer que si RSest un morphisme
d’anneaux, alors SRPest un S-module plat. Demontrer que si f:MNest un
morphisme de R-modules alors Ker (idPf) = PRKer (f) et Coker (idPf) =
PRCoker (f).
2 ALGEBRE-06/08
I.g. D´emontrer que R1] est un R-module plat. En deduire que Ker (f)[Σ1] =
Ker (f1]), Coker (f)[Σ1] = Coker (f1]), et que fest injectif, surjectif si et
seulement si fml’est pour tout mmax(R).
I.h. Demontrer que si M1, M2, ...Mrsont des sous-modules d’un R-module Malors
(TiMi)[Σ1] = Ti(Mi1]) (nb : TiMiest le noyau de l’application evidente
MLi(M/Mi)). Demontrer que si Iideal(R), pspec(R) alors (R/I)p= 0
si et seulement si I6⊂ p. En deduire le Lemme Chinois, i.e., si I1, I2, . . . Ir
ideal(R) sont tels que Ii+Ij=Rpour tous i6=jalors R/(TiIi)'Li(R/Ii)
(nb : si mmax(R) alors il existe au plus un itel que Iim. En deduire que
(R/(TiIi))mLi(R/Ii)m).
I.i. Donner un exemple de Z-module non plat. Soit R=C[x]. Le R-module
R[y]/(y2x) est-il plat ? Le R-module R[y]/(xy 1) est-il plat ? Le R-module
R[y]/(xy) est-il plat ?
I.j. Demontrer qu’un R-module Mest plat si et seulement si Mmest un Rm-module
plat pour tout mmax(R). En deduire que si Mest localement libre, i.e., si Mm
est un Rm-module libre pour tout mmax(R), alors Mest plat.
I.k. Soit Pun R-module plat et a1, a, . . . arR. Soit f:RrRl’application
(bi)7→ Piaibi, et (xi)Prun element tel que Pr
i=1 aixi= 0. Demontrer que
fidPest une application PrPenvoyant (xi) sur 0. Deduire de I.f qu’il existe
des elements bij R,yjP,i= 1,2, . . . r,j= 1,2, . . . s tels que Piaibij = 0 pour
tout jet xi=Pjbij yjpour tout i.
I.l. Soit Mun R-module de type fini, et x1, x2, . . . xrM. Supposons que
max(R) = {m}. Soit ¯
R=R/m,¯
M=M/mM, et ¯xil’image de xidans ¯
M.
Supposons que ¯x1,¯x2, . . . ¯xnest une ¯
R-base de ¯
M. Demontrer que x1, x2, . . . xn
engendrent le R-module M. Demontrer qu’ils forment une R-base de M(nb :
raisonner par recurrence en utilisant I.k). En deduire que, pour tout anneau R, le
module Mest localement libre si et seulement si il est plat.
1 / 2 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !