Bertrand's postulate for number fields

Abstract: Consider an algebraic number field,

K

, and its ring of integers,

m a t h c a l O_{K}

. There exists a smallest

B_{K} > 1

such that for any

x > 1

we can find a prime ideal,

m a t h f r a k p

, in

m a t h c a l O_{K}

with norm

N (m a t h f r a k p)

in the interval

[x, B_{K} x]

. This is a generalization of Bertrand's postulate to number fields, and in this paper we produce bounds on

B_{K}

in terms of the invariants of

K

from an effective prime ideal theorem due to Lagarias and Odlyzko. We also show that a bound on

B_{K}

can be obtained from an asymptotic estimate for the number of ideals in

m a t h c a l O_{K}

less than

x

.

Recommendations

Cited in

(8)

This page was built for publication: Bertrand's postulate for number fields