Exercice 14, § 3
Algèbre commutative, II
Soient un anneau non nécessairement commutatif, dont le radical est tel que soit un corps, et un -module libre de type fini.
a) Soit un second -module libre de type fini, et soit un homomorphisme tel que soit facteur direct de ; on appelle rang de et on note le nombre . Pour un tel homomorphisme, est facteur direct de et ; pour que soit injectif (resp. surjectif), il faut et il suffit que (resp. ), Le transposé est tel que soit facteur direct dans et on a .
b) Soit . On appelle droites (resp. hyperplans) dans les facteurs directs de de dimension 1 (resp. ). On dit qu’un automorphisme distinct de l’identité est une transvection s’il existe un hyperplan de dont les éléments sont invariants par ; on a alors , où est une forme linéaire sur telle que et ; réciproque. Si est commutatif, montrer que tout automorphisme de déterminant 1 est produit de transvections (observer que, dans la matrice de par rapport à une base quelconque de , toute colonne contient au moins un élément inversible de A, et une matrice de la forme () est la matrice d'une transvection).
c) Donner un exemple d'un automorphisme tel que le noyau de ne soit pas facteur direct de M (prendre pour A l'anneau local des séries formelles à une indéterminée sur un corps K, et ).
d) Donner un exemple de facteurs directs N, P de M (nécessairement libres) tels que et ne soient pas des facteurs directs de M. (Prendre , où K est un corps, et .)
Solution
Aucune solution n’a encore été écrite.