Galois extension
Again, let formula_1 be a finite Galois extension of nonarchimedean local fields with finite residue fields formula_17 and Galois group formula_3. The following are equivalent.