Galois extension
Let "L""v"⁄"K""v" be a Galois extension of local fields with Galois group "G". The local reciprocity law describes a canonical isomorphism