1 problem

Let $\mathbb{Q}^{\operatorname{ab}}$ denote the maximal abelian extension of $\mathbb{Q}$, and let $\mathcal{O}_{\mathbf L}$ denote the ring of integers of a subfield $\mathbf L$.…