The Haar measure of the $p$-adic rotation group $\text{SO}(3{)}_p$ via nautical angles

Abstract

We study the explicit construction of the Haar measure on the compact $p$-adic rotation group $\text{SO}(3{)}_p$ by nautical (Cardano) parametrization. Exploiting its topological group isomorphism with ${\mathbb{H}}_p^{\times }/{\mathbb{Q}}_p^{\times }$ of $p$-adic quaternions modulo scalars, we derive the corresponding change of variables formulas and compute the associated Jacobian in the $p$-adic setting, which we combine with the known Haar measure on the multiplicative group of $p$-adic quaternions ${\mathbb{H}}_p^{\times }$. This yields an explicit formula for the normalized Haar measure on $\text{SO}(3{)}_p$ in nautical coordinates, with a factorized density in the three angles. Our construction provides a concrete tool suited for applications of non-Archimedean models where an explicit angular description of invariant integration is required.