Proposition 17

Tag 09E2, permanent. Cite it as [Bourbaki, Tag 09E2].

— Suppose A is a field (locally compact). For every $a \in A$ , $\mathrm{mod}_A(a) = \mathrm{mod}_K N_{A/K}(a)$ .

This is a translation of the first formula of (38).

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

Cited by

Nothing.