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.

Quantum Computation as Geometry

Janet Bases of Toric Ideals

Computation of Pommaret Bases Using Syzygies

Complexity of Janet basis of a D-module

On graphic degree sequences and matching numbers

Grobner Bases for Finite-temperature Quantum Computing and their Complexity

Involutive Algorithms for Computing Groebner Bases

A Maple Package for Computing Groebner Bases for Linear Recurrence Relations

Subalgebra and Khovanskii bases equivalence

Old Meets New: Connecting Two Infinite Families of Congruences Modulo Powers of 5 for Generalized Frobenius Partition Functions

Dimension-Dependent Upper Bounds for Grobner Bases

New efficient algorithms for computing Gröbner bases of saturation ideals (F4SAT) and colon ideals (Sparse-FGLM-colon)

Polynomial bases: positivity and Schur multiplication

The excedance quotient of the Bruhat order, quasisymmetric varieties, and Temperley–Lieb algebras

Computing Border Bases without using a Term Ordering

Stable Bases of the Springer Resolution and Representation Theory

Additive Bases: Change of Domain

Truncated Markov bases and Gröbner bases for Integer Programming

Kapranov degrees

Gröbner–Shirshov Bases for Temperley–Lieb Algebras of Type F

Orders with few rational monogenizations