Abstract:Let $K$ be a number field of degree $d$. Then every ideal $I$ in the ring of integers ${\mathcal O}_K$ contains infinitely many primitive elements, i.e. elements of degree $d$. A bound on smallest height of such an element in $I$ follows from some recent developments in the direction of a 1998 conjecture of W. Ruppert. We prove a very explicit bound like this in the case of quadratic fields. Further, we consider primitive elements in an ideal outside of a finite union of other ideals and prove a bound on the height of a smallest such element. Our main tool is a result on points of small norm in a lattice outside of an algebraic hypersurface and a finite union of sublattices of finite index, which we prove by blending two previous Diophantine avoidance results. We also obtain an avoidance result like this for lattice points in the positive orthant in $\mathbb{R}^d$ and use it to obtain a small-height totally positive primitive element in an ideal of a totally real number field outside of a finite union of other ideals. Additionally, we use our avoidance method to prove a bound on the Mahler measure of a generating non-sparse polynomial for a given number field. Finally, we produce a bound on the height of a smallest primitive generator for a principal ideal in a quadratic number field.

Small generators of abelian number fields

Small generators of abelian number fields

Diophantine avoidance and small-height primitive elements in ideals of number fields

Degree bounds for rational generators of invariant fields of finite abelian groups

On trace-one generators of abelian cubic fields

An Additive Function on a Ring of Integers in the Imaginary Quadratic Field Q(√d) with Class-Number One

Imaginary quadratic number fields with class groups of small exponent

A Simple Construction Of Genus Fields Of Abelian Number-Fields

On Arithmetic Genus of Hilbert Modular Varieties on Cyclic Number-Fields

On K-2 Of Division Algebras

On abelian cubic fields with large class number

Higher-degree Artin conjecture

An effective lower bound for the height of algebraic numbers

Elliptic Units Above Fields With Exactly One Complex Place

ON<i>K</i><sub>2</sub>OF DIVISION ALGEBRAS

A Simple Construction of Genus Fields of Abelian Number Fields

Large degree primitive points on curves

On Mahler's inequality and small integral generators of totally complex number fields

Abelian absolute Galois groups

On the Frobenius fields of abelian varieties over number fields

Upper Bound and Formula for Class Numbers of Abelian Function Fields