From Pólya fields to Pólya groups (II) non-Galois number fields (Q2212670)

Let \(K\) be a number field with ring of integers \(\mathcal O_K\). For each positive integer \(q\), let \(\Pi_q(K)\) be the product of all the prime ideals of \(\mathcal O_K\) having norm \(q\). The Pólya group \(\mathcal Po(K)\) of \(K\) is defined as the subgroup of the ideal class group \(Cl(K)\) generated by the classes of the ideals \(\Pi_q(K)\); a number field is said to be a Pólya field if \(\mathcal Po(K)\) is trivial, i.e., if all the ideals \(\Pi_q(K)\) are principal. Denote by \(\mathcal Po(K)_{nr}\) the subgroup of \(\mathcal Po(K)\) generated by the classes of the ideals \(\Pi_{p^f}(K)\) where \(p\) is unramified in \(K/\mathbb Q\). In [\textit{H. Zantema}, Manuscr. Math. 40, 155--203 (1982; Zbl 0505.12003)] the following result was proved: Let \(K\) be a number field of degree \(n\geq 3\) and let \(G\) be the Galois group of the normal closure of \(K\) over \(\mathbb Q\). If \(G\) is either isomorphic to the symmetric group \(S_n\) where \(n\neq 4\), or to the alternating group \(\mathcal A_n\) where \(n\neq 3,5\), or is a Frobenius group, then \(\mathcal Po(K)_{nr}=\{1\}\) if and only if \(\mathcal Po(K)=\{1\}\) if and only if \(Cl(K)=\{1\}\). Motivated by this result, in the present paper the authors prove that under the same assumptions as above \(\mathcal Po(K)_{nr}=\mathcal Po(K)=Cl(K)\). Among the other interesting applications of their main results, there is an algorithm to compute \(\mathcal Po(K)\) for a given number field \(K\) and the statement that \(\mathcal Po(K)=Cl(K)\) with probability \(1\) for a number field chosen at random (in a sense that is made precise in the paper).