Throughout ℤp and ℚp
will,
respectively, denote the ring of p-adic integers and the
field of p-adic numbers (for p prime). We denote by
[Copf ]p the completion of the algebraic
closure of ℚp with respect to the
p-adic metric. Let vp denote the
p-adic valuation of [Copf ]p normalised so
that
vp(p)=1. Put [ ]p
={ω∈[Copf ]p[mid ]
ωpn=1 for some
n[ges ]0} so that
[ ]p is the union of cyclic (multiplicative) groups
Cpn of
order pn (for n[ges ]0).
Let UD(ℤp) denote the
[Copf ]p-algebra of all uniformly differentiable functions
f[ratio ]ℤp→[Copf ]p
under pointwise addition and convolution multiplication *, where for
f, g∈UD(ℤp) and
z∈ℤp we have
formula here
the summation being restricted to i, j with
vp(i+j−z)[ges ]n.
This situation is a starting point for p-adic Fourier analysis
on
ℤp, the analogy
with the classical (complex) theory being substantially
complicated by the absence of
a p-adic valued Haar measure on ℤp
(see [5, 6] for further details).