Facebook Page
Twitter
RSS
+ Reply to Thread
Page 1 of 2 12 LastLast
Results 1 to 10 of 11
  1. MHB Master
    mathmari's Avatar
    Status
    Offline
    Join Date
    Apr 2013
    Posts
    2,543
    Thanks
    2,016 times
    Thanked
    603 times
    Trophies
    1 Highscore
    Awards
    MHB Chat Room Award (2015)  

MHB Model User Award (2015)  

MHB LaTeX Award (2015)
    #1
    Hey!!

    In my notes there is the following:

    Let $F$ be a field. The irresducible $f\in F[x]$ is separable, if all the roots are different.
    A non-constant polynomial $f\in K[x]$ is separable, if all the irreducible factors are separable.

    Example:
    $f(x)=(x^2-2)^2(x^2+3)\in \mathbb{Q}[x]$.
    The irreducible factors are:
    • $x^2-2$ $\rightarrow$ Roots : $\pm 2$ different
    • $x^2+3$ $\rightarrow$ Roots : $\pm i\sqrt{3}$ different

    So, $f$ is separable.


    I haven't understood why $f$ is separable. Since we have the factor $(x^2-2)^2$ aren't the roots $\pm 2$ of multiplicity $2$ ?

  2. MHB Seeker
    MHB Global Moderator
    MHB Math Scholar
    I like Serena's Avatar
    Status
    Offline
    Join Date
    Mar 2012
    Location
    Netherlands
    Posts
    5,874
    Thanks
    3,926 times
    Thanked
    11,132 times
    Thank/Post
    1.895
    Awards
    MHB Model Helper Award (2016)  

MHB Best Ideas (2016)  

MHB LaTeX Award (2016)  

MHB Calculus Award (2014)  

MHB Discrete Mathematics Award (Jul-Dec 2013)
    #2
    Quote Originally Posted by mathmari View Post
    Hey!!

    In my notes there is the following:

    Let $F$ be a field. The irresducible $f\in F[x]$ is separable, if all the roots are different.
    A non-constant polynomial $f\in K[x]$ is separable, if all the irreducible factors are separable.

    Example:
    $f(x)=(x^2-2)^2(x^2+3)\in \mathbb{Q}[x]$.
    The irreducible factors are:
    • $x^2-2$ $\rightarrow$ Roots : $\pm 2$ different
    • $x^2+3$ $\rightarrow$ Roots : $\pm i\sqrt{3}$ different

    So, $f$ is separable.


    I haven't understood why $f$ is separable. Since we have the factor $(x^2-2)^2$ aren't the roots $\pm 2$ of multiplicity $2$ ?
    Hey mathmari!!

    Aren't the roots $\pm \sqrt 2$?

    And isn't $f(x)$ reducible? That would mean that the first statement doesn't apply.
    I think we should apply the second statement first.

  3. MHB Master
    mathmari's Avatar
    Status
    Offline
    Join Date
    Apr 2013
    Posts
    2,543
    Thanks
    2,016 times
    Thanked
    603 times
    Trophies
    1 Highscore
    Awards
    MHB Chat Room Award (2015)  

MHB Model User Award (2015)  

MHB LaTeX Award (2015)
    #3 Thread Author
    Quote Originally Posted by I like Serena View Post
    Aren't the roots $\pm \sqrt 2$?
    Ah yes...


    Quote Originally Posted by I like Serena View Post
    And isn't $f(x)$ reducible? That would mean that the first statement doesn't apply.
    I think we should apply the second statement first.
    Yes, we apply the second statement first. The irreducible factors $x^2-2$ and $x^2+3$, right?

  4. MHB Master
    mathmari's Avatar
    Status
    Offline
    Join Date
    Apr 2013
    Posts
    2,543
    Thanks
    2,016 times
    Thanked
    603 times
    Trophies
    1 Highscore
    Awards
    MHB Chat Room Award (2015)  

MHB Model User Award (2015)  

MHB LaTeX Award (2015)
    #4 Thread Author
    So, an inseparable polynomial is for example $f(x)=(x^2-4)^2(x^3-8)$, where the irreducible factors are $x^2-4$ and $x^3-8$, and the roots are $\pm 2$ and $2$ ?

  5. MHB Seeker
    MHB Global Moderator
    MHB Math Scholar
    I like Serena's Avatar
    Status
    Offline
    Join Date
    Mar 2012
    Location
    Netherlands
    Posts
    5,874
    Thanks
    3,926 times
    Thanked
    11,132 times
    Thank/Post
    1.895
    Awards
    MHB Model Helper Award (2016)  

MHB Best Ideas (2016)  

MHB LaTeX Award (2016)  

MHB Calculus Award (2014)  

