Algèbre commutative, X, p. 152
Soient A un anneau, M un A-module, x1,…,xr des éléments de A. a) Pour tout entier p tel que 1≤p≤r, on pose Mp=M/(x2M+…+xpM). Prouver que si la suite (x1,…,xr) est M-régulière, la suite (x1,xp+1,xp+2,…,xr) est Mp-régulière (raisonner par récurrence sur p). b) Pour que les suites (x1,x3) et (x2,x3) soient M-régulières, il faut et il suffit que la suite (x1x2,x3) soit M-régulière. c) Soit xp′∈A (1≤p≤r). Pour que les suites (x1,…,xp,…,xr) et (x1,…,xp′,…,xr) soient M-régulières, il faut et il suffit que la suite (x1,…,xpxp′,…,xr) soit M-régulière (utiliser a et b). d) Soient n1,…,nr des entiers ≥1. Pour que la suite (x1n1,…,xrnr) soit M-régulière, il faut et il suffit que la suite (x1,…,xr) soit M-régulière.