Abstract:For an algebraic number $\alpha$ of degree $n$, let $\mathcal{M}_{\alpha}$ be the $\mathbb{Z}$-module generated by $1,\alpha ,\ldots ,\alpha^{n-1}$; then $\mathbb{Z}_{\alpha}:=\{\xi\in\mathbb{Q} (\alpha ):\, \xi\mathcal{M}_{\alpha}\subseteq\mathcal{M}_{\alpha}\}$ is the ring of scalars of $\mathcal{M}_{\alpha}$. We call an order of the shape $\mathbb{Z}_{\alpha}$ \emph{rationally monogenic}. If $\alpha$ is an algebraic integer, then $\mathbb{Z}_{\alpha}=\mathbb{Z}[\alpha ]$ is monogenic. Rationally monogenic orders are special types of invariant orders of binary forms, which have been studied intensively. If $\alpha ,\beta$ are two $\text{GL}_2(\mathbb{Z})$-equivalent algebraic numbers, i.e., $\beta =(a\alpha +b)/(c\alpha +d)$ for some $\big(\begin{smallmatrix}a&b\\c&d\end{smallmatrix}\big)\in\text{GL}_2(\mathbb{Z})$, then $\mathbb{Z}_{\alpha}=\mathbb{Z}_{\beta}$. Given an order $\mathcal{O}$ of a number field, we call a $\text{GL}_2(\mathbb{Z})$-equivalence class of $\alpha$ with $\mathbb{Z}_{\alpha}=\mathcal{O}$ a \emph{rational monogenization} of $\mathcal{O}$. 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 $\geq 5$, the Galois group of whose normal closure is $5$-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. Our results extend work of Bérczes, Győry and the author from 2013 on multiply monogenic orders.

A database for field extensions of the rationals

Efficient Algorithms for Finite $\mathbb{Z}$-Algebras

Shortest nonzero lattice points in a totally real multi-quadratic number field and applications

The minimum and maximum number of rational points on jacobian surfaces over finite fields

Estimates for the number of rational points on simple abelian varieties over finite fields

Dyadic linear programming and extensions

Diagonals of rational functions: from differential algebra to effective algebraic geometry (unabridged version)

Primitive normal Values of rational functions with one prescribed norm and trace over finite fields

Orders with few rational monogenizations

Lower bounds for the number of number fields with Galois group $GL_2(\mathbb{F}_\ell)$

On the $\mathbb{Z}_p$-extensions of a totally $p$-adic imaginary quadratic field -- With an appendix by Jean-François Jaulent

Lattices in function fields and applications

Bilinear forms with Kloosterman and Gauss sums in function fields

Some new infinite families of non-$p$-rational real quadratic fields

Computational data on ${\mathfrak S}_n$-extensions of $\mathbb Q$

Certifying rings of integers in number fields

An Effective Positivstellensatz over the Rational Numbers for Finite Semialgebraic Sets

The Pythagoras number of a rational function field in two variables

Random matrices, the Cohen-Lenstra heuristics, and roots of unity

Freiman's $3k-4$ Theorem for Function Fields

Galois groups and rational solutions of $p(X) = A$