Abstract prime number theorems (Q5830722)

The paper gives a proof of a single abstract theorem which as particular cases contains the prime number theorem, the theorem for primes in arithmetic progressions and the prime ideal theorem. The problem which the paper deals with is: Let \(G\) be a free abelian group on a countable number of generators \(g_i\), \(i=1.2, \ldots\), and consider a homomorphism \(N\) of \(G\) into the positive rationals such that the images of the \(g_i, N g_i\), and therefore of course the images \(Nw\) of all integral words \(w\) of \(G\), are all integral. Let further \(G'\) be a subgroup of \(G\) with finite index \(h=[G: G']\), and \(H\) a generic coset of \(G/G'\). Treated is: what can than be deduced about the distribution, relative to \(N\), of the generators of \(G\) in the cosets of \( G/G'\) if one has information about the distribution of the integral words of \(G\) in these cosets. More precisely: Assumed that \[ B_{H}=\sum_{\substack{W \leq X \\ W \in H}} 1 = c_H x+O\left(x^{\theta}\right), \quad 0 \le \theta<1,\ c_H \ge 0 \] it is to prove that for each \(H\) we have \[ \pi_H(x)=\sum_{\substack{Ng \le x \\ g\in H}} 1=\frac{d_H x}{\log x}+o\left(\frac{x}{\log x}\right) \] where the \(c_H\) and \(d_H\) are constants depending on \(H\). The proof is following the recent developments in the prime number theory, and depends upon a generalized A. Selberg identity. The classical case that the \(c_H\) are all equal is implicitly contained (under weaker assumptions) in a paper by \textit{A. Beurling} [Acta Math. 68, 255--291 (1937; Zbl 0017.29604)] but his proof is of course not elementary.