I have read that the goal of Class Field Theory is to characterize all the abelian extensions of a number field $K$ in terms of parameters of $K$.
Let $L|K$ be an abelian extension of number fields. I want to know what are the main theorems of class field theory and what are the corresponding versions of these theroems for the particular case $K=\mathbb{Q}$.