Intereting Posts

finding right quotient of languages
Need help with the integral $\int_{0}^\infty e^{-x^{2}}x^{2n+1}dx $
Prove that $\sum_{k=0}^nk{m+k \choose m}=n{m+n+1\choose m+1}-{m+n+1 \choose m+2}$
Additive category that is not abelian
There is no $C^1$ function $f$ mapping an open interval in $\mathbb{R}$ onto open ball in $\mathbb{R}^2$
Why does $\sum_{n=0}^\infty (\sin{\frac{1}{n}})(\sinh{\frac{1}{n}})(\cos n)$ converge
A determinant inequality
Trying to understand the slick proof about the dual space
Calculate the number $o(\mathbb{R})$ of open subsets of the real line.
Squarefree binomial coefficients.
How to find the indefinite integral $\int \frac{dx}{1+x^{n}}$?
Covariant derivative – do the link between 2 expressions
Proving a ring is Noetherian when all maximal ideals are principal generated by idempotents
How to safely solve a pair of elementary equations in a floating point computing system?
Discontinuity of Dirac Delta distribution

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!$?

- Other Algebraically Independent Transcendentals
- $x$ is a left zero-divisor $\iff$ $x$ is a right zero-divisor.
- Coloring the faces of a hypercube
- Finding the 8 Automorphisms of $\mathbb{Q}{2}, i]$
- Book recommendations for self-study at the level of 3rd-4th year undergraduate
- All ideals of a subring of $\Bbb Q$

- If $G/Z(G)$ is abelian then $G$ is abelian?
- Galois Group of $X^p - 2$, p-an odd prime
- find all the members of A4/K
- In a monoid, does $x \cdot y=e$ imply $y \cdot x=e$?
- A Particular Two-Variable System in a Group
- Should every group be a monoid, or should no group be a monoid?
- How can we show that an abelian group of order <1024 has a set of generators of cardinality <10
- If an Abelian group $G$ has order $n$ and at most one subgroup of order $d$ for all $d$ dividing $n$ then $G$ is cyclic
- Why the term and the concept of quotient group?
- A module is projective iff it has a projective basis

**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$.

- Isometry in $\mathbb{R}^n$
- Words built from $\{0,1,2\}$ with restrictions which are not so easy to accomodate.
- Jordan Canonical Form determined by characteristic and minimal polynomials in dimension $3$, but not beyond
- Is $\sqrt{2}$ contained in $\mathbb{Q}(\zeta_n)$?
- How to derive the law of cosines without the pythagorean theorem
- If the localization of a ring $R$ at every prime ideal is an integral domain, must $R$ be an integral domain?
- Perfect Map $p:\ X\to Y$, $Y$ compact implies $X$ compact
- inverse function and maclaurin series coefficients.
- For what $n$ does a hyperbolic regular $n$-gon exist around a circle?
- An Integral Involving Brownian Motion
- The Center of $\operatorname{GL}(n,k)$
- Integration of $\displaystyle \int\frac{1}{1+x^8}\,dx$
- Behavior of Gamma Distribution over time
- A familiar quasigroup – about independent axioms
- $\lim_{x \to 2} \frac{x^{2n}-4^n}{x^2-3x+2}$