Remark (1)

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

Commutative Algebra, chapter VI, § 8. Extensions of a valuation to an algebraic extension

If v is discrete, $\varepsilon(v'_i/v) = \varepsilon(v'_i/v)$ (no. 4) and condition (d) reduces to $\sum_{i=1}^s \varepsilon(v'_i/v) f(v'_i/v) = n.$

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

Cited by

Nothing.

Cites

Nothing.