Suppose $L\mathbb{Q}$ is an abelian extension of number fields. Then, all the roots of unity are certainly contained in the maximal abelian extension $L^{ab}$ of $L$. Why is it obvious that if $L \ne \mathbb{Q}$ then $L^{ab} \ne \mathbb{Q}^{ab}$.
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.



