Tamely ramified extension (source code)

= Tamely ramified extension

A finite extension of local fields is tamely ramified when its residue-field extension is separable and its <ramification index> is coprime to the residue characteristic. For a finite Galois extension this is equivalent to trivial <wild inertia group> $G_1$.