Generating sets of Galois equivariant Krasner analytic functions (Q2313583)

Let \(p\) be a prime number, \(x\) be an element of the completion \(\mathbb C_p\) of an algebraic closure of the field of \(p\)-adic numbers. In earlier papers, the authors defined a \(\mathbb C_p\)-holomorphic function associated with \(x\) called the trace function; see [\textit{M. Vâjâitu} and \textit{A. Zaharescu}, Publ. Mat., Barc. 50, No. 1, 43--55 (2006; Zbl 1131.11076); \textit{N. Popescu} et al., Algebr. Represent. Theory 9, No. 1, 47--66 (2006; Zbl 1138.11054)]. In the present paper, the authors provide an explicit generating set, which is given by the trace function of \(x\) and all its derivatives, for the \(\mathbb C_p\)-Banach algebra of the Galois equivariant Krasner analytic functions defined on the complement in \(\mathbb P^1(\mathbb C_p)\) of the orbit of \(x\) with values in \(\mathbb C_p\).