Results 1 to 2 of 2

Math Help - Question about separability

  1. #1
    Junior Member
    Joined
    Nov 2009
    Posts
    25

    Question about separability

    Let K be a field and f a member of K[x] a separable polynomial. Prove that the simple extension M= K[x]/(f) (where (f) is the ideal generated by f) is separable over K. Deduce that if a1,...an are separable elements over K, then the extension K(a1,...,an) is separable over K. Conclude that if f is any separable polynomial, then the splitting field of f over K is separable over K.

    Any ideas? I think for the first part I should be using a theorem about the number of homomorphisms from M to a splitting field, but I don't quite see how it fits in...

    Many thanks.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Nov 2008
    Posts
    394
    Quote Originally Posted by KSM08 View Post
    Let K be a field and f a member of K[x] a separable polynomial. Prove that the simple extension M= K[x]/(f) (where (f) is the ideal generated by f) is separable over K.
    This is the sketch of the proof for f being an "irreducible" separable polynomial in K[x].

    Let \alpha be a root of f. Then M is a simple extension of K such that

    M \cong K(\alpha) \cong K[x]/(f).

    Every element of K(\alpha) including \alpha is separable over K, since the irreducible polynomial of \alpha, i.e., f is separable by hypothesis.

    Deduce that if a1,...an are separable elements over K, then the extension K(a1,...,an) is separable over K.
    Let S=\{a_1, a_2, \cdots, a_n\} be a set of separable elements over K; let Y=\{f_k\}_{k=1}^{n} be the corresponding set of irreducible polynomials of S. Let Z be the set of all zeroes of polynomials in Y. Then K(Z) is the splitting field of polynomials in Y implying that it is separable over K. It follows that K(S), which is a subfield of K(Z), is separable over K.

    Conclude that if f is any separable polynomial, then the splitting field of f over K is separable over K.
    Let f \in K[x] be separable; let Y=\{f_k\}_{k=1}^{n} be irreducible factors of f. Then, the splitting field of Y over K is K(Z), where Z is the set of all zeroes of polynomials in Y. The splitting field of f over K, i.e., K(Z) is separable over K, since f splits in its splitting field K(Z) such that f(x)=c\prod_{k=1}^{n}\prod_{j=1}^{k_m}(x-\alpha_{kj}), where c \in K and each f_k has k_m distinct roots.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Showing separability
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: January 17th 2012, 09:31 AM
  2. separability problem
    Posted in the Differential Geometry Forum
    Replies: 3
    Last Post: January 16th 2012, 08:40 AM
  3. Question about separability
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: April 7th 2011, 07:14 AM
  4. Matrix separability preservation under conjugation!
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: March 24th 2010, 06:35 AM
  5. separability
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: November 21st 2009, 09:38 AM

Search Tags


/mathhelpforum @mathhelpforum