Abstract:We provide a general expression of the Haar measure—that is, the essentially unique translation-invariant measure—on a p -adic Lie group. We then argue that this measure can be regarded as the measure naturally induced by the invariant volume form on the group, as it happens for a standard Lie group over the reals. As an important application, we next consider the problem of determining the Haar measure on the p -adic special orthogonal groups in dimension two, three and four (for every prime number p ). In particular, the Haar measure on is obtained by a direct application of our general formula. As for and , instead, we show that Haar integrals on these two groups can conveniently be lifted to Haar integrals on certain p -adic Lie groups from which the special orthogonal groups are obtained as quotients. This construction involves a suitable quaternion algebra over the field and is reminiscent of the quaternionic realization of the real rotation groups. Our results should pave the way to the development of harmonic analysis on the p -adic special orthogonal groups, with potential applications in p -adic quantum mechanics and in the recently proposed p -adic quantum information theory.

The haar measure of a profinite n -ary group

Haar measure for non-Hausdorff locally compact groups

Formalized Haar Measure

The Haar measure on some locally compact quantum groups

Positive positive-definite functions and measures on locally compact abelian groups

Topological fundamental groupoid. III. Haar systems on the fundamental groupoid

Characterising the Haar measure on the $p$-adic rotation groups via inverse limits of measure spaces

Measures Invariant Under Horospherical Subgroups in Positive characteristic

Invariant measures on p-adic Lie groups: the p-adic quaternion algebra and the Haar integral on the p-adic rotation groups

An uncountable family of 3-generated groups with isomorphic profinite completions

The Conjugacy Ratio of Abelian-by-$\mathbb Z$ Groups

A non-de Finetti theorem for countable Euclidean spaces

On the structure of just infinite profinite groups

Densities on Dedekind domains, completions and Haar measure

Homogeneous asymptotic limits of haar measures of semisimple linear groups and their lattices

Finite subgroups of the profinite completion of good groups

Haar graphical representations of finite groups and an application to poset representations

Many Normal Measures

On the total number of principal series of a finite abelian group