Exercice 20, § 8
Algèbre, III, p. 194
Soient un anneau commutatif, un -module quelconque, une matrice de type à éléments dans . a) Supposons , et soit ; alors, si sont des éléments de tels que pour , on a pour tout indice . b) Supposons quelconques, tous les mineurs d’ordre de nuls et un mineur d’ordre inversible, par exemple celui de la matrice où et ; alors, si désigne la ligne d’indice dans , les d’indice forment une base du sous-module de engendré par toutes les lignes de ; pour , on a donc . Soient alors des éléments de ; pour qu’il existe des éléments de vérifiant le système d’équations pour , il faut et il suffit que l’on ait pour .
Solution
Aucune solution n’a encore été écrite.