Weierstrass preparation theorem (source code)

= Weierstrass preparation theorem
{c}
{wiki}

Over a complete local ring, a power series whose first unit coefficient has index $d$ is a unit times a unique monic distinguished polynomial of degree $d$. Consequently its sufficiently small zeros, counted with multiplicity, are the zeros of that polynomial.