Exercice 15, § 4
Étiquette 0755, permanente. À citer comme [Bourbaki, Tag 0755].
Algèbre, VII, p. 63
Bourbaki marks this one as harder than the rest.
a) Soit un module de longueur finie, et de rang sur un anneau principal , et soient () ses facteurs invariants rangés par ordre décroissant. Soit () une suite d’éléments de telle que, pour , divise et que, pour , divise . Soit une suite de sous-modules de telle que soit somme directe des et que soit isomorphe à pour ; soit un générateur de (). On pose
Montrer que le quotient de par le sous-module monogène est isomorphe à la somme directe des modules (). b) Soient et deux modules de longueur finie sur ; soient () et () les facteurs invariants respectifs de et , rangés par ordre décroissant; on suppose que , que divise pour , et que divise pour , étant un entier tel que
Montrer qu’il existe un sous-module de , isomorphe à , et tel que soit de rang (décomposer chacun des deux modules et en somme directe de modules, de façon à se ramener au cas ; utiliser ensuite ) et l’exerc. 13, g)). c) Pour qu’un module sur soit isomorphe à un facteur direct d’un module de longueur finie , il faut et il suffit que tout diviseur élémentaire de soit un diviseur élémentaire de , et que sa multiplicité dans soit au plus égale à sa multiplicité dans . En déduire un exemple d’un module de longueur finie et d’un sous-module de tel que le rang de soit égal à la somme des rangs de et de , et que n’admette pas de supplémentaire dans (utiliser ).
Solution
Aucune solution n’a encore été écrite.
Cité par
Rien.
Cite
Rien.