 Local class field theory

Local class field theory describes the abelian extensions of a local field $K$ through its multiplicative group $K^{\times }$.