No label defined (Q4344754)

For a prime \(p\), let \(\mathbb{Q}_p\) be the \(p\)-adic number field, \(\mathbb{Z}_p\) its valuation ring, and \(\mathbb{C}_p\) the completion of the algebraic closure of \(\mathbb{Q}_p\). For an abelian topological group \(G\) the \(p\)-adic dual \(G^\wedge\) is defined as the group of all continuous homomorphisms \(G\to U:= \{a\in\mathbb{C}_p:|a|=1\}\). The main goal of the paper is the description of \(U^\wedge\). In Theorem 4 it is proved that \[ U^\wedge= A\times B\times C \] where \(A=\prod_{q\text{ prime}} \mathbb{Z}_q\), \(B= l^\infty(\mathbb{N}\to \mathbb{C}_p)\), the space of all bounded sequences in \(\mathbb{C}_p\), and \(C\) is a well-described subgroup of \((\mathbb{Q}_p/\mathbb{Z}_p)^\mathbb{N}\). To arrive at this result, properties of the \(p\)-adic exponential and logarithm are used and also the theory of orthogonal bases of \(\mathbb{C}_p\) as a Banach space over \(\mathbb{Q}_p\).