Existence theorem of local class field theory
= Existence theorem of local class field theory
The finite-index open subgroups of $K^\times$ are exactly the norm subgroups $N_{L/K}(L^\times)$ for finite abelian extensions $L/K$. The subgroup determines $L$ uniquely inside $K^{\mathrm{ab}}$.