Bourbaki

Definition 2

Tag 053J, permanent. Cite it as [Bourbaki, Tag 053J].

Commutative Algebra, chapter VII, § 4. Modules over integrally closed Noetherian domains

An A-module M is called pseudo-zero if it is finitely generated and it satisfies the equivalent conditions of Proposition 9.

This definition and Proposition 9 show that a pseudo-zero A-module is a torsion A-module; the converse is false.

Examples (1) If A is a Dedekind domain, every prime ideal of A is of height ≤1\leq 1; to say that M is pseudo-zero means then that Supp⁡(M)=∅\operatorname{Supp}(M) = \varnothing and hence that M=0M = 0 (Chapter 11, §4§ 4, no. 4).

(2) Let kk be field and A=k[X,Y]A = k[X, Y] the polynomial ring over kk in two indeterminates; if mm is the maximal ideal AX+AYAX + AY of AA, the AA-module A/mA/m is pseudo-zero; for its annihilator mm is not of height ≤1\leq 1 since it contains the principal prime ideals AXAX and AYAY and is distinct from them; therefore A:m=AA : m = A (§ 1, no. 6, Corollary 1 to Theorem 3).

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

Cited by

Cites

Transcribed from the printed volume. Not translated.