Über die Dichte der quadratfreien Zahlen und ähnliche Dichten in einem algebraischen Zahlkörper. (Q1440544)

Es wird zunächst das \textit{Tornier}sche Schema zur Behandlung von Dichtigkeitsfragen in Elementfolgen auseinandergesetzt. Nach Hinzunahme eines gewissen Gleichmäßigkeitsaxioms gelingt es, den Begriff der Dichte der eigenschaftslosen, d. h. derjenigen Elemente einer gegebenen Zahlfolge einzuführen, denen keine Eigenschaft einer gegebenen Eigenschaftenfolge zukommt. Durch Anwendung auf die in der Überschrift formulierte Frage gelangt \textit{Hasse} zu dem folgenden Ergebnis: In jedem algebraischen Zahlkörper \(k\) von endlichem Grade besitzen die nicht durch die einzelnen Primidealpotenzen einer festen Folge von Primidealpotenzen \({\mathfrak p}_i^{\nu_i}\) von \(k\) teilbaren ganzen Hauptideale eine Dichte in der Folge aller nach wachsenden Normen geordneten ganzen Hauptideale \((\alpha)\) aus \(k\), deren Wert \[ P=\prod_{i=1}^\infty \left(1-\frac{1}{N({\mathfrak p}_i)^{\nu_i}} \right) \] ist. Insbesondere haben in diesem Sinne die quadratischen, kubusfreien, \(\dots\) ganzen Hauptideale aus \(K\) die Dichten \[ \prod_{\mathfrak p} \left( 1-\frac{1}{N({\mathfrak p})^2} \right)=\frac{1}{\zeta_k(2)},\;\prod_{\mathfrak p} \left( 1-\frac{1}{N({\mathfrak p})^3} \right)=\frac{1}{\zeta_k(3)},\dots, \] wobei \[ \zeta_k(s)=\sum_{\mathfrak a} \frac{1}{N({\mathfrak a})^s}=\prod_{\mathfrak p} \frac{1}{1-\frac{1}{N({\mathfrak p})^2}} \] die \textit{Dedekind}sche Zetafunktion von \(k\) ist. Dies Resultat überträgt sich in bekannter Weise leicht einerseits auf die Folge aller ganzen Ideale von \(k\), andrerseits auf die Ideale irgend einer Idealklasse im allgemeinsten Sinne von \(k\).