Krasner's lemma states that if 
a complete field with valuation 
, 
is a fixed algebraic closure of 
together with the canonical extension of 
, and 
is its completion with respect to 
, then 
remains algebraically closed.
Krasner's Lemma
See also
Non-Archimedean ValuationThis entry contributed by José Gallardo Alberni
Explore with Wolfram|Alpha
Cite this as:
Weisstein, Eric W., with contributions by José Gallardo Alberni. "Krasner's Lemma." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/KrasnersLemma.html