Bourbaki

Definition 6

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

Integration, chapter VII, § 1. Construction of a Haar measure

— Let K be a locally compact field(1)^{(1)}. For a∈K∗a \in K^*, one calls modulus of a, and denotes by modK(a)\mathrm{mod}_K(a) or simply mod(a)\mathrm{mod}(a), the modulus of the automorphism x↦axx \mapsto ax of the additive group K+K^+ underlying K; one sets mod(0)=0\mathrm{mod}(0) = 0.

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

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed volume. Not translated.