Bourbaki

Exercice 2, § 1

Étiquette 000Y, permanente. À citer comme [Bourbaki, Tag 000Y].

Algèbre, VIII, p. 13

Bourbaki marks this one as harder than the rest.

Soient A un anneau, M un A-module de longueur finie nn et R un ensemble d’endomorphismes nilpotents de M, stable par composition.

a) Si n=1n= 1, tout élément de R est nul. Si n>1n >1, démontrer qu’il existe un sous-module N de M, distinct de 0 et de M, stable par tous les éléments de R. (On peut supposer que R possède un élément s≠0s\not= 0; en choisir un pour lequel s(M)s(M) ait la plus petite longueur possible, et démontrer que l’on a srs=0srs= 0 pour tout r∈Rr\in R. En déduire que l’on peut prendre N=s(M)N =s(M) si Rs={0}Rs=\{0\}, et N=∑r∈Rr(s(M))N =\sum_{r\in R}r(s(M)) si Rs≠{0}.Rs\not=\{0\}.)[^1]

b) Déduire de a) qu’il existe une suite de Jordan-Hölder (Mi)0⩽i⩽n(M_i)_{0\leqslant i\leqslant n} de M telle que l’on ait r(Mi)⊂Mi+1r(M_i)\subset M_{i+1} pour tout r∈Rr\in R et 0⩽i⩽n−10\leqslant i\leqslant n-1. En déduire que l’on a r1...rn=0r_1. . . r_n= 0 pour toute suite (ri)1⩽i⩽n(r_i)_{1\leqslant i\leqslant n} de nn éléments de R.

[^1]: Cette démonstration nous a été communiquée par A. Rosenberg.

Solution

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

Cité par

Cite

Rien.

Transcrit du volume imprimé. Non traduit.