1 problem

Let $p$ be a prime, let $K$ be a number field, and let $S$ be a finite set of places of $K$ not dividing $p$. Let $K_S$ be the maximal pro-$p$ extension of $K$ unramified outside…