亨泽尔引理
亨澤爾引理是數學中模算術的一個結論。亨澤爾引理說明，如果一個模 p（p 是給定的質數）的多項式方程有一個單根，則可以通過這個根求出該方程在模 p 的更高次方時的根。在完備交換環（包括 p 進數）中，亨澤爾引理被看作是類似於牛頓法的漸進求根方法。由於 p 進數分析在某些方面比實分析更加簡單，亨澤爾引理可以加強為多項式方程有根的判定方法。