Results 1 to 2 of 2

Thread: Galois and Separable, Characteristics

  1. #1
    Junior Member
    Sep 2009

    Wink Galois and Separable, Characteristics

    Last edited by dabien; December 7th 2009 at 07:56 PM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    May 2008
    Quote Originally Posted by dabien View Post
    Let F be a field of characteristic p > 0 and suppose that E \supset B. K \supset F are finite extensions with B separable over F and K purely inseparable. Prove that EK \cong E \otimes K.
    that should be BK \cong B \otimes K not EK \cong E \otimes K. anyway, as i showed in this thread, BK, the compositum of B,K, is Q. so we only need to show that Q \cong B \otimes_F K:

    let \{\alpha_1, \cdots, \alpha_m \} and \{\beta_1, \cdots , \beta_n \} be an F-basis for B and K respectively. then \{\alpha_i \otimes \beta_j: \ \ i \leq m, \ j \leq n \} is an F-basis for B \otimes_F K. we define the map \psi: B \otimes K \longrightarrow Q by

    \psi(\sum_{i,j} c_{ij} \alpha_i \otimes \beta_j)=\sum_{i,j} c_{ij}\alpha_i \beta_j, \ \ c_{ij} \in F. the fact that \psi is a well-defined algebra homomorphism is a trivial result of the universal property of tensor product. it's also obvious that

    \psi is surjective. so we only need to prove that \psi is injective. to prove this first show that separability of B implies that \{\alpha_1^{p^s}, \cdots , \alpha_m^{p^s} \} is an F-linearly independent set, for any integer

    s \geq 0. now suppose that \gamma = \sum_{i,j} c_{ij} \alpha_i \otimes \beta_j \in \ker \psi, which means that \sum_{i,j} c_{ij}\alpha_i \beta_j=0. for any i \leq m let \gamma_i=\sum_{j=1}^n c_{ij} \beta_j \in K. then \sum_{i=1}^m \alpha_i \gamma_i = 0. since K is purely inseparable, there

    exists an integer s \geq 0 such that d_i=\gamma_i^{p^s} \in F, for all i \leq m. but then 0=\left (\sum_{i=1}^m \alpha_i \gamma_i \right)^{p^s}=\sum_{i=1}^m d_i\alpha_i^{p^s}. thus d_i = 0, \ \forall i \leq m, because, as i asked you to prove, \{\alpha_1^{p^s}, \cdots , \alpha_m^{p^s} \} is an F

    -linearly independent set. clearly d_i = 0 implies that \gamma_i = 0 and hence c_{ij}=0, for all i,j, because the set \{\beta_1, \cdots , \beta_n \} is an F-basis for K. finally c_{ij}=0, for all i,j, gives us \gamma= 0. \ \Box
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. [SOLVED] Galois Theory: Inseparable and Separable elements of a field K.
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: September 23rd 2011, 08:29 PM
  2. Characteristics of y=tan(x)
    Posted in the Trigonometry Forum
    Replies: 3
    Last Post: June 13th 2011, 12:29 PM
  3. characteristics of x^3 - 6x^2 + 12x +18
    Posted in the Calculus Forum
    Replies: 2
    Last Post: November 3rd 2010, 11:20 AM
  4. separable extension and separable polynomial
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: August 30th 2009, 07:22 PM
  5. Characteristics of an IFR pdf
    Posted in the Advanced Statistics Forum
    Replies: 0
    Last Post: April 9th 2009, 12:01 AM

Search Tags

/mathhelpforum @mathhelpforum