Corollary 1

Tag 0E1D, permanent. Cite it as [Bourbaki, Tag 0E1D].

Suppose $A$ commutative. We have

dh(A[X_1, ..., X_n]) = dh(A) + n .

This follows from the theorem by induction on $n$ .

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

Cited by

Nothing.

Nothing.