A new form of the Hensel factorization for Taylor series with analytic coefficients (Q753867)

Let \(K\) be an algebraically closed complete ultrametric field. For a suitable open, closed, bounded \(D\subset K\) one considers \(H(D)=\) the algebra of analytic elements on \(D=\) the uniform limits of rational functions without poles on \(D\). The main result is a factorization for a power series \(F\in H(D)[[Y]]\). Under assumptions on the coefficients of \(F\) and the zeros of \(F\) it is shown that \(F\) factors as \(P.G\) where \(P\) is a monic polynomial in \(H(D)[Y]\) and where \(P_ x\) and \(F_ x\) have the same zeros for almost all \(x\in D\). This theorem improves an earlier result of the author [cf. Ann. Mat. Pura Appl., IV. Ser. 147, 73--92 (1987; Zbl 0631.12019) and \(p\)-adic analysis, Proc. Conf., Houthalen/Belg. 1986, 59--69 (1986; Zbl 0644.12013)].