Distribution of units of a cubic field with negative discriminant (Q5960972)

Let \(F\) be a number field with maximal order \({\mathcal O}_F\) and unit group \(E_F = {\mathcal O}_F^\times\); for any prime ideal \({\mathfrak p}\) in \(F\), let \(I({\mathfrak p})\) denote the index of the image of \(E_F\) in the group \(({\mathcal O}_F/{\mathfrak p})^\times\). NEWLINENEWLINENEWLINEIn this article, the authors consider the case of cubic fields \(F\) with negative discriminant. Let \({\mathbb P}_1(x)\) denote the set of all prime ideals of degree \(1\) and norm \(< x\) that split completely in \(F\); similarly, \({\mathbb P}_2(x)\) denotes the set of all prime ideals of degree \(1\) that have degree \(2\) in the normal closure of \(F\) and have norm \(< x\). Next define the functions \(N_i(x)\) (\(i = 1, 2\)) as the cardinality of all \({\mathfrak p} \in {\mathbb P}_i(x)\) with \(I({\mathfrak p}) = 1\). NEWLINENEWLINENEWLINEThe main results are the asymptotic formulas NEWLINE\[NEWLINEN_{i(x)}= c_{i}\cdot{\text{Li}}(x)+O(x\log \log x (\log x)^2)NEWLINE\]NEWLINE for `explicitly given' constants \(c_1\) and \(c_2\). Similar results for prime ideals of degree \(2\) and \(3\) are given as conjectures.