亨泽尔引理 编辑
亨泽尔引理是数学中模算术的一个结论。亨泽尔引理说明，如果一个同余p的多项式方程有一个多项式，则可以通过这个根求出该方程在模p的更高次方时的根。在完备空间交换环中，亨泽尔引理被看作是类似于牛顿法的渐进求根方法。由于p进数分析在某些方面比实分析更加简单，亨泽尔引理可以加强为多项式方程有根的判定方法。
3