Related papers: Bertrand's Postulate for Number Fields

Let $k$ be a number field. We study how well can finite sets of $\mathcal O_k$ equidistribute modulo powers of prime ideals, for all prime ideals at the same time. Our main result states that the optimal rate of equidistribution in…

Let $\mathcal{O}_K$ be the ring of integers of an algebraic number field $K$ embedded into $\mathbb{C}$. Let $X$ be a subset of the Euclidean space $\mathbb{R}^d$, and $D(X)$ be the set of the squared distances of two distinct points in…

Let $K$ be a number field with the discriminant $D_K$ and the class number $h_{K}$, which has bounded degree over $\mathbb{Q}$. By assuming GRH, we prove that every ideal class of $K$ contains a prime ideal with norm less than…

Bertrand's postulate establishes that for all positive integers $n>1$ there exists a prime number between $n$ and $2n$. We consider a generalization of this theorem as: for integers $n\geq k\geq 2$ is there a prime number between $kn$ and…

We estimate the distribution of relatively $r$-prime lattice points in number fields $K$ with their components having a norm less than $x$. In the previous paper we obtained uniform upper bounds as $K$ runs through all number fields under…

Let $K/F$ be a finite extension of number fields of degree $n \geq 2$. We establish effective field-uniform unconditional upper bounds for the least norm of a prime ideal of $F$ which is degree 1 over $\mathbb{Q}$ and does not ramify or…

Lagarias, Montgomery, and Odlyzko proved that there exists an effectively computable absolute constant $A_1$ such that for every finite extension $K$ of ${\mathbb{Q}}$, every finite Galois extension $L$ of $K$ with Galois group $G$ and…

We discuss principality of prime ideals of finite algebraic number fields $L=K(\theta)$ over an algebraic number field $K ([K:\mathbb{Q}]<\infty)$ defined by irreducible polynomials $f(x)\in \mathfrak{O}_{K}[x]$ and $f(\theta)=0$. Our main…

Let $K$ be a finite extension of $\mathbb{Q}$ and $\mathcal{O}_K$ be its ring of integers. Let $\mathfrak{B}$ be a primitive collection of ideals in $\mathcal{O}_K$. We show that any $\mathfrak{B}$-free system is essentially minimal.…

We examine the Pythagoras number $\mathcal{P}(\mathcal{O}_K)$ of the ring of integers $\mathcal{O}_K$ in a totally real biquadratic number field $K$. We show that the known upper bound $7$ is attained in a large and natural infinite family…

For the old question whether there is always a prime in the interval [kn, (k+1)n] or not, the famous Bertrand's postulate gave an affirmative answer for k=1. It was first proved by P.L. Chebyshev in 1850, and an elegant elementary proof was…

For a prime ideal $\mathfrak{P}$ of the ring of integers of a number field $K$, we give a general definition of $\mathfrak{P}$-adic continued fraction, which also includes classical definitions of continued fractions in the field of…

Let $K$ be a number field, $\mathfrak{q}$ be an integral ideal, and $\mathrm{Cl}(\mathfrak{q})$ be the associated ray class group. Suppose $\mathrm{Cl}(\mathfrak{q})$ possesses a real exceptional character $\psi$, possibly principal, with a…

For a prime number $p \geq 5$, we explicitly construct a family of imaginary quadratic fields $K$ with ideal class groups $Cl_{K}$ having $p$-rank ${{\rm{rk}}_{p}(Cl_{K})}$ at least $2$. We also quantitatively prove, under the assumption of…

Already Dedekind and Weber considered the problem of counting integral ideals of norm at most $x$ in a given number field $K$. Here we improve on the existing results in case $K/\mathbb Q$ is abelian and has degree at least four. For these…

We obtain a bounded generation theorem over $\mathcal O/\mathfrak a$, where $\mathcal O$ is the ring of integers of a number field and $\mathfrak a$ a general ideal of $\mathcal O$. This addresses a conjecture of Salehi-Golsefidy. Along the…

For a number field $K$, we extend the notion of the ring class field of an order in $K$ [C. Lv and Y. Deng, SciChina. Math., 2015] to that of an arbitrary number ring in $K$. We give both ideal-theoretic and idele-theoretic description of…

Let $K$ be a fixed number field, and assume that $K$ is Galois over $\qq$. Previously, the author showed that when estimating the number of prime ideals with norm congruent to $a$ modulo $q$ via the Chebotar\"ev Density Theorem, the mean…

For a prime number $\ell$ and an extension of number fields $K/F$, we prove new lower bounds on the $\ell$-rank of the ideal class group of $K$ based on prime ramification in $K/F$. Unlike related results from the literature, our bound is…

We establish an explicit bound for the least prime occurring in the Chebotarev density theorem without any restriction. Let $L/K$ be any Galois extension of number fields such that $L\not=\mathbb{Q}$, and let $C$ be a conjugacy class in the…