5 Ramification theory for local fields

From now on, the characteristic of the residue field of any local field will be

denoted p, unless stated otherwise.