On modules of integral elements over finitely generated domains

DOI10.1090/TRAN/6732MaRDI QIDQ2960424zbMATH OpenOpenAlexFDO

Authors K. Nguyen

Publication date 9 February 2017

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

effective methodsuniform boundsunit equations over finitely generated domains

Mathematics Subject Classification ID

Exponential Diophantine equations (11D61) PV-numbers and generalizations; other special algebraic numbers; Mahler measure (11R06) Integral domains (13G05)

Abstract: This paper is motivated by the results and questions of Jason P. Bell and Kevin G. Hare in the paper "On $mathbbZ$-modules of algebraic integers" (Canad. J. Math. Vol. 61, 2009). Let $mathcalO$ be a finitely generated $mathbbZ$-algebra that is an integrally closed domain of characteristic zero. We investigate the following two problems: (A) Fix $q$ and $r$ that are integral over $mathcalO$, describe all pairs $(m,n)inmathbb{N}^2$ such that $mathcalO[q^m]=mathcalO[r^n]$. (B) Fix $r$ that is integral over $mathcalO$, describe all $q$ such that $mathcalO[q]=mathcalO[r]$. In this paper, we solve Problem (A), present a solution of Problem (B) by Evertse and GyH{o}ry, and explain their relation to the paper of Bell and Hare. In the following, $c_1$ and $c_2$ are effectively computable constants with a very mild dependence on $mathcalO$, $q$, and $r$. For (B), Evertse and GyH{o}ry show that there are $Nleq{c}_2$ elements $s_1,ldots,s_N$ such that $mathcalO[s_i]=mathcalO[r]$ for every $i$, and for every $q$ such that $mathcalO[q]=mathcalO[r]$, we have $q-u{s}_{i}inmathcalO$ for some $1leqileqN$ and $uinmathcal{O}^{\ast }$. This immediately answers two questions about Pisot numbers by Bell and Hare in ibid. For (A), we show that except some "degenerate" cases that can be explicitly described, there are at most $c_1$ such pairs $(m,n)$. This significantly strengthens some results in ibid. We also make some remarks on effectiveness and discuss further questions at the end of the paper.

Recommendations

• On ℤ-Modules of Algebraic Integers
• Effective results for discriminant equations over finitely generated integral domains
• Some finiteness results on monogenic orders in positive characteristic
• scientific article; zbMATH DE number 575896
• Effective results for unit equations over finitely generated integral domains

Cites work

• A quantitative version of the Absolute Subspace Theorem
• Bounds for the solutions of S-unit equations and decomposable form equations
• Classical theory of algebraic numbers
• Corrigendum to ``On \(\mathbb {Z}\)-modules of algebraic integers
• Effective finiteness theorems for polynomials with given discriminant and integral elements with given discriminant over finitely domains.
• Effective results for unit equations over finitely generated integral domains
• Einheiten und Divisorklassen in endlich erzeugbaren Körpern. (Units and divisor classes in finitely generated fields)
• Groups Which are the Union of Three Subgroups
• scientific article; zbMATH DE number 3838204 (Why is no real title available?)
• scientific article; zbMATH DE number 3879009 (Why is no real title available?)
• scientific article; zbMATH DE number 3687501 (Why is no real title available?)
• scientific article; zbMATH DE number 47603 (Why is no real title available?)
• scientific article; zbMATH DE number 165242 (Why is no real title available?)
• scientific article; zbMATH DE number 1102926 (Why is no real title available?)
• scientific article; zbMATH DE number 4118449 (Why is no real title available?)
• scientific article; zbMATH DE number 2247920 (Why is no real title available?)
• Linear equations in variables which lie in a multiplicative group
• Logarithmic forms and group varieties.
• Norm form equations
• On the representation of unity by binary cubic forms
• On ℤ-Modules of Algebraic Integers
• P-adic logarithmic forms and group varieties III
• The equation x+y=1 in finitely generated groups

Cited in

(3)

• Monogenic pure cubics
• On ℤ-Modules of Algebraic Integers
• Some finiteness results on monogenic orders in positive characteristic

This page was built for publication: On modules of integral elements over finitely generated domains

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