Bourbaki

Proposition 1

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

Commutative Algebra, chapter IV, § 1. Prime ideals associated with a module

For every prime ideal pp of a ring AA and every submodule M≠0M \neq 0 of A/pA/p, Ass⁡(M)={p}\operatorname{Ass}(M) = \{p\}.

As the ring A/pA/p is an integral domain, the annihilator of an element ≠0\neq 0 of A/pA/p is pp.

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

Cited by

Cites

Nothing.

Transcribed from the printed volume. Not translated.