Local Artin map (source code)

= Local Artin map
{c}
{title2=$\operatorname{Art}_K$}
{wiki=Artin_reciprocity_law}

The local Artin map is the reciprocity homomorphism of <Local Artin reciprocity>. Its normalization is fixed by choosing whether a <uniformizer> maps to arithmetic or geometric Frobenius.