Galois extension
Suppose that "L" is a finite Galois extension of the local field "K", with Galois group "G". The Artin character "a""G" of "G" is the character