Primes of the form \(x^2+ny^2\) with conditions \(x\equiv 1 \bmod N\), \(y\equiv 0\bmod N\) (Q962985)

In his book ``Primes of the form \(x^2 + ny^2\)'' [New York etc.: John Wiley (1989; Zbl 0701.11001)], \textit{David Cox} gives a complete characterization of the odd primes \(p\) represented by diagonal quadratic forms \(x^2 + ny^2\), where \(n \in \mathbb Z^+\): \(p\) can be represented by the form \(x^2 + ny^2\) if and only if \(p\) splits completely in the ring class field \(K_{\mathcal O}\) of the order \(\mathcal O = \mathbb Z[\sqrt{-n}]\) in \(K = \mathbb Q(\sqrt{-n})\). Furthermore, Cox gives an alternative characterization in terms of the Kronecker symbol \(\left( \frac {-n}{\cdot} \right)\) and the minimal polynomial \(f_n(X)\) of a real algebraic integer which generates \(K_{\mathcal O}\) over \(K\). In the paper under review, the author studies such representations subject to the additional constraints \(x \equiv 1 \pmod N\) and \(y \equiv 0 \pmod N\), where \(N\geq 1\). For example, he shows that if \(\gcd(p, 2nN) = 1\), then \(p\) can be represented as \[ p = x^2 + ny^2, \quad x \equiv 1 \pmod N, \quad y \equiv 0 \pmod N \] if and only if \(p\) splits completely in an appropriate class field.