Bourbaki

Proposition 20

Tag 02JZ, permanent. Cite it as [Bourbaki, Tag 02JZ].

Théories spectrales, chapter II, § 1. Transformation de Fourier

The mapping x↦x\mapsto exp(2iπλ(x)i\pi \lambda (x)) is a unitary character of Qp\mathbf{Q}_p whose kernel is Zp\mathbf{Z}_p.

For x1x_1 and x2x_2 in Qp\mathbf{Q}_p, one has by definition λ(x1+x2)−λ(x1)−λ(x2)∈\lambda (x_1+x_2)-\lambda (x_1)-\lambda (x_2)\in Zp∩Q=Z\mathbf{Z}_p\cap \mathbf{Q}=\mathbf{Z}. The mapping λ\lambda is moreover locally constant since λ(x+y)=λ(x)\lambda (x+y) =\lambda (x) if y∈Zpy\in \mathbf{Z}_p. It then follows that x↦x\mapsto exp(2iπλ(x)i\pi \lambda (x)) is a unitary character of Qp\mathbf{Q}_p. Since λ(x)∈Z\lambda (x)\in \mathbf{Z} if and only if x∈Zpx\in \mathbf{Z}_p, the kernel of this character is Zp\mathbf{Z}_p.

We recall that the normalised Haar measure on the additive group of Qp\mathbf{Q}_p is the unique Haar measure μ\mu such that μ(Zp)=1\mu(\mathbf{Z}_p) = 1 (INT, VII, §1, No.o6^o6, example).

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5.4, gpt-5-6-mini, against glossary version 34. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.