Norm-unit index in an abelian local extension

ID: norm-unit-index-in-an-abelian-local-extension

If is a finite abelian extension of local fields, then
Indeed, Local Artin reciprocity gives total norm index , while the valuation image of the norm subgroup is .

New to topics? Read the docs here!