Results 1 to 2 of 2

Math Help - Re: Splitting Fields. Prove Q(alpha^4)=Q(alpha)

  1. #1
    Senior Member abhishekkgp's Avatar
    Joined
    Jan 2011
    From
    India
    Posts
    495
    Thanks
    1

    Re: Splitting Fields. Prove Q(alpha^4)=Q(alpha)

    Let $f(x)\in \mathbb Q[x]$ be an irreducible polynomial of degree $n\geq 3$. Let $L$ be the splitting field of $f$, and let $\alpha\in L$ be a zero of $f$. Given that $[L:\mathbb Q]=n!$, prove that $\mathbb Q(\alpha^4)=\mathbb Q(\alpha)$.
    ____

    Attempt:

    Lemma:
    Let $F$ be any field and $f,g \in F[x]$. Let $K$ and $L$ be splitting fields for $f$ and $g$ over $F$ respectively. Write $h=fg\in F[x]$. Let $E$ be the splitting field for $h$ over $F$. Then $[E:F]\leq [K:F][L:F]$

    Proof: Let $f=(x-\alpha_1)\cdots(x-\alpha_k)$ in $K[x]$ and $g=(x-\beta_1)\cdots(x-\beta_l)$ in $L[x]$. Its easy to see that $K=F(\alpha_1,\ldots,\alpha_k)$, $L=F(\beta_1,\ldots,\beta_l)$ and $E=F(\alpha_1,\ldots,\alpha_k,\beta_1,\ldots,\beta _l)$. From here its easy to conclude that \begin{equation*}[E:K]\leq [L:F]\tag{1}\end{equation*}Now, $[E:F]=[E:K][K:F]\leq [K:F][L:F]$. Hence the lemma is settled.$\blacksquare$

    Corollary: Let $F$ be any field and $f\in F[x]$ with deg $f=n$. Let $E$ be the spliting field for $f$ over $F$. Assume that $[E:F]=n!$. Then $f$ is irreducible over $F$.

    Assuming there are no mistakes in my argument..
    In the light of the corollary I think the question redundantly confers irreducibility to $f$.

    Now. Let $f=(x-\alpha_1)\cdots (x-\alpha_n)=(x-\alpha_1)g$ be the representation of $f$ in $L[x]$. Define $F_1=\mathbb Q(\alpha_1)$. Then $L$ is the splitting field for $g$ over $F_1$ satisfying $[L:F_1]=(n-1)!=\text{ deg }g$ and hence $g$ is irreducible over $F_1$. This piece of information suggests that induction might be helpful. I can settle the base case, that is, $n=3$. If you require then I can post the proof for the base case in my following posts.
    ____

    Can anybody see how to settle the question?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member abhishekkgp's Avatar
    Joined
    Jan 2011
    From
    India
    Posts
    495
    Thanks
    1

    Re: Splitting Fields. Prove Q(alpha^4)=Q(alpha)

    I am not sure why the LaTeX symbols don't appear. Its like the $$ wrap is not working at all.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 1
    Last Post: March 24th 2013, 12:03 AM
  2. Let alpha be a real number, alpha > -1 now show that
    Posted in the Differential Geometry Forum
    Replies: 6
    Last Post: November 27th 2011, 07:14 PM
  3. Replies: 1
    Last Post: November 14th 2011, 02:48 AM
  4. derive cos(alpha+beta) sin(alpha+beta)?
    Posted in the Trigonometry Forum
    Replies: 3
    Last Post: December 7th 2008, 03:27 PM
  5. prove tht sqrt(\alpha) is algebriac over K
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: April 10th 2008, 12:58 PM

Search Tags


/mathhelpforum @mathhelpforum