proof of Hensel’s lemma
Lemma: Using the setup and terminology of the statement of Hensel’s Lemma, for ,
i) | ||||
ii) | ||||
iii) | ||||
iv) |
where .
Proof:All four statements clearly hold when . Suppose they are true for . The proof for essentially uses Taylor’s formula. Let . Then
for . by induction, and since , it follows that . Since the norm is non-Archimedean, we see that
proving i).
by definition of , so and hence . Hence
where the last equality follows by induction. This proves ii).
To prove iii), note that by the definitions of and , so when since . So by induction, .
Finally, to prove iv) and the proof of the lemma, since and hence is in the valuation ring of . So by induction, .
Proof of Hensel’s Lemma:
To prove Hensel’s lemma from the above lemma, note that since , so converges to since is complete. Thus by continuity. But , so , so and the proof is complete.