Local zero estimates and effective division in rings of algebraic power series

Guillaume Rond

We give a necessary condition for algebraicity of finite modules over the ring of formal power series. This condition is given in terms of local zero estimates. In fact we show tha…