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.

Reduced Ideals from the Reduction Algorithm

Special Ideals in Partial Abelian Monoids

An algorithmic approach to the existence of ideal objects in commutative algebra

Idealistic Flowers in the Reduction of Singularities

Quantitative reduction theory and unlikely intersections

Regular Ideals, Ideal Intersections, and Quotients

Prime Ideals in Noetherian Rings

Finite numbers of initial ideals in non-Noetherian polynomial rings

Ideals generated by power sums

Bounds for the reduction number of primary ideal in dimension three

Nil-Essential Ideals

A note on defining ideals of monomial curves associated to primitive Pythagorean triples

Primary Decomposition of Symmetric Ideals

A reduction theorem for the isomorphism problem of group algebras over fields

Some results on irreducible ideals of monoids

The distribution of ideals whose norm divides $ n $ in the Gaussian ring

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

Nil-prime ideals of a commutative ring

Freiman ideals

On the Reduced Gröbner Bases of Blockwise Determinantal Ideals

Linearly presented perfect ideals of codimension $2$ in three variables