Results 1 to 3 of 3

Thread: divisor

  1. #1
    Junior Member
    Joined
    Oct 2009
    Posts
    56

    divisor

    If p(x) is a polynomial of degree n in F[x] and if E is the splitting field of p(x) over F, then (E:F) is a divisor of n!
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Nov 2008
    Posts
    394
    Quote Originally Posted by apple2009 View Post
    If p(x) is a polynomial of degree n in F[x] and if E is the splitting field of p(x) over F, then (E:F) is a divisor of n!
    If the polynomial p(x) is separable or characteristic of F is 0, then it can be shown directly like this.

    If E is the splitting field of p(x) in F[x], then E is the Galois extension of F. Thus |Gal(E/F)| = [E:F]. Since Gal(E/F) is the subgroup of S_n (link), [E:F] should be a divisor of n! by Lagrange's theorem.
    Last edited by aliceinwonderland; Apr 19th 2010 at 01:24 AM.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    prove it by induction over $\displaystyle n.$ it's obvious for $\displaystyle n=1.$ for $\displaystyle n > 1$ consider two cases:

    case 1: $\displaystyle p(x)$ is irreducible. in this case $\displaystyle p(x)=(x-a)q(x),$ for some $\displaystyle a \in E$ and $\displaystyle q(x) \in F(a)[x].$ we have $\displaystyle [F(a):F]=n$ because $\displaystyle p(x) \in F[x]$ is irreducible. also note that $\displaystyle E/F(a)$ is a splitting

    field for $\displaystyle q(x)$ and thus, by induction hypothesis, $\displaystyle [E:F(a)]$ divides $\displaystyle (n-1)!.$ therefore $\displaystyle [E:F]=[E:F(a)][F(a):F]=n[E:F(a)] \mid n(n-1)!=n!.$

    case 2: $\displaystyle p(x)$ is reducible. then $\displaystyle p(x)=q(x)r(x),$ for some $\displaystyle q(x),r(x) \in F[x]$ with $\displaystyle 1 \leq \deg q(x)=m < n$ and $\displaystyle 1 \leq \deg r(x)=k < n.$ we also have $\displaystyle m+k=n.$ let $\displaystyle E_1/F$ be the splitting field for

    $\displaystyle q(x)$ which is contained in $\displaystyle E.$ then $\displaystyle E/E_1$ would be a splitting field for $\displaystyle r(x) \in E_1[x].$ thus, by induction hypothesis: $\displaystyle [E:F]=[E:E_1][E_1:F] \mid k! m! \mid (m+k)! = n!.$
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. b is a Zero Divisor ( I think)
    Posted in the Number Theory Forum
    Replies: 2
    Last Post: Jul 23rd 2011, 09:05 PM
  2. zero divisor
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: Apr 8th 2010, 10:15 PM
  3. sum of divisor
    Posted in the Number Theory Forum
    Replies: 1
    Last Post: Feb 10th 2010, 03:02 PM
  4. divisor
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: Apr 17th 2009, 04:43 AM
  5. divisor
    Posted in the Discrete Math Forum
    Replies: 0
    Last Post: Jan 28th 2009, 05:57 AM

Search Tags


/mathhelpforum @mathhelpforum