Explicit Kummer theory for the rational numbers

Let G be a finitely generated multiplicative subgroup of Q* having rank r. The ratio between n^r and the Kummer degree [Q(\zeta_m,\sqrt[n]{G}) : Q(\zeta_m)], where n divides m, is bounded independently of n and m. We prove that there exist integers m_0, n_0 such that the above ratio depends only on G, \gcd(m,m_0), and \gcd(n,n_0). Our results are very explicit and they yield an algorithm that provides formulas for all the above Kummer degrees (the formulas involve a finite case distinction).