Example 1
Tag 0CKO, permanent. Cite it as [Bourbaki, Tag 0CKO].
Commutative Algebra, chapter VIII, § 1. Dimension de Krull d’un anneau
Suppose A noetherian and integral. Then one has ; one has and . The modules of type are therefore the torsion modules.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.