Hensel引理
维基百科,自由的百科全书
在數學上 ,Hensel引理是一個求根方法,類似牛頓法,可用於完備交換環。
Hensel引理的初等形式如下。
設f(x)為有整係數多項式,k為不少於2的整數,p為質數。若整數r是下面同餘式的根:
對於
- (I)
,則有:
- 若,則存在唯一的整數使得(I)成立。
- 若 且 ,則(I)對任意整數t成立。
- 若 但 ,則(I)無整數解。
[编辑] 證明
Hensel引理可用泰勒公式證明。
因此可見,由第三項開始,都必能被pk整除。因此:
[编辑] 推廣
若K為完備局域。設 為K的整數環,設f(x)為係數在 的多項式,若存在 使得
- | f(α0) | < | f'(α0) | 2
則f(x)有根。
且:
- 趨近α
這個引理其中一個重要應用就是在域為p進數的情形。