Results 1 to 1 of 1

Thread: Separable polynomial over field of characteristic 0

  1. #1
    Ant
    Ant is offline
    Member
    Joined
    Apr 2008
    Posts
    145
    Thanks
    4

    Separable polynomial over field of characteristic 0

    Let $\displaystyle K$ be a field of characteristic 0. Let $\displaystyle f \in K[X]$ be an irreducible polynomial. I want to prove that $\displaystyle f$ has no repeated roots in its splitting field. i.e. I want to show that it is separable.

    It we let $\displaystyle f'$ denote the formal derivative of $\displaystyle f$.

    So assume (for contradiction) that $\displaystyle f$ is not separable. Then it has a double root in it's splitting field, $\displaystyle \Sigma_f$, it we call this root $\displaystyle \alpha \in \Sigma_f $. Then $\displaystyle f, f' $ have a common divisor of degree at least 1 in $\displaystyle \Sigma_f[X]$, let's call it $\displaystyle g(X)$.

    I get that if this common divisor, $\displaystyle g(X) $ is actually in $\displaystyle K[X]$ we get a contraction (because $\displaystyle f(X)$ is irreducible), but what if $\displaystyle g(X) \in \Sigma_f [X] \setminus K[X]$?

    Could anyone help?
    Last edited by Ant; May 23rd 2013 at 02:52 AM.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 5
    Last Post: Sep 3rd 2012, 11:37 PM
  2. Replies: 2
    Last Post: Sep 3rd 2012, 04:38 AM
  3. separable extension and separable polynomial
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: Aug 30th 2009, 07:22 PM
  4. Characteristic of a field
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: Feb 28th 2009, 10:14 AM
  5. Field Characteristic
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: Jan 25th 2007, 03:52 PM

Search tags for this page

Click on a term to search for related topics.

Search Tags


/mathhelpforum @mathhelpforum