Definition:Local Class Field Theory

Also see

 * Definition:Local Field