Orders with few rational monogenizations

DOI10.4064/AA230120-16-7MaRDI QIDQ6071864zbMATH OpenFDO

Authors Jan-Hendrik Evertse

Publication date 29 November 2023

Published in Acta Arithmetica (Search for Journal in Brave)

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

zbMATH Keywords

\(\mathrm{GL}_2(\mathbb{Z})\)-equivalenceinvariant orders of binary formsordersrational monogenizationrationally monogenic ordersunit equations

Mathematics Subject Classification ID

Exponential Diophantine equations (11D61) Schmidt Subspace Theorem and applications (11J87) Algebraic numbers; rings of algebraic integers (11R04)

Abstract: To an algebraic integer $alpha$, we can attach the order $mathbbZ[alpha]$, and an order of this shape is called emph{monogenic}. For a not necessarily integral algebraic number $alpha$, say of degree $n$, we define an order $mathbb{Z}_{alpha}$ as follows: let $mathcal{M}_{alpha}$ be the $mathbbZ$-module generated by $1,alpha,ldots,alph{a}^{n-1}$; then $mathbb{Z}_{alpha}:=xiinmathbbQ(alpha):,ximathcal{M}_{alpha}subseteqmathcal{M}_{alpha}$ is the ring of scalars of $mathcal{M}_{alpha}$. We call an order of the shape $mathbb{Z}_{alpha}$ rationally monogenic. In fact, rationally monogenic orders are special types of invariant orders of binary forms, and these have been intensively studied. If $$ are two $ext{GL}_2(mathbbZ)$-equivalent algebraic numbers, i.e., $$ for some $$, then $$. Given an order $mathcalO$ of a number field, we call any $ext{GL}_2(mathbbZ)$-equivalence class of $alpha$ with $mathbb{Z}_{alpha}=mathcalO$ a rational monogenization of $mathcalO$. We prove the following. If $K$ is a quartic number field, then $K$ has only finitely many orders with more than two rational monogenizations. This is best possible. Further, if $K$ is a number field of degree $geq5$, the Galois group of whose normal closure is five times transitive, then $K$ has only finitely many orders with more than one rational monogenization. The proof uses finiteness results for unit equations, which in turn were derived from Schmidt's Subspace Theorem. We generalize the above results to rationally monogenic orders over rings of $S$-integers of number fields.

Recommendations

• A survey on monogenic orders
• Multiply monogenic orders
• Quartic index form equations and monogenizations of quartic orders
• On the number of monogenizations of a quartic order (with an appendix by Shabnam Akhtari)
• When is the order generated by a cubic, quartic or quintic algebraic unit Galois invariant: three conjectures

Cites work

• Binary forms and orders of algebraic number fields
• Decomposition of primes in non-maximal orders
• Discriminant equations in Diophantine number theory
• Finiteness Theorems for Binary Forms with Given Discriminant
• Hermite equivalence of polynomials
• scientific article; zbMATH DE number 11133 (Why is no real title available?)
• scientific article; zbMATH DE number 3550814 (Why is no real title available?)
• scientific article; zbMATH DE number 3099819 (Why is no real title available?)
• Multiply monogenic orders
• On S-unit equations in two unknowns
• On the number of equivalence classes of binary forms of given degree and given discriminant
• On the number of monogenizations of a quartic order (with an appendix by Shabnam Akhtari)
• Rings and ideals parameterized by binary n-ic forms
• Sur les polynômes à coefficients entiérs et de discriminant donné
• The index of nonmonic polynomials
• The invariant class of a binary form
• Unit equations in Diophantine number theory

Cited in

(1)

• A survey on monogenic orders

This page was built for publication: Orders with few rational monogenizations

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