Intereting Posts

How to find $\lim_{(x,y)\rightarrow (0,0)} \frac{\sin(x\cdot y)}{x}$?
Prove that every finite group occurs as the Galois group of a field extension of the form $F(x_{1}, \dots , x_{n})/F$.
$p=4n+3$ never has a Decomposition into $2$ Squares, right?
Prove that $A \subset B$ if and only if $A \setminus B = \emptyset$
Bounded operator and Compactness problem
Show that $\prod (1- P(A_n))=0$ iff $\sum P(A_n) = \infty$
Rapid approximation of $\tanh(x)$
Geometric intuition behind gradient, divergence and curl
Make up a reasonable definition for the bipartite complement of a bipartite graph
Can someone explain me this summation?
Prove $F(n) < 2^n$
$f:\mathbb R^{2} \rightarrow \mathbb R$ s.t ${f(x,y)}={{xy}\over {x^{2}+y}}$ is not continuous at the origin
Homework: No field extension is “degree 4 away from an algebraic closure”
Show that $f(x)=\frac{x}{1+|x|}$ is uniformly continuous.
Distribution of sum of iid cos random variables

Let $K$ be a field and $f(x)\in K[X]$ be a polynomial of degree $n$. And let $F$ be its splitting field. Show that $[F:K]$ divides $n!$.

Here $[F:K]$ denotes the dimension of $F$ over $K$ as a vector space.

I already know it is true for $K=F$, so the problem here is when $f$ is irreducible in $K[X]$.

- Least upper bound property iff convergence of Cauchy sequences
- Can $G≅H$ and $G≇H$ in two different views?
- Is it true that $(R\times S)\cong R\times S$?
- Show that every ideal of the matrix ring $M_n(R)$ is of the form $M_n(I)$ where $I$ is an ideal of $R$
- $H_1 ,H_2 \unlhd \, G$ with $H_1 \cap H_2 = \{1_G\} $. Prove every two elements in $H_1, H_2$ commute
- $\mathbb{Z}_m \times \mathbb Z_n$ is cyclic if and only if $\gcd(m,n)=1$

- Prove that $N \subset Z(G)$
- Example of a group where $o(a)$ and $o(b)$ are finite but $o(ab)$ is infinite
- Bivariate polynomials over finite fields
- Show that is $F$ is a finite field then, $P_F:=$ the set of all polynomial functions on F is not isomorphic to $F$
- Elementary geometry from a higher perspective
- Compute the Jacobson radical of the group ring $\mathbb{F}_2S_3$.
- Show that Pn is an (n+1)-dimensional subspace
- Power of prime ideal
- What is the intersection of all Sylow $p$-subgroup's normalizer?
- Irreducible Polynomials: How many elements are in E?

Let $n_1,n_2,\ldots n_k$ be the degrees of the irreducible factors of $f$. Then $n_1+\ldots +n_k=n$. We know the result holds for irreducibles, hence $[F:K]|n_1!\cdot n_2!\cdot\ldots\cdot n_k!$. However the multinomial coefficient

$${n\choose n_1,n_2,\ldots, n_k}={n!\over n_1!n_2!\ldots n_k!}$$

is the number of ways to choose to separate $n$ things into $k$ groups of sizes $n_1,\ldots, n_k$ and as such is an integer. So

$$n! = j(n_1!\cdot n_2!\cdot\ldots \cdot n_k!)$$

for some $j\in\Bbb Z$ which is the definition of divisibility, hence a fortiori $[F:K]|n!$.

**Edit (irreducible case lemma):** The op seems to think that either $K=F$ or $f$ is irreducible, which is false eg $K=\Bbb Q$ and $f(x) = (x^2+1)(x^2-1)$, so I’m leaving the original answer and adding just the irreducible case.

When $f$ is irreducible, let $K=K_0$. We know that $K_1=K_0[x]/(f(x))$ has degree $n$ and has at least one root, so in $K_1[x], f(x) = (x-\alpha)g(x)$ for some $g(x)$ of degree $n-1$. Then perhaps there are more roots than just one, but when we factor $g(x)$ into irreducibles they are all of degree smaller than $n$, so when we write $g$ as a product of irreducibles we get things of degree adding up to something smaller than $n$. Then we induct as we form $K_2=K_1[x]/(g_1(x))$ where $g_1(x)$ is an irreducible factor of $g(x)$ and since each time the degree of the extension is lowered by at least $1$, we inductively see that $[K_i: K_{i-1}]$ for some $N$ we have $K_N=F$ and $[K_N:K_{N-1}]\cdot\ldots\cdot [K_1:K_0]=[F:K]$ and so since the product on the LHS divides $n!$ by the argument we are done.

- Probability that one part of a randomly cut equilateral triangle covers the other
- Tangential Space of a differentiable manifold is always $\mathbb R^n$?
- How to solve this integral: $ \int_{-1}^{1} \frac{x^4}{a^x+1}dx $?
- Prove that the function $\xi\in R \mapsto {e^{i\cdot \xi\cdot λ}-1\over i\cdot \xi}-λ$ is $C^{\infty}$
- A possible closed form?
- Is this alternative definition of 'equivalence relation' correct?
- Closed form for $\int_0^{\infty}\sin(x^n)\mathbb{d}x$
- What is the fallacy in this proof?
- Summation of infinite series with hyperbolic sine
- The convergence of a sequence of sets
- Prove that $\sqrt{\frac{a}{a+7b}}+\sqrt{\frac{b}{b+7a}}\geq\sqrt{\frac{a}{a+3b}}+\sqrt{\frac{b}{b+3a}}$
- Why does the mandelbrot set and its different variants follow similar patterns to epi/hypo trochodis and circular multiplication tables?
- What is this automorphism-related subgroup?
- Isomorphic Group with $G=(\mathbb Z_{2^\infty}\oplus \frac{\mathbb Q}{\mathbb Z}\oplus \mathbb Q)\otimes_{\mathbb Z}\mathbb Q $
- Show that $\sum_{n=0}^{\infty}\frac{2^n(5n^5+5n^4+5n^3+5n^2-9n+9)}{(2n+1)(2n+2)(2n+3){2n\choose n}}=\frac{9\pi^2}{8}$