Bourbaki

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 MM un module de longueur finie, et de rang nn sur un anneau principal AA, et soient AαiA\alpha_i (1≤i≤n1 \leq i \leq n) ses facteurs invariants rangés par ordre décroissant. Soit (βi)(\beta_i) (1≤i≤n1 \leq i \leq n) une suite d’éléments de AA telle que, pour 1≤i≤n1 \leq i \leq n, βi\beta_i divise αi\alpha_i et que, pour 1≤i≤n−11 \leq i \leq n - 1, αi\alpha_i divise βi+1\beta_{i+1}. Soit (Mi)1<i<n(M_i)_{1 < i < n} une suite de sous-modules de MM telle que MM soit somme directe des MiM_i et que MiM_i soit isomorphe à A/AαiA/A\alpha_i pour 1≤i≤n1 \leq i \leq n; soit aia_i un générateur de MiM_i (1≤i≤n1 \leq i \leq n). On pose

b=β1a1+β1β2α1a2+β1β2β3α1α2a3+⋯+β1β2…βnα1α2…αn−1an. b = \beta_1 a_1 + \frac{\beta_1 \beta_2}{\alpha_1} a_2 + \frac{\beta_1 \beta_2 \beta_3}{\alpha_1 \alpha_2} a_3 + \cdots + \frac{\beta_1 \beta_2 \ldots \beta_n}{\alpha_1 \alpha_2 \ldots \alpha_{n-1}} a_n .
Montrer que le quotient de MM par le sous-module monogène AbAb est isomorphe à la somme directe des nn modules A/AβiA/A\beta_i (1≤i≤n1 \leq i \leq n). b) Soient MM et NN deux modules de longueur finie sur AA; soient AαiA\alpha_i (1≤i≤n1 \leq i \leq n) et AβkA\beta_k (1≤k≤p1 \leq k \leq p) les facteurs invariants respectifs de MM et NN, rangés par ordre décroissant; on suppose que p≤np \leq n, que βk\beta_k divise αk+n−p\alpha_{k+n-p} pour 1≤k≤p1 \leq k \leq p, et que αk\alpha_k divise βk+(p+q−n)\beta_{k+(p+q-n)} pour 1≤k≤n−q1 \leq k \leq n-q, qq étant un entier tel que
q≤n≤p+q. q \leq n \leq p + q .
Montrer qu’il existe un sous-module PP de MM, isomorphe à NN, et tel que M/PM/P soit de rang ≤q\leq q (décomposer chacun des deux modules MM et NN en somme directe de qq modules, de façon à se ramener au cas q=1q = 1; utiliser ensuite aa) et l’exerc. 13, g)). c) Pour qu’un module NN sur AA soit isomorphe à un facteur direct d’un module de longueur finie MM, il faut et il suffit que tout diviseur élémentaire de NN soit un diviseur élémentaire de MM, et que sa multiplicité dans NN soit au plus égale à sa multiplicité dans MM. En déduire un exemple d’un module de longueur finie MM et d’un sous-module NN de MM tel que le rang de MM soit égal à la somme des rangs de NN et de M/NM/N, et que NN n’admette pas de supplémentaire dans MM (utiliser aa).

Solution

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

Cité par

Rien.

Cite

Rien.

Transcrit du volume imprimé. Non traduit.