MHB Discrete Mathematics Award (Jul-Dec 2013)
    #5
    Quote Originally Posted by mathmari View Post
    Yes, we apply the second statement first. The irreducible factors $x^2-2$ and $x^2+3$, right?
    Yes. That's what your example states as well.

    Quote Originally Posted by mathmari View Post
    So, an inseparable polynomial is for example $f(x)=(x^2-4)^2(x^3-8)$, where the irreducible factors are $x^2-4$ and $x^3-8$, and the roots are $\pm 2$ and $2$?
    Can't we reduce $x^3-8$ to $(x-2)(x^2+2x+4)$?

  6. MHB Master
    mathmari's Avatar
    Status
    Offline
    Join Date
    Apr 2013
    Posts
    2,543
    Thanks
    2,016 times
    Thanked
    603 times
    Trophies
    1 Highscore
    Awards
    MHB Chat Room Award (2015)  

MHB Model User Award (2015)  

MHB LaTeX Award (2015)
    #6 Thread Author
    Quote Originally Posted by I like Serena View Post
    Can't we reduce $x^3-8$ to $(x-2)(x^2+2x+4)$?
    Ah, so it is again separable, right?

    Could you give me an example of an inseparable polynomial?

  7. MHB Seeker
    MHB Global Moderator
    MHB Math Scholar
    I like Serena's Avatar
    Status
    Offline
    Join Date
    Mar 2012
    Location
    Netherlands
    Posts
    5,874
    Thanks
    3,926 times
    Thanked
    11,132 times
    Thank/Post
    1.895
    Awards
    MHB Model Helper Award (2016)  

MHB Best Ideas (2016)  

MHB LaTeX Award (2016)  

MHB Calculus Award (2014)  

MHB Discrete Mathematics Award (Jul-Dec 2013)
    #7
    Quote Originally Posted by mathmari View Post
    Could you give me an example of an inseparable polynomial?
    How about $x^3-2$ in $F_3[x]$?

  8. MHB Master
    mathmari's Avatar
    Status
    Offline
    Join Date
    Apr 2013
    Posts
    2,543
    Thanks
    2,016 times
    Thanked
    603 times
    Trophies
    1 Highscore
    Awards
    MHB Chat Room Award (2015)  

MHB Model User Award (2015)  

MHB LaTeX Award (2015)
    #8 Thread Author
    Quote Originally Posted by I like Serena View Post
    How about $x^3-2$ in $F_3[x]$?
    I saw now in my notes the following proposition:
    If $F$ is finite, then each non-constant $f\in F[x]$ is separable.

    We have that $F_3$ is finite, right? Therefore, $x^3-2$ is separable, isn't it?

  9. MHB Seeker
    MHB Global Moderator
    MHB Math Scholar
    I like Serena's Avatar
    Status
    Offline
    Join Date
    Mar 2012
    Location
    Netherlands
    Posts
    5,874
    Thanks
    3,926 times
    Thanked
    11,132 times
    Thank/Post
    1.895
    Awards
    MHB Model Helper Award (2016)  

MHB Best Ideas (2016)  

MHB LaTeX Award (2016)  

MHB Calculus Award (2014)  

MHB Discrete Mathematics Award (Jul-Dec 2013)
    #9
    Quote Originally Posted by mathmari View Post
    I saw now in my notes the following proposition:
    If $F$ is finite, then each non-constant $f\in F[x]$ is separable.

    We have that $F_3$ is finite, right? Therefore, $x^3-2$ is separable, isn't it?
    Well... $x^3-2$ is irreducible, but we also have $x^3-2=(x+1)^3$ in $F_3[x]$, so $2$ is a triple root.
    If that doesn't mean it's inseparable, I wouldn't know what is.

    Do your notes give an example of an inseparable polynomial?
    Or do you have a proof for that proposition?

  10. MHB Master
    mathmari's Avatar
    Status
    Offline
    Join Date
    Apr 2013
    Posts
    2,543
    Thanks
    2,016 times
    Thanked
    603 times
    Trophies
    1 Highscore
    Awards
    MHB Chat Room Award (2015)  

MHB Model User Award (2015)  

MHB LaTeX Award (2015)
    #10 Thread Author
    Quote Originally Posted by I like Serena View Post
    Well... $x^3-2$ is irreducible, but we also have $x^3-2=(x+1)^3$ in $F_3[x]$, so $2$ is a triple root.
    If that doesn't mean it's inseparable, I wouldn't know what is.

    Do your notes give an example of an inseparable polynomial?
    Or do you have a proof for that proposition?
    In this the chapter 3.4 (p.11) is about separability. This proposition is the 3.4.5 and the only example of an inseparable polynomial that I found is the one that is at 3.4.8.


Similar Threads

  1. Replies: 1
    Last Post: November 14th, 2016, 11:39
  2. The irreducible polynomial is not separable
    By mathmari in forum Linear and Abstract Algebra
    Replies: 1
    Last Post: October 23rd, 2016, 12:41
  3. Help with Separable Equation
    By jahrens in forum Differential Equations
    Replies: 2
    Last Post: July 6th, 2016, 00:50
  4. separable element
    By Pratibha in forum Linear and Abstract Algebra
    Replies: 0
    Last Post: December 3rd, 2014, 13:42
  5. separable or non-separable ODE
    By wmccunes in forum Differential Equations
    Replies: 2
    Last Post: October 29th, 2013, 16:10

Tags for this Thread

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •  
Math Help Boards