Note on the minimum value of the discriminant of an algebraic field. (Q2590508)

Für den kleinsten Diskriminantenabsolutwert \(D_n\) von Zahlkörpern \(n\)-ten Grades gilt \(E_n =\root n\of{D_n} > e^2\) nach \textit{Minkowski}, Geometrie der Zahlen (1910), S. 134, für großes \(n\). Verf. zeigte in Trans. Amer. math. Soc. 15 (1914), 227-235 (F. d. M. 45, 314 (JFM 45.0314.*)) schon \(E_n >\pi e\) und beweist jetzt die in Mh. Math. Physik 43 (1936), 410-414 (F. d. M. \(62_{\text{I}}\), 175) auf S. 413 angekündigte schärfere Abschätzung \[ E_n > 2\pi e^{\frac32}\text{ für total reelle Körper hohen Grades} \] durch eine einfache Abschätzung des Koordinatenabstandsproduktes je zweier Körper\-gitterpunkte innerhalb einer nicht zu kleinen und nicht allzu großen Kugel nach unten durch 1 und nach oben durch das nicht ganze und daher größere \[ D\cdot(\pi n(m - 1)^{-n} (m - 1)^2 (2^2\cdot 3^3\cdots m^m)^{\frac{2n}{m(m-1)}} \bigg(\varGamma\Big(1+\frac n2\Big)\bigg)^2 \] bei \(m\) Gitterpunkten, wobei der vorletzte Potenzfaktor nach \textit{Bendersky} (Acta math. Uppsala 61 (1933), 263-322; F. d. M. \(59_{\text{I}}\), 373) mit \(me^{-\frac12}\) äquivalent ist. Hieraus folgt die Behauptung durch Logarithmierung (wobei mit \(>\) statt wie bei Verf. mit \(\geqq\) zu rechnen ist; auch ist in der Darstellung von \(P\) in 4. der Exponent 2 zu streichen).