Ramification

Abstract

Let K be a field complete under a discrete valuation with quasi-finite residue field

EquationSource% MathType!MTEF!2!1!+- % feaagCart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn % hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqr1ngB % PrgifHhDYfgatCvAUfeBSn0BKvguHDwzZbqegSSZmxoasaacH8srps % 0lbbf9q8WrFfeuY-Hhbbf9v8qqaqFr0xc9pk0xbba9q8WqFfea0-yr % 0RYxir-Jbba9q8aq0-yq-He9q8qqQ8frFve9Fve9Ff0dmeaabaqaci % GacaGaaeqabaWaaeaaeaqbaOqaamaanaaabaGaam4saaaaaaa!41B5! ]]</EquationSource><EquationSource Format="TEX"><![CDATA[$$\overline K $$

. Let L/K be a finite abelian extension, with Galois group G.