1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Quick help finishing off a proof: extension of p-adic fields

  1. Jan 30, 2012 #1
    1. The problem statement, all variables and given/known data
    Let [itex]L_1/K,\,L_2/K[/itex] be extensions of p-adic fields, at least one of which is Galois, with ramification indices [itex]e_1,\,e_2 [/itex]. Suppose that [itex](e_1,\,e_2) = 1 [/itex]. Show that [itex]L_1 L_2/K [/itex] has ramification index [itex]e_1 e_2[/itex].

    2. Relevant equations
    I have most of the proof done: I'm trying to show [itex]e_1 e_2 | e [/itex] where [itex] e[/itex] is the ramification index of [itex]L_1 L_2/K [/itex], and then show [itex]e | e_1 e_2 [/itex]. It's easy enough to show that [itex]e_1 e_2 | e [/itex]: if we define [itex]e_1 ' [/itex] to be the ramification index between [itex]L_2, \, L_1 L_2 [/itex] and likewise [itex]e_2 ' [/itex] between [itex]L_1, \, L_1 L_2 [/itex], then [itex]e = e_1 e_2' = e_2 e_1' [/itex] by multiplicative property of ramification indices. So both [itex]e_1,\,e_2 [/itex] divide [itex]e [/itex] and are coprime so [itex]e_1 e_2 | e [/itex].

    All I need now is to show that [itex]e_1' | e_1 [/itex], then [itex]e_1' e_2 = e | e_1 e_2[/itex] (or alternatively to show [itex]e_2' | e_2 [/itex]). However, I can't seem to manage this: indeed quite the opposite, I keep deducing [itex]e_1 | e_1' [/itex] and [itex]e_2 | e_2' [/itex] by using the 2 forms of [itex]e [/itex] and coprimality. I also, as far as I know, haven't used the fact one of the extensions is Galois (or that they are of p-adic fields) yet, unless I have forgotten a precondition for one of the results I've used. Could anyone help complete my proof? Thanks! -S
  2. jcsd
  3. Feb 1, 2012 #2


    User Avatar
    Science Advisor
    Homework Helper

    I would try to show that [itex]e\leq e_1e_2[/itex]. If L_1/K is Galois, what kind of inequality does that impose on e_1?
  4. Feb 5, 2012 #3
    Hi morphism, sorry it took me so long to reply - I didn't see anyone had responded to me. I've been having a think, but I can't think of any obvious inequalities which we can deduce for e_1: presumably we want [itex]e_1 \geq [/itex] something for this. I know all the ramification indices for any prime splitting downstairs must be the same in this case, but I don't think that helps us here.

    So it would suffice to show that [itex]e_1 \geq e_1'[/itex], but while I could believe it I don't know if I could prove it. Do you think you could give me another hint perhaps? Sorry, it's probably something very obvious I'm overlooking!
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook