Finiteness of S-unramified Kummer classes ($\#K(S,n)<\infty$)

The S-unramified power class group of a number field is finite. For $[a]\in K(S,n)$, the fractional ideal of $a$ away from $S$ is an $n$th power ${\mathfrak{a}}^n$. Sending $[a]$ to $[\mathfrak{a}]$ gives an exact sequenceThe S-unit group is finitely generated, and the localized ideal class group is a quotient of the finite ordinary ideal class group. Both end groups are finite. This is the arithmetic finiteness needed in the Kummer-theoretic proof of the weak Mordell-Weil theorem.