Maximum principle for analytic elements and Lubin-Hensel's theorem in \(H(D)[[Y]]\) (Q795102)

Let \((K,|.|)\) be a complete ultrametric algebraically closed field. Let D be a bounded closed subset of K, and let \(H(D)\) be the Banach algebra of the analytic elements on D, with the uniform convergence norm \(\|.\|_ D\) on D. First we characterize the bounded closed sets \(D\subset K\) such that, for every analytic element \(f\in H(D)\), \(| f(x)|\) reaches its maximum at a point \(\alpha \in D.\) With the help of this result, the second aim of the article is to obtain a kind of Hensel lemma for the Taylor series \(\sum^{\infty}_{s=0}\xi_ s(x) Y^ s\) with coefficients \(\xi_ s\) in \(H(D)\), in the form \(P(Y) G(Y)\) with P a degree n monic polynomial in \(H(D)[Y]\), with n zeroes in the disk \(d(0,r(x))\), and \(G(Y)\in H(D)[[Y]]\) with no zero in \(d(0,r(x))\). Actually the hypothesis taken in theorem 2 must be somewhat restricted, in replacing \((1)\quad \limsup_{s\to \infty}\| \xi_ s^{n-l} \xi_ l^{s-n}\|_ D<1\) by \((2)\quad \lim_{s\to \infty}(\sup_{x\in D}| \xi_ s(x)| r(x)^ s)=0\) (indeed, without assuming (2), the existence of the Euclidean division used in the proof of proposition 2 is not proved). In a further article, we will give a complete new proof for the Hensel factorization in assuming (1). Then we will extend it to the Laurent series with coefficients in \(H(D)\). Such results sometimes may be used in p-adic differential equations; a first condition to have factorization for Taylor series is given by \textit{B. Dwork} in ''Lectures on p-adic differential equations'' (1982; Zbl 0502.12021).