Kummer theory for number fields and the reductions of algebraic numbers

For all number fields the failure of maximality for the Kummer extensions is bounded in a very strong sense. We give a direct proof (without relying on the Bashmakov-Ribet method) of the fact that if G is a finitely generated and torsion-free multiplicative subgroup of a number field K having rank r, then the ratio between n^r and the Kummer degree [K(\zeta_n,\sqrt[n]{G}):K(\zeta_n)] is bounded independently of n. We then apply this result to generalise to higher rank a theorem of Ziegler from 2006 about the multiplicative order of the reductions of algebraic integers (the multiplicative order must be in a given arithmetic progression, and an additional Frobenius condition may be considered).