3
$\begingroup$

Let $E$ be a field and let $F$ be a finite Galois extension of $E$.

Let $h(x)$ be an irreducible monic polynomial in $E[x]$, and $h_{1}(X),h_{2}(X)$ be two irreducible monic polynomials in $F[X]$, both of which divide $h(x)$.

I want to show that exists an automorphism $\theta$ of $F[X]$ such that $\theta$ leaves all elements in $E[X]$ fixed and furthermore $\theta (h_{1})=h_{2}$.

case one is h1,h2 are both linear polynomial, then its done. Suppose not, case two, I have to show that they have the same order, this is where I stuck

  • 0
    @ YACP , this is not a homework, I am just doing problems preparing for the exam. for this problem, case one is $h_{1},h_{2}$ are both linear polynomial, then its done. Suppose not, case two, I have to show that they have the same order, this is where I stuck2012-12-29

1 Answers 1

3

Let $G$ be the Galois group of $F/E$. Let $P = (h(X))$ be the ideal of $E[X]$. Let $Q_i = (h_i(X))$ be the ideal of $F[X]$ for $i = 1, 2$. Since $P \subset Q_1 \cap E[X]$ and $P$ is a maximal ideal, $P = Q_1 \cap E[X]$. Let $g = \prod_{\sigma\in G} \sigma(h_1)$. Then $g \in Q_1 \cap E[X] = P$. Hence $g \in Q_2$, i.e. $g$ is divisible by $h_2$. Hence there exists $\sigma \in G$ such that $\sigma(h_1) = h_2$.

  • 0
    Got it, thanks a lot.2012-12-30