Bourbaki

Remark

Tag 04KG, permanent. Cite it as [Bourbaki, Tag 04KG].

Commutative Algebra, chapter IV, § 2. Primary decomposition

Let qq be a p-primary submodule of an AA-module NN. If N/QN/Q is finitely generated, there exists an integer k>0k > 0 such that pkN⊂Qp^k N \subset Q by §1§ 1, no. 4, Proposition 9.

Examples

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.