Remark

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

Commutative Algebra, chapter VII, § 1. Krull domains

In the course of the above proof it has been proved that $A : a = A : (A : (A : a))$ for every ideal $a \in I(A)$ , which is a special case of Set Theory, Chapter 111, § 1, no. 5, Proposition 2.

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

Cited by

Nothing.

Cites

§ 1, no. 5, Proposition 2