Explicit smoothed prime ideals theorems under GRH

Abstract: Let

p s i_{m a t h b b K}

be the Chebyshev function of a number field

m a t h b b K

. Let

p s i_{m a t h b b K}^{(1)} (x) := i n t_{0}^{x} p s i_{m a t h b b K} (t), d t

and

p s i_{m a t h b b K}^{(2)} (x) := 2 i n t_{0}^{x} p s i_{m a t h b b K}^{(1)} (t), d t

. We prove under GRH explicit inequalities for the differences

| p s i_{m a t h b b K}^{(1)} (x) - f r a c x^{2} 2 |

and

| p s i_{m a t h b b K}^{(2)} (x) - f r a c x^{3} 3 |

. We deduce an efficient algorithm for the computation of the residue of the Dedekind zeta function and a bound on small-norm prime ideals.

Recommendations

Cites work

Cited in

(15)

Describes a project that uses

Uses Software

This page was built for publication: Explicit smoothed prime ideals theorems under GRH