1
$\begingroup$

Let $F$ a Galois over $K$, and let $B$ be a subfield of $F$ such that : $K \le B\le F$ $\Rightarrow$ $F$ a Galois over $B$

PROOF: $F$ is a splitting field of $f \in K[x]$ separable over $K$. $F=K(a_1,...,a_n)$ and $a_i$ are the roots of $f$ in $F$. Then $F=B(a_1,...,a_n)$ and $F$ is a splitting field of $f$ over $F$. I have to show that $f$ is separable over B, how?

Can somebody help me with this proof?

EDIT:

From my notes: "If $p$ is an irreducible factor of $f$ in $K$ then $p$ is product of irreducible factors over $B$" why?

$\endgroup$
2
  • $\begingroup$ Hint: The roots of $f$ in $F$ don't change, when you view $f$ as coming from $B[x]$ as opposed to $K[x]$. $\endgroup$ Jul 27, 2014 at 10:12
  • $\begingroup$ From my notes: "If $p$ is an irreducible factor of $f$ in $K$ then $p$ is product of irreducible factors over $B$" why? $\endgroup$
    – user158013
    Jul 27, 2014 at 10:20

2 Answers 2

1
$\begingroup$

A polynomial is separable if and only if $\gcd(f,f')=1$. Hence, separability does not change if you replace the base field from $K$ to $B$.

$\endgroup$
1
  • $\begingroup$ Thank you, do you think this is enough as proof? $\endgroup$
    – user158013
    Jul 27, 2014 at 12:10
0
$\begingroup$

Let $\alpha \in K$, and let $f(x)=Irr(\alpha,K).$ Then $a(x)f(x)+b(x)f'(x)=1$ in $K[x]$, i.e. $f$ has no multiple roots.

Now, let $g(x)=Irr(\alpha,B).$ Clearly $g(x)|f(x)$ in $B[x]$ (as $f(\alpha)=0$ and $f\in K[x]\subset B[x]$ and $g$ is the polynomial of minimum degree in $B[x]$ with this property), so if $f$ has no multiple roots, nor has $g$.

Your question simply follows from the fact that $B[x]$ is a UFD.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .