Factorization of quadratic polynomials in the ring of formal power series over Z\Z

We establish necessary and sufficient conditions for a quadratic polynomial to be irreducible in the ring $Z[[x]]$ of formal power series with integer coefficients. For $n,m\ge 1$ and $p$ prime, we show that $p^n+p^m\beta x+\alpha x^2$ is reducible in $Z[[x]]$ if and only if it is reducible in $Z_p[x]$, the ring of polynomials over the $p$-adic integers.Comment: 15 page

Factoring polynomials in the ring of formal power series over Z

We consider polynomials with integer coefficients and discuss their factorization properties in Z[[x]], the ring of formal power series over Z. We treat polynomials of arbitrary degree and give sufficient conditions for their reducibility as power series. Moreover, if a polynomial is reducible over Z[[x]], we provide an explicit factorization algorithm. For polynomials whose constant term is a prime power, our study leads to the discussion of p-adic integers.Comment: 10 pages, submitte