Local class field theory (source code)

= Local class field theory
{wiki}

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