Published online by Cambridge University Press: 01 August 1997
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).