Université Pierre-et-Marie Curie Master de - IMJ-PRG

Universit´e Pierre-et-Marie Curie
Master de math´ematiques fondamentales, cours Les outils de la g´eom´etrie
alg´ebrique, examen de rattrapage du 2 juin 2014.
Enseignant : Antoine Ducros
Dur´ee : 3 heures. Seuls les documents issus du cours (notes personnelles prises
en cours, documents disponibles en ligne sur la page d’A. Ducros) sont
autoris´es. Les calculatrices sont interdites.
Dans tout le sujet, anneausignifiera anneau commutatif unitaire.
Exercice 1. Si Xest un espace topologique, on note EnsX(resp. AbX) la
cat´egorie des faisceaux d’ensembles (resp. de groupes ab´eliens) sur X.
a) Soit Xun espace topologique et soit Uun ouvert de X. Montrez que
le foncteur F7→ F|Ude EnsXvers EnsUadmet un adjoint `a gauche que l’on
d´ecrira explicitement.
b) Mˆeme question en rempla¸cant EnsXet EnsUpar AbXet AbU.
Exercice 2. Modules noeth´eriens. Soit Mun module sur un anneau A.
a) Montrez que les conditions suivantes sont ´equivalentes :
i) tout sous-module de Mest de type fini ;
ii) toute suite croissante de sous-modules de Mest stationnaire ;
iii) tout ensemble non vide de sous-modules de Madmet un ´el´ement
maximal.
Lorsqu’elles sont satisfaites, on dit que Mest noeth´erien. On dit que Aest
noeth´erien s’il est noeth´erien comme A-module.
b) Soit 0 M0MM00 0 une suite exacte de A-modules. Montrez
que Mest noeth´erien si et seulement si M0et M00 sont noeth´eriens.
c) Montrez que la somme directe de deux A-modules noeth´eriens est
noeth´erienne.
d) Supposons que l’anneau Aest noeth´erien. Montrez que tout A-module
de type fini est noeth´erien. Montrez que si Sest une partie multiplicative de A
l’anneau S1Aest noeth´erien.
Exercice 3. Id´eaux premiers associ´es. Soit Aun anneau et soit Mun A-module.
Un id´eal premier pde Aest dit associ´e `a Ms’il est ´egal `a l’id´eal annulateur d’un
´el´ement de M. On note Ass Ml’ensemble des id´eaux premiers associ´es `a M.
a) D´eterminez Ass {0}.
b) Soit pun id´eal premier de A. Montrez que pest associ´e `a Msi et seulement
si il existe une injection A-lin´eaire A/pM; montrez que Ass N={p}pour
tout sous-module non nul Nde A/p.
c) Soit 0 M0MM00 0 une suite exacte de A-modules. Montrez
que
Ass M0Ass MAss M0Ass M00 .
Exercice 4. Id´eaux premiers associ´es : le cas noeth´erien. Soit Aun anneau et
soit Mun A-module.
1
a) Soit Iun id´eal de Asatisfaisant aux deux conditions suivantes :
i) il existe un ´el´ement non de Mdont Iest l’id´eal annulateur ;
ii) l’id´eal Iest maximal parmi les id´eaux de Asatisfaisant i).
Montrez que Iest premier.
b) On suppose `a partir de maintenant et jusqu’`a la fin de l’exercice que A
est noeth´erien. Montrez en utilisant a) que si Mest non nul, Ass Mest non
vide.
c) Supposons que Mest de type fini. Montrez qu’il existe une suite finie
{0}=M0(M1(. . . (Mn=M
de sous-modules de Met, pour tout icompris entre 1 et n, un id´eal premier pi
de Atel Mi/Mi1'A/pi. Montrez qu’on a alors Ass M⊂ {p1,...,pn}(en
particulier, Ass Mest fini).
Exercice 5. Soit Aun anneau, soit Mun A-module de type fini, et soit Il’id´eal
annulateur de M.
a) Soit pun id´eal premier de A. Montrez que
pIMp6={0}.
`
A partir de maintenant et jusqu’`a la fin de l’exercice, on suppose A
noeth´erien. On rappelle le fait suivant (cf. l’examen de premi`ere session, ex.
4) : il existe un ensemble fini Ed’id´eaux premiers de Acontenant I, deux `a
deux non comparables pour l’inclusion, et tels que tout id´eal premier contenant I
contienne un id´eal appartenant `a E; les ´el´ements de Esont lors exactement les
id´eaux premiers de Acontenant Iet minimaux pour cette propri´et´e.
Le but de ce qui suit est de d´emontrer que les ´el´ements de Esont exactement
les ´el´ements de Ass Mminimaux pour l’inclusion.
b) Soit pAss M. Montrez que pI.
c) Soit pE. Justifiez bri`evement le fait que l’ensemble des id´eaux premiers
de Apassoci´es au Ap-module Mpest non vide. Soit qun tel id´eal et soit
q0:= naA, a
1qo
l’id´eal premier de Acontenu dans pqui correspond `a q. Montrez que q0AssM;
en d´eduire que q0=p, et conclure.
2
1 / 2 100%

Université Pierre-et-Marie Curie Master de - IMJ-PRG

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 !