Exercice 12, § 2
Algèbre, VII, p. 56
Bourbaki marks this one as harder than the rest.
a) Pour qu’un module -primaire M soit somme directe de sous-modules monogènes, il faut et il suffit qu’il existe dans M une partie pseudolibre H telle que, si N est le sous-module pur de M engendré par H, on ait . b) Pour que M soit somme directe de sous-modules monogènes, il faut et il suffit que M soit réunion d’une suite croissante de sous-modules, telle que pour chacun des , les hauteurs dans M des éléments de soient bornées. (Pour voir que la condition est suffisante, utiliser a), et l’exerc. 11, b).) c) Déduire de b) que si M est somme directe de sous-modules monogènes, tout sous-module de M est somme directe de sous-modules monogènes. d) Soit M un module -primaire sans élément de hauteur infinie, admettant un système dénombrable de générateurs. Montrer que M est somme directe de sous-modules monogènes (si est le sous-module engendré par les d’indice , appliquer b) à la suite croissante des , en utilisant l’exerc. 5 appliqué (pour k fixe) à la suite décroissante des . e) Soit M un module -primaire admettant un système dénombrable de générateurs. Pour que M soit somme directe de sous-modules indécomposables, il faut et il suffit que le sous-module N des éléments de hauteur infinie dans M soit pur (utiliser d) et l’exerc. 7, c)).
Solution
Aucune solution n’a encore été écrite.