Example 1

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

Commutative Algebra, chapter III, § 5. Flatness properties of filtered modules

If A is Noetherian and $\mathfrak{g}$ is contained in the Jacobson radical of A (in other words if A is a Zariski ring with the 3-adic topology), every finitely generated A-module is ideally Hausdorff (§3, no. 3, Proposition 6).

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

Cited by

Proposition 2, § 5

Cites

Nothing.