# Unramified extension is normal if it has normal residue class extension

Let $K/F$ be an unramified extension such that $\rho_K / \rho_F$ (the corresponding extension of residue classes) is normal. Prove $K/F$ is normal.

I guess I need to do some polynomial lifting, but if we take $f(x)$ the minimal polynomial of $\alpha \in K$, we can't lift it to $\rho_F$ unless his coefficients are in $O_{F} = \{x\in F : |x| \leq 1\}$.

-
What are $K$ and $F$? Evidently they are valued field. Are they discretely valued? Complete? Finite extensions of $\mathbf{Q}_p$? –  Keenan Kidwell Jul 29 '12 at 17:31
I'm assuming $K$ and $F$ are complete, discretely valued fields and $K/F$ is finite separable. The term unramified" means the residue extension $\rho_K/\rho_F$ is separable and if $\pi$ is a uniformizer of $\mathscr{O}_F$, it is also a uniformizer of $\mathscr{O}_K$. So $[K:F]=[\rho_K:\rho_F]$. Let $f$ be a monic lift in $\mathscr{O}_F$ of the minimal polynomial for a generator $\bar{b}$ of $\rho_K$ over $\rho_F$ (which exists because the residue extension is finite separable). Then $f$ is irreducible because its reduction mod $\pi$ is. Because $\bar{f}$ is separable, we can uniquely lift $\bar{b}$ to a root $b$ in $\mathscr{O}_K$ of $f$ by Hensel's lemma. Thus we have an $F$-algebra injection $F[X]/(f(X))\hookrightarrow K$ sending $X$ to $b$. This must be an isomorphism by dimension counting. By Hensel's lemma, each root of $\bar{f}$ in $\rho_K$ lifts to a (unique) root of $f$ in $\mathscr{O}_K$. So, since $\bar{f}$ splits over $\rho_K$, $f$ splits over $K$. Thus $K$ is normal over $F$.
Do you need that $K/F$ is separable? –  Bruno Joyal Jul 29 '12 at 17:54
No, I don't actually need to assume it, but it's implied by the separability of $\bar{f}$. –  Keenan Kidwell Jul 29 '12 at 17:57
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 1, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9753091335296631, "perplexity": 159.594235425382}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2014-10/segments/1394678703018/warc/CC-MAIN-20140313024503-00028-ip-10-183-142-35.ec2.internal.warc.gz"}