Bourbaki

Exercice 5, § 3

Algèbre commutative, X, p. 158

a) Soient kk un corps, RR une kk-algèbre de degré fini. Pour que RR soit un anneau de Gorenstein, il faut et il suffit que le RR-module Homk(R,k)\mathrm{Hom}_k(R, k) soit libre de rang 1 (se ramener au cas où RR est local, et observer que le RR-module Homk(R,k)\mathrm{Hom}_k(R, k) est injectif et contient un sous-module isomorphe à κR\kappa_R; pour une autre démonstration, cf. § 8, n° 6, cor. de la prop. 5). b) On suppose que les conditions ci-dessus sont satisfaites, et que de plus l’algèbre RR est graduée de type NN, avec R0=kR_0 = k. Soit ss le plus grand entier tel que Rs≠0R_s \neq 0. Prouver que RsR_s est de dimension 1 sur kk, et égal au socle de RR; pour toute forme kk-linéaire non nulle ℓ\ell sur RsR_s, la forme kk-bilinéaire (x,y)↦ℓ(xy)(x, y) \mapsto \ell(xy) sur Ri×Rs−iR_i \times R_{s-i} induit pour tout ii un isomorphisme de RiR_i sur Homk(Rs−i,k)\mathrm{Hom}_k(R_{s-i}, k). c) Soient AA un anneau noethérien, BB une AA-algèbre qui soit un module plat de type fini. Prouver que les conditions suivantes sont équivalentes : (i) le BB-module HomA(B,A)\mathrm{Hom}_A(B, A) est projectif de rang 1 ; (ii) pour tout idéal maximal (resp. premier) pp de AA, l’anneau κ(p)⊗AB\kappa(p) \otimes_A B est un anneau de Gorenstein.

EXERCICES

Ces conditions sont satisfaites en particulier lorsque B est un anneau de Gorenstein.

Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.