The degree of Kummer extensions of number fields

in International Journal of Number Theory (2021)

Let K be a number field, and let \alpha_1, ... , \alpha_r be elements of K* which generate a subgroup of K* of rank r. Consider the cyclotomic-Kummer extensions of K given by K(\zeta_n, \sqrt[n_1]{\alpha ... [more ▼]

Let K be a number field, and let \alpha_1, ... , \alpha_r be elements of K* which generate a subgroup of K* of rank r. Consider the cyclotomic-Kummer extensions of K given by K(\zeta_n, \sqrt[n_1]{\alpha_1}, ... , \sqrt[n_r]{\alpha_r}), where n_i divides n for all i. There is an integer x such that these extensions have maximal degree over K(\zeta_g, \sqrt[g_1]{\alpha_1}, ... , \sqrt[g_r]{\alpha_r}), where g=\gcd(n,x) and g_i=\gcd(n_i,x). We prove that the constant x is computable. This result reduces to finitely many cases the computation of the degrees of the extensions K(\zeta_n, \sqrt[n_1]{\alpha_1}, ... , \sqrt[n_r]{\alpha_r}) over K. [less ▲]

Kummer theory for number fields and the reductions of algebraic numbers II

in Uniform Distribution Theory (2020)

Let K be a number field, and let G be a finitely generated and torsion-free subgroup of K*. For almost all primes p of K, we consider the order of the cyclic group (G mod p), and ask whether this number ... [more ▼]

Let K be a number field, and let G be a finitely generated and torsion-free subgroup of K*. For almost all primes p of K, we consider the order of the cyclic group (G mod p), and ask whether this number lies in a given arithmetic progression. We prove that the density of primes for which the condition holds is, under some general assumptions, a computable rational number which is strictly positive. We have also discovered the following equidistribution property: if \ell^e is a prime power and a is a multiple of \ell (and a is a multiple of 4 if \ell=2), then the density of primes p of K such that the order of (G mod p) is congruent to a modulo \ell^e only depends on a through its \ell-adic valuation. [less ▲]

The degree of non-Galois Kummer extensions of number fields

in Rivista di Matematica della Universita di Parma (2020), 11

Visualisierungen des Induktionsprinzips

in Beiträge zum Mathematikunterricht 2020 (2020)

Vier punten, twee afstanden

in Uitwiskeling (2020)

Addendum to: Reductions of algebraic integers

in Journal of Number Theory (2020)

Let K be a number field, and let G be a finitely generated and torsion-free subgroup of K*. We consider Kummer extensions of G of the form K(\zeta_{2^m}, \sqrt[2^n]G)/K(\zeta_{2^m}), where n \leq m. In ... [more ▼]

Let K be a number field, and let G be a finitely generated and torsion-free subgroup of K*. We consider Kummer extensions of G of the form K(\zeta_{2^m}, \sqrt[2^n]G)/K(\zeta_{2^m}), where n \leq m. In the paper "Reductions of algebraic integers" (J. Number Theory, 2016) by Debry and Perucca, the degrees of those extensions have been evaluated in terms of divisibility parameters over K(\zeta_4). We prove how properties of G over K explicitly determine the divisibility parameters over K(\zeta_4). This result has a clear computational advantage, since no field extension is required. [less ▲]

Explicit Kummer theory for the rational numbers

in International Journal of Number Theory (2020)

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 ... [more ▼]

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). [less ▲]

Reductions of points on algebraic groups

in Journal of the Institute of Mathematics of Jussieu (2019)

Multisets in arithmetics

in Multimengen in der Arithmetik (2019)

Kummer theory for number fields and the reductions of algebraic numbers

in International Journal of Number Theory (2019)

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 ... [more ▼]

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). [less ▲]