1 problem

Let $K_S^{\mathrm{ab}}$ be the maximal abelian extension of $K$ unramified and totally split at the primes in $S$, let $\mathcal G=\operatorname{Gal}(K_S^{\mathrm{ab}}/K)$, and let…