Corollary 4
Tag 02JY, permanent. Cite it as [Bourbaki, Tag 02JY].
Théories spectrales, chapter II, § 1. Transformation de Fourier
The group is in duality with the group by the mapping . The group is in duality with by the mapping .
In fact, the mapping , log()) is a topological group isomorphism of onto . The assertion then follows from lemma 7 of II, p. 225, from corollary 2, and from the fact that the unitary characters of are 1 and .
Let be a prime number. The field of -adic numbers is the completion of for the -adic valuation (INT, VII, § 1, No., example, and AC, VI, § 3, No., example 4). For every , there exist a unique integer and a unique integer satisfying such that (A, VII, p. 10, Theorem 2, applied to the principal ideal domain and to the set of integers such that ). We put .
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.