Dedekind's criterion for the monogenicity of a number field versus Uchida's and Lüneburg's

DOI10.2748/TMJ.20200602MaRDI QIDQ2075403zbMATH OpenOpenAlexFDO

Authors Xavier Vidaux, Carlos Videla

Publication date 14 February 2022

Published in Tôhoku Mathematical Journal. Second Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1809.04122

zbMATH Keywords

iterated polynomialsJulia Robinson numbersmonogenic fieldspower basis

Mathematics Subject Classification ID

Algebraic numbers; rings of algebraic integers (11R04) Decidability (number-theoretic aspects) (11U05) Dedekind, Prüfer, Krull and Mori rings and their generalizations (13F05) Dynamics of complex polynomials, rational maps, entire and meromorphic functions; Fatou and Julia sets (37F10) Arithmetic and non-Archimedean dynamical systems involving polynomial and rational maps (37P05)

Abstract: We compare three different characterizations, due respectively to R. Dedekind, K. Uchida, and H. L"uneburg, of when $mathbbZ[heta]$ is the ring of integers of $mathbbQ(heta)$, and apply our results to some concrete $2$-towers of number fields.

Review text

If \(\alpha\) is an algebraic integer with minimal polynomial \(f\in \mathbb Z[x]\) and \(R\) is the ring of integers of the field \(\mathbb Q(\alpha)\), then the index \([R:\mathbb Z[\alpha]]\) is called the index of \(\alpha\). There are two necessary and sufficient conditions for a rational prime \(p\) to divide the index of \(\alpha\), due to \textit{R. Dedekind} [Abhandl. Kgl. Wiss. Ges. Göttingen 23, 1--23 (1878)] and \textit{K. Uchida} [Osaka J. Math. 14, 155--157 (1977; Zbl 0358.13006)], based on consideration of the behaviour of \(f(x)\) mod \(p\), and a related test by \textit{H. Lüneburg} [Arch. Math. 42, 139--144 (1984; Zbl 0536.12003)]. The authors analyze the connections of these results and use this to study the behaviour of the sequence \(x_n\) of algebraic numbers defined by \(x_0=0\) and \(x_{n+1} =\sqrt{\nu + x_n}\), \(\nu\ge3\) being a square-free rational integer congruent to \(2\) or \(3\) mod \(4\). Put \(f(t) = t^2-\nu\) and let \(f_n(t)\) be the \(n\)-th iterate of \(f\). It is known [\textit{M. Stoll}, Arch. Math. 59, No. 3, 239--244 (1992; Zbl 0758.11045)] that \(f_n\) is the minimal polynomial of \(x_n\) and it has been shown by \textit{M. Castillo} [On the Julia Robinson number of rings of totally real algebraic integers in some towers of nested square roots. Concepción: Universidad de Concepción (PhD Thesis) (2018)] and a preprint (per bib.)) that there exist infinitely many \(\nu\) such that the ring \(\mathbb Z^{\nu} = \bigcup_{n=1}^\infty \mathbb Z[x_n]\) is integrally closed if and only if all numbers \(C_n=f_n(0)\) are square-free. Now the authors establish in Theorem 0.6 the following local analogue: Let \(\nu\) be square-free with \(\nu\equiv 2,3 \pmod 4\), let for some \(n\) the prime \(p\) be a divisor of \(C_n\) with \(p\nmid C_m\) for \(m<n\) and let \(\mathfrak p\) be a prime ideal in \(K(x_n)\) lying over \(p\). The localization of \(\mathbb Z[x_n]\) at \(\mathfrak p\) is a discrete valuation ring if and only if \(p^2\nmid C_n\).

Recommendations

• The index of nonmonic polynomials
• scientific article; zbMATH DE number 5251909
• scientific article; zbMATH DE number 3898969
• Arithmetic of quadratic fields and torsion in Jacobians
• An Algebraic Periodicity Theorem for Spheres
• scientific article; zbMATH DE number 1031245
• On relations for rings generated by algebraic numbers and their conjugates
• scientific article; zbMATH DE number 3855244
• On Computing the Discriminant of an Algebraic Number Field
• On prime divisors of the index of an algebraic integer

Cites work

• A Generalization of Dedekind Criterion
• Definability of the natural numbers in totally real towers of nested square roots
• Discriminant equations in Diophantine number theory
• scientific article; zbMATH DE number 2107000 (Why is no real title available?)
• scientific article; zbMATH DE number 3279238 (Why is no real title available?)
• scientific article; zbMATH DE number 967875 (Why is no real title available?)
• Julia Robinson numbers
• Julia Robinson numbers and arithmetical dynamic of quadratic polynomials
• On a paper of Uchida concerning simple finite extensions of Dedekind domains
• On prime divisors of the index of an algebraic integer
• On the integral basis of the maximal real subfield of a cyclotomic field.
• On the ring of integers of real cyclotomic fields
• Resultants of cyclotomic polynomials
• Sur les polynômes à coefficients entiérs et de discriminant donné
• The Undecidability of Algebraic Rings and Fields
• When is \(\mathbb{Z}[a]\) the ring of the integers?

Cited in

(2)

• A dynamical characterization for monogenity at every level of some infinite \(2\)-towers
• Northcott numbers for the house and the Weil height

This page was built for publication: Dedekind's criterion for the monogenicity of a number field versus Uchida's and Lüneburg's

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2075403)