Note that we have treated the groups essentially as algebraic groups, and
in future development, it may pay off to follow the analytic approach
of \(p\) -adic Lie groups and Lie algebras [1]}, which allows for a
local description in terms of infinitesimal generators.
