Bourbaki

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 Z0=Z.[Spec(A)]Z^0 = \mathbf{Z}.[\mathrm{Spec}(A)]; one has C>0=C\mathscr{C}^{>0} = \mathscr{C} and z0(M)=rg(M).[Spec(A)]z^0(M) = \mathrm{rg}(M).[Spec(A)]. The modules of type C>1\mathscr{C}^{>1} 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.

Translated with machine help, not yet reviewed by a person.