Bourbaki

Remarque 3

Étiquette 0CMY, permanente. À citer comme [Bourbaki, Tag 0CMY].

Commutative Algebra, chapter VIII, § 3. Dimension des anneaux noethériens

Soient x∈mAx \in m_A et n≥1n \geq 1 un entier. Il est immédiat que les modules M/xMM/xM et M/xnMM/x^nM ont même support, donc même dimension. Par suite, x est sécant pour M si et seulement si xnx^n est sécant pour M. De là et de la remarque 2, on déduit aussitôt le résultat suivant : soient x1,...,xrx_1, ..., x_r des éléments de mAm_A et n1,...,nrn_1, ..., n_r des entiers >0> 0; alors la suite (x1,...,xr)(x_1, ..., x_r) est sécante pour M si et seulement si la suite (x1n1,...,xrnr)(x_1^{n_1}, ..., x_r^{n_r}) est sécante pour M.

Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.

Cité par

Rien.

Cite

Rien.

Transcrit du volume imprimé. Non traduit.