Bourbaki

Exercice 14, § 3

Algèbre commutative, II

Soient AA un anneau non nécessairement commutatif, dont le radical mm est tel que A/mA/m soit un corps, et MM un AA-module libre de type fini.

a) Soit M′M' un second AA-module libre de type fini, et soit u:M→M′u : M \to M' un homomorphisme tel que u(M)u(M) soit facteur direct de M′M' ; on appelle rang de uu et on note rg(u)\mathrm{rg}(u) le nombre dim⁡u(M)\dim u(M). Pour un tel homomorphisme, Ker (u)\mathrm{Ker}\,(u) est facteur direct de MM et ρ(u)=dim⁡M−dim⁡(Ker (u))\rho(u) = \dim M - \dim (\mathrm{Ker}\,(u)) ; pour que uu soit injectif (resp. surjectif), il faut et il suffit que rg(u)=dim⁡M\mathrm{rg}(u) = \dim M (resp. rg(u)=dim⁡M′\mathrm{rg}(u) = \dim M'), Le transposé tu^t u est tel que tu(M′∗)^t u({M'}^*) soit facteur direct dans M∗M^* et on a rg(tu)=rg(u)\mathrm{rg}(^t u) = \mathrm{rg}(u).

b) Soit n=dim⁡Mn = \dim M. On appelle droites (resp. hyperplans) dans MM les facteurs directs de MM de dimension 1 (resp. n−1n-1). On dit qu’un automorphisme u∈GL(M)u \in \mathbf{GL}(M) distinct de l’identité est une transvection s’il existe un hyperplan HH de MM dont les éléments sont invariants par uu ; on a alors u(x)=x+aφ(x)u(x) = x + a \varphi(x), où φ\varphi est une forme linéaire sur MM telle que H=Ker (φ)H = \mathrm{Ker}\,(\varphi) et a∈Ha \in H ; réciproque. Si AA est commutatif, montrer que tout automorphisme u∈GL(M)u \in \mathbf{GL}(M) de déterminant 1 est produit de transvections (observer que, dans la matrice de uu par rapport à une base quelconque de MM, toute colonne contient au moins un élément inversible de A, et une matrice de la forme I+λEijI + \lambda E_{ij} (i≠ji \neq j) est la matrice d'une transvection).

c) Donner un exemple d'un automorphisme u∈GL(M)u \in \mathbf{GL}(M) tel que le noyau de 1−u1 - u ne soit pas facteur direct de M (prendre pour A l'anneau local K[[X]]K[[X]] des séries formelles à une indéterminée sur un corps K, et M=AM = A).

d) Donner un exemple de facteurs directs N, P de M (nécessairement libres) tels que N+PN + P et N∩PN \cap P ne soient pas des facteurs directs de M. (Prendre A=K[X]/(X2)A = K[X]/(X^2), où K est un corps, et M=A2M = A^2.)

Solution

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

Transcrit du volume imprimé. Non traduit.