{"entities":{"Q563598":{"pageid":565365,"ns":120,"title":"Item:Q563598","lastrevid":62777211,"modified":"2026-04-11T08:23:02Z","type":"item","id":"Q563598","labels":{"en":{"language":"en","value":"\u00dcber die Absch\u00e4tzung des absoluten Betrages des Regulators eines algebraischen Zahlk\u00f6rpers nach unten."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2549495"}},"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":"Q563598$DD8C0D77-E95A-4151-953A-D6C59C787D2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14fc0013bcafa6daa53b26c91af080f9f233c3d5","datavalue":{"value":{"text":"\u00dcber die Absch\u00e4tzung des absoluten Betrages des Regulators eines algebraischen Zahlk\u00f6rpers nach unten.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q563598$6927B549-C791-44CB-A27E-4F15D4E59756","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34ef53452c4ec9e1db6feb7dd41141159b063cd3","datavalue":{"value":"58.0173.04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q563598$638EF0B9-5DE9-407F-BE60-45E16E3B8E5C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"79327704d6d4548ce97be34ab84df8a1bb1515ff","datavalue":{"value":{"entity-type":"item","numeric-id":256938,"id":"Q256938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q563598$2901D927-7796-4DD0-971D-5114EC090953","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bbb53abe68aac0eeb25dacc2ea1a7274c90a69a","datavalue":{"value":{"time":"+1932-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":"Q563598$401C0551-AC98-42D3-ACD0-64BD64D96125","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8339887bed27bb0a24549ac67cf44766c70c45af","datavalue":{"value":"https://www.digizeitschriften.de/dms/resolveppn/?PPN=GDZPPN002172194","type":"string"},"datatype":"url"},"type":"statement","id":"Q563598$985D9F69-B53A-48F7-A327-6A9B94FA2A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"1602dbe99905cef90690ecfdb7fa7880d5f91f7c","datavalue":{"value":"https://eudml.org/doc/149816","type":"string"},"datatype":"url"},"type":"statement","id":"Q563598$A6734A8E-404E-4678-85D8-1C927F4A813B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"28bbf25a6bb2a58c9c67730f039050a3ae07a872","datavalue":{"value":"Bezeichnungen: \\(n\\) sei der Grad des Zahlk\u00f6rpers, \\(r\\) die Anzahl der reellen konjugierten K\u00f6rper, \\(s\\) die Anzahl der komplexen konjugierten K\u00f6rper, \\(k=r+s-1\\) die Anzahl eines Systems von Fundamentaleinheiten \\(\\vartheta _1^{(1)},\\vartheta _1^{(2)},\\ldots,\\vartheta _1^{(k)}\\) (die konjugierten Einheiten seien \\(\\vartheta _\\nu ^{(1)},\\vartheta _\\nu ^{(2)},\\ldots,\\vartheta _\\nu ^{(k)}\\) f\u00fcr \\(\\nu =1,\\ldots,n\\)), \\(R\\) der Regulator, \\(\\psi _\\nu =1\\) f\u00fcr \\(\\nu =1,\\ldots,r\\), \\(\\psi _\\nu =2\\) f\u00fcr \\(\\nu =r+1,\\ldots,r+s\\). Jede Einheit ist darstellbar in der Form  \\[ \\varepsilon =\\vartheta _1^{(1)x^{(1)}} \\vartheta _1^{(2)x^{(2)}}\\cdots \\vartheta _1^{(k)x^{(k)}}\\cdot \\eta _1^{x^{(k+1)}}, \\]  wo \\(\\eta _1\\) eine Einheitswurzel vom Maximalgrad \\(w\\) ist. Man betrachte die quadratische Form  \\[ \\sum _{\\nu =1}^{r+s}|\\psi _\\nu \\log \\varepsilon _\\nu |^2=\\sum _{\\nu =1}^{r+s}\\{\\mathfrak R (\\psi _\\nu \\log \\varepsilon _\\nu )\\}^2+\\sum _{\\nu =1}^{r+s}\\{\\mathfrak J(\\psi _\\nu \\log \\varepsilon _\\nu )\\}^2\\leqno (1) \\]  in den \\(2k+1\\) Variablen  \\[ \\begin{aligned} \\mathfrak R(\\psi _\\nu \\log \\varepsilon _\\nu )&=y_\\nu \\text{ f\u00fcr }\\nu =1,\\ldots,k\\\\ \\mathfrak J(\\psi _\\nu \\log \\varepsilon _\\nu )&=y_{k+\\nu }\\text{ f\u00fcr }\\nu =1,\\ldots,k+1.\\end{aligned}  \\]  Der Realteil der \\((k + 1)\\)-ten Konjugierten ist \\(\\bar y=-\\sum \\limits _{\\nu =1}^ky_\\nu \\). Aus (1) wird:  \\[ \\sum _{\\nu =1}^{r+s}|\\psi _\\nu \\log \\varepsilon _\\nu |^2=\\bar y^2+\\sum _{\\nu =1}^{2k+1}y_\\nu ^2\\leqno (2) \\]  in \\(2(k+1)\\) Variablen.  Die \\(y_\\nu \\) k\u00f6nnen linear durch \\(x^{(1)},x^{(2)},\\ldots,x^{(k+1)},x^{(k+2)},\\ldots,x^{(2k+1)}\\) ausgedr\u00fcckt werden (in dem \\(2(k+1)\\)-dimensionalen Raum, in dem die Logarithmen der Einheiten dargestellt werden, k\u00f6nnen die Imagin\u00e4rteile der Logarithmen \\(\\text{mod }2\\pi \\) beliebig abge\u00e4ndert werden; dazu dienen die letzten \\(k\\) Variablen \\(x^{(k+2)},\\ldots,x^{(2k+1)}\\)). Die Transformationsmatrix mit der Determinante \\(R\\cdot \\frac {2^n\\pi ^{r+s}}w\\) sieht folgenderma\u00dfen aus:  \\[ C=\\begin{pmatrix} R & N_{k,k+1}\\\\ I&\\begin{matrix} \\psi _1\\frac {2\\pi }w & 0 & 0 & \\ldots & 0 \\\\ m_2\\psi _2\\frac {2\\pi }w & \\psi _22\\pi & 0 & \\ldots & 0 \\\\ m_3\\psi _3\\frac {2\\pi }w & 0 &\\psi _32\\pi & \\ldots & 0 \\\\ \\cdots & \\cdots &\\cdots &\\cdots &\\cdots \\\\ m_{k+1}\\psi _{k+1}\\frac {2\\pi }w & 0 & 0&\\ldots & \\psi _{k+1}2\\pi \\end{matrix} \\end{pmatrix}, \\]  wobei \\(N_{k,k+1}\\) matrix vom Typus \\((k,k+1)\\), \\(I\\) die - entsprechend \\(R\\) - aus den Imagin\u00e4rteilen von \\(\\psi _\\nu \\log \\vartheta _\\nu ^{(\\mu )}\\) f\u00fcr \\(\\nu =1,\\ldots,k+1\\), \\(\\mu =1,\\ldots,k\\) gebildete Matrix vom Typus \\((k+1,k)\\) und \\(m_\\nu \\) ganze rationale Zahlen sind. Man erh\u00e4lt durch Anwendung der Transformation \\( C\\) auf (2) die quadratische Form  \\[ Q(x)=\\sum _{\\mu,\\sigma =1}^{2k+1}x^{(\\mu )}x^{(\\sigma )}\\varphi ^{(\\mu,\\sigma )}, \\]  mit der Determinante  \\[ \\|\\varphi ^{(\\mu,\\sigma )}\\| = \\left \\{\\sqrt {r+s}R\\cdot \\frac {2^n\\pi ^{r+s}}w\\right \\}^2. \\]  Mit Hilfe der \\textit{Blichfeldt}schen Absch\u00e4tzung f\u00fcr das Minimum \\(M\\) der quadratischen Form (1914; F. d. M. 45, 314 (JFM 45.0314.*)) ergibt sich  \\[ |R^\\ast |=\\left |\\sqrt {r+s}\\cdot \\frac {R\\cdot 2^n\\pi ^{r+s}}w\\right |\\geqq \\frac {(\\sqrt M)^{2k+1}\\pi ^{\\frac {2k+1}2}}{2^{\\frac {2k+1}2}\\varGamma \\left (2+\\frac {2k+1}2\\right )}.\\leqno (3) \\]  Die Aufgabe ist also, eine untere Schranke f\u00fcr \\(M\\) zu finden. Im ersten Hauptfall (\\(\\varepsilon _1\\neq 1\\)) ergibt sich  \\[ \\sqrt M\\geqq \\frac n{\\sqrt {r+s}}\\log 2. \\]  Im zweiten Hauptfall (\\(\\varepsilon _1=1\\)), der in dem \\(2(k+1)\\)-dimensionalen Raum m\u00f6glich ist, da die Logarithmen der konjugierten Zahlen ganzzahlige Vielfache von \\(2\\pi i\\) sein k\u00f6nnen ergibt sich  \\[ \\begin{alignedat}{2} \\sqrt M &=2\\pi &\\quad \\text{ f\u00fcr }& r\\geqq 1,\\\\ \\sqrt M &=4\\pi &\\quad \\text{ f\u00fcr }& r= 0, s=\\frac n2\\end{alignedat}  \\]  (f\u00fcr den Fall des total imagin\u00e4ren K\u00f6rpers), also allgemein  \\[ \\sqrt M\\geqq \\text{ Min }\\left (\\frac n{\\sqrt {r+s}}\\log 2; 2\\pi \\right ).\\leqno (4) \\]  Bemerkenswert ist, da\u00df die Absch\u00e4tzung nach (3) und (4) nicht von der K\u00f6rperdiskriminante abh\u00e4ngt. - Im Fall des total reellen K\u00f6rpers kann man die Absch\u00e4tzung verbessern, indem man statt der \\(\\varepsilon _\\nu \\) deren Quadrate \\(\\varepsilon _\\nu ^2\\) betrachtet. Dann haben die Einheiten lauter reelle positive Konjugierte, die Logarithmen sind reell. - Dieses Quadrieren kann auch im Fall eines beliebigen K\u00f6rpers von Vorteil sein. - Eine weitere Verbesserung kann man durch ``Dilatation'' der zu den Imagin\u00e4rteilen geh\u00f6rigen Ver\u00e4nderlichen erhalten. - Zum Schlu\u00df wird die Absch\u00e4tzung f\u00fcr gro\u00dfe \\(n\\) untersucht. F\u00fcr total imagin\u00e4re K\u00f6rper geht die Absch\u00e4tzung mit wachsendem \\(n\\) schnell gegen 0, f\u00fcr total reelle K\u00f6rper schwach gegen \\(\\infty \\). - Die Regulatoren aller total reellen K\u00f6rper sind absolut gr\u00f6\u00dfer als \\(\\frac 1{1000}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q563598$6BBAFD9D-6988-4F05-ACB7-6957F8F006DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffae325e9eb3a986cb093cf816987287efe7a3fb","datavalue":{"value":"2549495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q563598$D55C28CA-EECE-4710-807E-4CB6D99EAA93","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":"Q563598$B107684F-54E3-40FA-9112-A0B7A588BCA0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc7ff037e72f81ebfbd2e2b7272660690f0323e7","datavalue":{"value":"W304760475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q563598$56C242C8-60D2-4F1A-B62B-5F2128AD5099","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c94f428243c9e91105c3a3498cb66a4ab4d5ba9","datavalue":{"value":"10.1515/CRLL.1932.167.360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q563598$831CFC74-017A-454B-924A-93415431BE3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5ce0e18a848df6fbf9ef5ebbe862979eb9d6f4d","datavalue":{"value":{"entity-type":"item","numeric-id":6481336,"id":"Q6481336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q563598$98369024-E2A6-4742-909A-43C33EA77054","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\u00dcber die Absch\u00e4tzung des absoluten Betrages des Regulators eines algebraischen Zahlk\u00f6rpers nach unten.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%C3%9Cber_die_Absch%C3%A4tzung_des_absoluten_Betrages_des_Regulators_eines_algebraischen_Zahlk%C3%B6rpers_nach_unten."}}}}}