Let $K$ be the imaginary quadratic field obtained by joining $\sqrt{-1}$ to the field of rational numbers $Q$. I would like to describe the extension $K^{ab}/Q^{ab}$, where for $F$ a number field, $F^{ab}$ denotes its maximal abelian extension (everything is taking place inside a big fixed field...).

More precisely I would like to know the Galois group and the ramification properties of such extension. Is this possible/easy? I suppose one should look at the kernel of the norm map between Idele class groups $N_{K/Q}:I_K\rightarrow I_Q$. But at the moment it is not clear to me how to get the answer. Any hint or comment would be appreciated. Thanks.

EDIT: Probably the idele class group of a number field $F$ should be denoted by $J_F$. Or by anything other than $I_F$...