Local Artin map (source code)

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

= Local reciprocity map
{synonym}

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.