the degree of a splitting field of a polynomial

Let $f(x)\in F[x]$ be a polynomial of degree $n$. Let $K$ be a splitting field of $f(x)$ over $F$. Then [K:F] must divides $n!$.

I only know that $[K:F] \le n!$, but how can I show that $[K:F]$ divides $n!$?

Solutions Collecting From Web of "the degree of a splitting field of a polynomial"

Hint: Try induction on $n$. The base case is clear; in the inductive step, we will want to start with a degree $n+1$ polynomial $f$, and somehow reduce to the case of a degree $\leq n$ polynomial. There are two cases: $f$ is irreducible, and $f$ is reducible.

Suppose $f$ is reducible. Let $p$ be an irreducible factor of $f$, so that $1\leq \deg(p)\leq n$, and let $L$ be the splitting field of $p$ over $F$. Then $K$ is the splitting field of $\frac{f}{p}$ over $L$, and $\deg(\frac{f}{p})=\deg(f)-\deg(p)$. Note that $a!\times b!$ always divides $(a+b)!$ (this is equivalent to the binomial coefficients being integers).

Suppose $f$ is irreducible. Then letting $L=K[x]/(f)\cong K(\alpha)$ for some root $\alpha$ of $f$, we have that $[L:F]=n+1$. Now consider $\frac{f}{x-\alpha}$ (which is of degree $n$) as a polynomial over $L$.
{"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": 0, "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, "url": "http://bootmath.com/the-degree-of-a-splitting-field-of-a-polynomial.html", "fetch_time": 1532082980000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2018-30/segments/1531676591578.1/warc/CC-MAIN-20180720100114-20180720120114-00169.warc.gz", "warc_record_offset": 60663458, "warc_record_length": 5751, "token_count": 377, "char_count": 1179, "score": 4.03125, "int_score": 4, "crawl": "CC-MAIN-2018-30", "snapshot_type": "latest", "language": "en", "language_score": 0.8441458940505981, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00024-of-00064.parquet"}