No label defined (Q4357433)

Let \(\mathbb{C}_p\) be the completion of the algebraic closure of the \(p\)-adic number field. Let \(G\) be the multiplicative group of analytic functions \(f\) on the unit disk that are invertible and for which \(f(0)=1\). With the uniform topology \(G\) is a (nonlocally compact) topological group. The authors describe the character group \(G'\) of \(G\). It is shown that \(\chi (G) \subset B:= \{x\in\mathbb{C}_p: |x-1 |<1\}\) for every \(\chi\in G'\). It is known that \(B= \Gamma \times\Delta\) where \(\Gamma\) is the group of roots of unity whose order is a power of \(\rho\) and where \(\Delta= \exp(\mathbb{C}_p)\) where exp is a natural extension of \(x\mapsto \Sigma x^n/n\): (the series does not converge everywhere). Accordingly \(G'=\overline {G'}\times \widetilde {G'}\) where \(\overline{G'}= \{\chi\in G':\chi (G)\subset \Delta\}\), \(\widetilde{G'} =\{\chi \in G':\chi (G)\subset \Gamma\}\). It is shown that \(\overline{G'}\) is isomorphic to \(\ell^\infty\) and that \(\widetilde{G'}\) is a quotient of a group \(\widetilde B\) of certain sequences. Both \(\widetilde B\) and the kernel of the quotient map are described. For the entire collection see [Zbl 0869.00037].