Krasner’s lemma
Krasner’s lemma (along with Hensel’s lemma) connects valuations on fields to the algebraic structure
of the fields, and in particular to polynomial roots.
Lemma 1.
(Krasner’s Lemma) Let be a field of characteristic complete with respect to a nontrivial nonarchimedean absolute value
. Assume (where is some algebraic closure
of ) are such that for all nonidentity embeddings
we have . Then .
This says that for any , there is a neighborhood of each of whose elements generates at least the same field as does.
Proof.
It suffices to show that for every , we have , for then is in the fixed field of every embedding of , so . Note that
where the final equality follows since is another absolute value extending to and thus must be equal to . But then
But this is impossible by the bounds on unless .∎
The first application of Krasner’s lemma is to show that splitting fields are “locally constant” in the sense that sufficiently close polynomials
in have the same splitting fields.
Proposition 2.
With as above, let be a monic irreducible polynomial of degree with (distinct) roots . Then any monic polynomial
of degree that is “sufficiently close” to will be irreducible
over with roots , and (after renumbering) .
Here “sufficiently close” means the following: consider the space of degree polynomials over as homeomorphic to as a topological space; close then means close in the obvious metric induced by .
Proof.
Since has distinct roots, we may choose for . Since the roots of a polynomial vary continuously with its coefficients, we say that a degree polynomial is sufficiently close to if has roots with . But are all the Galois conjugates of , and by construction, so by Krasner’s lemma, . But
so that . In addition, we see that and thus that is irreducible.∎
We use this fact to show that every finite extension of arises as a completion of some number field
.
Corollary 3.
Let be a finite extension of of degree . Then there is a number field and an absolute value on such that .
Proof.
Let and let be the minimal polynomial for over . Since is dense in , we can choose (note: in , not ), and a root of , as in the proposition, so that . Let . Clearly is a number field which, when regarded as embedded in , has absolute value , the restriction
of the absolute value on . Then is a complete field with respect to that absolute value; is as well, and is dense in both, so we must have .∎
Finally, we can prove the following generalization of Krasner’s Lemma, which is also given that name in the literature:
Lemma 4.
Let be a field of characteristic complete with respect to a nontrivial nonarchimedean absolute value, and an algebraic closure of . Extend the absolute value on to ; this extension is unique. Let be the completion of with respect to this absolute value. Then is algebraically closed.
Proof.
Let be algebraic over and its monic irreducible polynomial in . Since is dense in , by proposition 2 we may choose with a root such that . But so that .∎