{"entities":{"Q2611687":{"pageid":2622430,"ns":120,"title":"Item:Q2611687","lastrevid":44483820,"modified":"2025-11-23T06:57:06Z","type":"item","id":"Q2611687","labels":{"en":{"language":"en","value":"\u00dcber die Classenzahl quadratischer Zahlk\u00f6rper."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2531683"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2611687$5B80B1BD-C2B6-4251-8B61-5D41A55E36FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"600f264c51f63365ce2b9051eb6b310382428bb0","datavalue":{"value":{"text":"\u00dcber die Classenzahl quadratischer Zahlk\u00f6rper.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2611687$25672023-5862-4DB5-8503-90B3CE10C896","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39789aa4cf1a7f94c0ca648d27d9bf72087c9463","datavalue":{"value":"61.0170.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2611687$82E9E7C0-C701-4688-886C-1D412BDFEF51","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d7c377eb9eca9d4544de709b24b4ac445c513847","datavalue":{"value":{"entity-type":"item","numeric-id":2590509,"id":"Q2590509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2611687$B1639AD7-9952-47DA-9FE3-FC6248C25579","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f82bec1cbf48dde5b3e142feb51b7b6959e188a7","datavalue":{"value":{"time":"+1935-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2611687$D301DC9D-5B4B-40B9-9EF2-AD6B942400C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b74db99285074db23a8061fed8298be4c9ce1fae","datavalue":{"value":"https://eudml.org/doc/205054","type":"string"},"datatype":"url"},"type":"statement","id":"Q2611687$B9684CB0-9264-4E2E-973D-71B172EC1170","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8f75e48bc8c2b36034eb71f09c346ab79cc7429b","datavalue":{"value":"Es sei \\(h(d)\\) die Klassenzahl des quadratischen Zahlk\u00f6rpers \\(\\mathfrak{K}_d\\) mit der Diskriminante \\(d\\). \\textit{Heilbronn} hat die \\textit{Gau\u00df}sche Vermutung \\(h(d)\\to\\infty\\) f\u00fcr \\(d\\to -\\infty\\) bewiesen und \\textit{Landau} (s. vorstehendes Referat) dazu eine untere Absch\u00e4tzung f\u00fcr \\(h(d)\\) gegeben. Verf. bestimmt das genaue asymptotische Verhalten von \\(h(d)\\), und zwar nicht nur f\u00fcr \\(d\\to -\\infty\\) (imagin\u00e4r-quadratische K\u00f6rper) sondern auch f\u00fcr \\(d\\to +\\infty\\) (reell-quadratische K\u00f6rper). Er beweist:  \\[  \\begin{aligned} & \\log\\, h(d) \\sim \\log\\, \\sqrt{-d} \\quad \\text{f\u00fcr } \\;d\\to -\\infty, \\\\ &\\log\\, (h(d)\\, \\log\\, \\varepsilon_d) \\sim \\log\\, \\sqrt{d} \\quad \\text{f\u00fcr } \\;d\\to +\\infty, \\end{aligned}  \\]  wo \\(\\varepsilon_d\\) die Grundeinheit von \\(\\mathfrak{K}_d\\) ist. Beide Tatsachen laufen auf die eine  \\[  \\log\\, \\varkappa_d = \\log\\, L_d(1) = o(\\log\\, |d|) \\text{ f\u00fcr } |d|\\to\\infty  \\]  zur\u00fcck, wo \\(\\varkappa_d = L_d(1)\\) das Residuum der Zetafunktion von \\(\\mathfrak{K}_d\\) (Wert der zum Charakter \\(\\left(\\dfrac{d}{n}\\right)\\) geh\u00f6rigen \\(L\\)-Funktion) bei 1 ist.  Der Beweis beruht auf der von \\textit{Hecke} zum Beweis der Funktionalgleichung der Zetafunktion \\(\\zeta_{\\mathfrak{K}}(s)\\) eines beliebigen algebraischen Zahlk\u00f6rpers \\(\\mathfrak{K}\\) gegebenen Integraldarstellung:  \\[ \\begin{multlined} 2^{-r_2s}\\pi^{-\\tfrac{n}{2}s}|d|^{\\tfrac{s}{2}}\\varGamma^{r_1}\\left( \\dfrac{s}{2}\\right)\\varGamma^{r_2}(s)\\zeta_{\\mathfrak{K}}(s) = -\\dfrac{(2\\pi)^{-r_2}|d|^{\\tfrac{1}{2}}\\varkappa_{\\mathfrak{K}}}{s(1-s)} \\\\ +\\sum\\limits_{\\mathfrak{a}\\text{ ganz}}\\idotsint\\limits_{N(x)\\geqq 1} \\left(N(x)^{\\tfrac{s}{2}} + N(x)^{\\tfrac{1-s}{2}}\\right) e^{-\\pi N(\\mathfrak{a})^{\\tfrac{2}{n}}|d|^{-\\tfrac{1}{n}}Sp(x)} \\dfrac{dx_1}{x_1} \\cdots \\dfrac{dx_{r_1+r_2}}{x_{r_1+r_2}}, \\end{multlined}  \\]  wo \\(d\\) die Diskriminante, \\(n\\) den Grad, \\(r_1\\) die Anzahl der reellen, \\(r_2\\) die Anzahl der komplexen unendlichen Primstellen von \\(\\mathfrak{K}\\) bezeichnet, und \\(\\varkappa_\\mathfrak{K}\\) das Residuum von \\(\\zeta_\\mathfrak{K}(s)\\) bei 1 ist. Aus dieser Integraldarstellung folgert Verf. durch alleinige Ber\u00fccksichtigung von \\(\\mathfrak{a}=1\\) rechts leicht den Hilfssatz:  Besteht f\u00fcr ein \\(s\\) mit \\(0 < s < 1\\) die Ungleichung  \\[  \\varkappa_\\mathfrak{K}\\leqq s(1-s)2^{-n}e^{-2n\\pi}|d|^{-\\tfrac{1-s}{2}},  \\]  so ist dort \\(\\zeta_{\\mathfrak{K}}(s) >0\\).  W\u00e4re nun \\(\\log\\,\\varkappa_d\\) nicht \\(o(\\log\\, |d|)\\), so g\u00e4be es ein positives \\(\\varepsilon < 1\\) derart, da\u00df \\(\\varkappa_d = L_d(1) < |d|^{-\\varepsilon}\\) f\u00fcr \\textit{gewisse} beliebig gro\u00dfe \\(|d|\\) w\u00e4re (denn \\(L_d(1) > |d|^\\varepsilon\\) kann auf Grund der elementar aus der \\textit{Dirichlet}-Reihe zu gewinnenden Absch\u00e4tzung \\(L_d(1) < 3 \\log\\, |d|\\) h\u00f6chstens endlich oft eintreten), und diese Absch\u00e4tzung lieferte nach dem obigen Hilfssatz \\(\\zeta_{\\mathfrak{K}_d}(1-\\varepsilon) > 0\\) f\u00fcr \\textit{gewisse} beliebig gro\u00dfe \\(|d|\\). F\u00fcr jedes solche \\(d\\) existierte dann also eine Nullstelle \\(\\sigma\\) von \\(\\zeta_{\\mathfrak{K}_d}(s)\\) mit \\(1-\\varepsilon < \\sigma < 1\\).  Betrachtet man dann den aus zwei quadratischen K\u00f6rpern \\(\\mathfrak{K}_d\\), \\(\\mathfrak{K}_{d'}\\) komponierten biquadratischen K\u00f6rper \\(\\mathfrak{K}\\) und beachtet die aus der Klassenk\u00f6rpertheorie gel\u00e4ufigen Identit\u00e4ten  \\[  \\zeta_{\\mathfrak{K}}(s) = \\zeta (s)L_d(s)L_{d'}(s)L_{d''}(s), \\quad \\zeta_{\\mathfrak{K}_d}(s) = \\zeta (s)L_d(s),  \\]  wo \\(\\mathfrak{K}_{d''}\\) der dritte quadratische Teilk\u00f6rper von \\(\\mathfrak{K}\\) ist, so lieferte die erneute Anwendung des angef\u00fchrten Hilfssatzes auf \\(\\mathfrak{K}\\), gem\u00e4\u00df \\(\\zeta_{\\mathfrak{K}}(\\sigma) = 0\\), eine untere Absch\u00e4tzung f\u00fcr \\(\\varkappa_{\\mathfrak{K}} = L_d(1)L_{d'}(1)L_{d''}(1)\\) und daraus leicht eine \\textit{untere} Absch\u00e4tzung f\u00fcr \\textit{alle} \\(L_{d'}(1)\\) mit hinreichend gro\u00dfem \\(|d'|\\), die zu der f\u00fcr \\textit{gewisse} \\(L_d(1)\\) angenommenen \\textit{oberen} Absch\u00e4tzung im Widerspruch steht.  Verf. vermutet, da\u00df allgemein f\u00fcr beliebige algebraische Zahlk\u00f6rper \\(\\mathfrak{K}\\) festen Grades \\(n\\) zwischen Diskriminante \\(d\\), Klassenzahl \\(h\\) und Regulator \\(R\\) die asymptotische Beziehung  \\[  \\log\\, (hR)\\sim \\log\\, \\sqrt{|d|}  \\]  besteht. Er f\u00fchrt ohne Beweis an, da\u00df die f\u00fcr quadratische K\u00f6rper \\(\\mathfrak{K}\\) dargelegte Methode in Verbindung mit der Klassenk\u00f6rpertheorie ausreicht, um diese Beziehung f\u00fcr alle \u00fcber einem festen K\u00f6rper \\(\\mathfrak{K}_0\\) aufl\u00f6sbaren K\u00f6rper \\(\\mathfrak{K}\\) zu beweisen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2611687$9B27E3C7-B9E1-464F-B61D-AA452AAE0150","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72ac7b1f2ce7beb0bf47551b03c660f857df7245","datavalue":{"value":"2531683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2611687$77DF89E9-3C1F-4658-9128-EF2B4F2B822C","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2611687$5677DE63-5925-44C4-8BE3-F8A3647C7601","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fdcb517c0151879fa479be26ba4d385875761895","datavalue":{"value":"W134647183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2611687$0BFC7524-ECE4-4452-B426-1A0B3D025286","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aef07e70113d8bc358e94035e49f62eaf4d707e9","datavalue":{"value":"10.4064/AA-1-1-83-86","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2611687$AAE108EA-17A6-4B1E-BCAF-0247E18F1D31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad69cac34a49566dd37c7e7223e5c3fef758026e","datavalue":{"value":{"entity-type":"item","numeric-id":6482048,"id":"Q6482048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2611687$15BF66B6-062B-4685-B585-FF9E3C100A2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2611687","badges":[]}}}}}