{"entities":{"Q2644904":{"pageid":2655647,"ns":120,"title":"Item:Q2644904","lastrevid":44552505,"modified":"2025-11-23T20:56:42Z","type":"item","id":"Q2644904","labels":{"en":{"language":"en","value":"Ein neuer Beweis f\u00fcr die Reziprozit\u00e4tsformel der Gaussschen Summen in beliebigen algebraischen Zahlk\u00f6rpern"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3018143"}},"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":"Q2644904$E2F3A698-FC23-4B7A-9AA5-AA7D5978F735","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"160dd95c7a76237a9163b452094b250643a12b64","datavalue":{"value":{"text":"Ein neuer Beweis f\u00fcr die Reziprozit\u00e4tsformel der Gaussschen Summen in beliebigen algebraischen Zahlk\u00f6rpern","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2644904$53A6B03C-BF78-4377-B0C9-AC550C580A62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b04f08e298bde4ffdbc6390acfdc27034eb60d20","datavalue":{"value":"0012.05001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2644904$ED4C74BA-9393-4069-BB43-45FC39E44B15","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d2b8b30e28823cb4498587292b5744e709c7ba6","datavalue":{"value":"10.1007/BF01218861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2644904$50EF7051-E87E-4E74-8D09-26F49B9D164C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6db41f5c41dec78512a515cc7a43f84b9cf08a9","datavalue":{"value":{"entity-type":"item","numeric-id":2611671,"id":"Q2611671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2644904$1798007A-E4D1-4B89-A2E1-F6B3ECF1D436","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dfa5bc95e1fdba4c3d3197123373583ef39a5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":163114,"id":"Q163114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2644904$A091427D-F343-4DE6-9150-B4160679FA95","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":"Q2644904$114D4269-B8A8-4CD2-891B-89365B39C0A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d137e14406980c8e5019789a7ecb5dffef17d34","datavalue":{"value":"https://eudml.org/doc/168610","type":"string"},"datatype":"url"},"type":"statement","id":"Q2644904$1011A88C-10D1-45C5-88CC-81D2548CEE5B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a42183731358815bbd24cd0dd89ff317bd3bd9c4","datavalue":{"value":"Unter den bekannten Methoden f\u00fcr die genaue Bestimmung des Wertes der (quadratischen) Gau\u00dfschen Summen zum rationales Zahlk\u00f6rper zeichnen sich die Kroneckersche Methode (besonders in der Mordellschen Fassung) und die Methode der Fourierreihen durch Einfachheit and Eleganz aus. Ihr Kern ist folgendes: F\u00fcr die Summe   \\[ G(u, v; R) = \\sum_{x\\bmod R} e^{2\\pi i(ux^2+vx)}, \\]   wo \\(u\\neq 0\\), \\(v\\) rationale Zahlen sind und \\(R\\) eine nat\u00fcrliche Zahl, f\u00fcr die \\(2Ru\\), \\(R^2u\\), \\(Rv\\) ganz sind, gilt die Reziprozit\u00e4tsformel   \\[  G(u, v; R) = \\frac{e^{\\frac{\\pi i}{4}\\text{sgn}\\;u}}{| \\sqrt{2u}|}\\sum_{y\\bmod 2Ru} e^{-\\frac {2\\pi i}{4}\\frac{(y+v)^2}{u}}\\,. \\]   Verf. beweist die folgende naturgem\u00e4\u00dfe Verallgemeinerung dieser Formel auf \\(n\\)-gliedrige Summen: Es sei \\(\\mathfrak U\\) eine rationalzahlige symmetrische \\(n\\)-reihig-quadratische regul\u00e4re Matrix, \\(\\mathfrak v\\) eine rationalzahlige \\(n\\)-gliedrige Spalte und \\(R\\) eine nat\u00fcrliche Zahl derart, da\u00df \\(R\\mathfrak U\\), \\(R\\mathfrak v\\) ganzzahlig sind. Dann wird die \\(n\\)-gliedrige Summe   \\[ G(\\mathfrak U, \\mathfrak v; R)= \\sum_{\\mathfrak x\\bmod R} e^{2\\pi i(\\mathfrak x'\\mathfrak U\\mathfrak x+\\mathfrak x'\\mathfrak v)} \\]  betrachtet. Setzt man dann zudem voraus, da\u00df die Hauptunterdeterminanten \\(D_j\\) \\((j = 1, \\dots, n)\\) aus den \\(j\\) ersten Zeilen und Spalten von \\(\\mathfrak U\\) s\u00e4mtlich von Null verschieden sind, ferner da\u00df die Ausdr\u00fccke \\(R\\frac{\\Delta_jw}{D_j}\\) \\((j= 1,\\dots, n-1)\\) s\u00e4mtlich ganz sind, wenn man f\u00fcr \\(\\Delta_j\\) irgendeine \\(j\\)-reihige Unterdeterminante von \\(\\mathfrak U\\) und f\u00fcr \\(w\\) irgendein Glied aus \\(\\mathfrak U\\) oder \\(\\mathfrak v\\) oder die Zahl 1 setzt, so gilt die Reziprozit\u00e4tsformel    \\[ G(\\mathfrak U, \\mathfrak v; R) = \\frac{e^{\\frac{\\pi i}{4}\\text{sgn}\\;\\mathfrak U}}{| \\sqrt{2^n|\\mathfrak U|}|} \\sum_{_{\\substack{ y_j\\bmod 2R\\frac{D_j}{D_{j-1}} \\\\ (j=1,\\dots,n)}}} e^{-\\frac{2\\pi i}{4} (\\mathfrak y+\\mathfrak v)'\\mathfrak U^{-1}(\\mathfrak y+\\mathfrak v)}\\,, \\]   wo \\(\\mathfrak y=(y_j)\\), \\(D_0 = 1\\) gesetzt ist and \\(\\text{sgn}\\,\\mathfrak U =\\sum_{j=1}^n \\text{sgn}\\,\\frac{D_j}{D_{j-1}}\\) die Signatur der quadratischen Form \\(\\mathfrak x'\\mathfrak U\\mathfrak x\\) bezeichnet.    Als Anwendung folgert Verf. die von \\textit{E. Hecke} [G\u00f6tt. Nachr. 1919, 265--278 (1919; JFM 47.0145.01); Vorlesungen \u00fcber die Theorie der algebraischen Zahien. Leipzig: Akad. Verlagsges. (1923; JFM 49.0106.10), S. 218 ff.] mittels der Transformationstheorie der mehrfachen Thetafunktionen bewiesene Reziprozit\u00e4tsformel f\u00fcr (quadratische) Gau\u00dfsche Summen zu einem algebraischen Zahlk\u00f6rper \\(K\\) vom Grade \\(n\\). Diese Formel erscheint hier leicht verallgemeinert in der folgenden Form: F\u00fcr die Summe  \\[ C(\\omega,\\eta) = \\sum_{\\rho\\bmod\\fark m} e^{2\\pi i\\text{Sp}(\\rho^2\\omega+\\rho\\eta)}, \\]   wo \\(\\omega\\neq 0\\), \\(\\eta\\) Zahlen aus \\(K\\) sind and \\(\\mathfrak m\\) der kleinste gemeinsame Idealnenner von \\(\\omega\\mathfrak d\\), \\(\\eta\\mathfrak d\\) ist \\((\\mathfrak d\\) die Differente von \\(K)\\), gilt die Reziprozit\u00e4tsformel    \\[  \\frac{C(\\omega,\\eta)}{N(\\mathfrak m)} = e^{\\frac{\\pi i}{4}\\text{sgn}\\,\\mathfrak A'\\Omega\\mathfrak A} |\\sqrt{N(2\\omega\\mathfrak d)} | e^{2\\pi i\\text{Sp}(-\\frac{\\eta^2}{4\\omega})} \\frac{C\\left(\\frac{-\\gamma^2}{4\\omega},-\\frac{\\eta\\gamma}{2\\omega}\\right)}{N(\\mathfrak m_1)}\\,. \\]   Dabei ist \\(\\mathfrak A=(\\alpha_k^{(j)})\\) die Konjugiertenmatrix zu irgendeinem System von \\(n\\) linear unabh\u00e4ngigen Elementen \\(\\alpha_k\\) aus \\(K\\), \\(\\Omega = (\\omega^{(j)} e_k^{(j)})\\) die Diagonalmatrix aus den Konjugierten zu \\(\\omega\\), \\(\\mathfrak m_1\\) der kleinste gemeinsame Idealnenner von \\(\\frac 1{4\\omega\\mathfrak d}, \\frac{\\eta}{2\\omega}\\) und \\(\\gamma\\neq 0\\) irgendeine solche Zahl aus \\(K\\), da\u00df \\(\\mathfrak d\\gamma\\) ganz und prim zu \\(\\mathfrak m_1\\) ist.  \\{Anm.: Diese Arbeit wurde von der Philosophischen Fakult\u00e4t der Schlesischen Friedrich-Wilhelms-Universit\u00e4t zu Breslau als Dissertation angenommen.\\}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2644904$DFE23CC8-B913-432A-9481-784D0A2BA48D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f8704f98134d7a01fb4f2f94643f9754c52231a","datavalue":{"value":"11R21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2644904$4F1C9EBE-A19F-444D-A086-E7F03A194AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ad3000e766f35ee7c20ebe1be8367e129650e33","datavalue":{"value":"11L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2644904$1D068847-23E6-43B3-82DF-9D49B6B70759","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34996c979d7d84b02382d8285a0a847d99873ab0","datavalue":{"value":"3018143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2644904$5D8A07B5-6D02-4B6D-8376-8E0DD53E824F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79235e1dc63cee69e464df94ff52730471165373","datavalue":{"value":"algebraic number fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q2644904$F6184BA1-AA2F-444B-9057-A097CB1132B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8abdeb4f6b2d36b45963e8c5c9a59d6d7bc87c0f","datavalue":{"value":"reciprocity formula for Gauss sums","type":"string"},"datatype":"string"},"type":"statement","id":"Q2644904$5F821385-A7D4-405B-8791-FFE41A6BBF97","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":"Q2644904$B2707D23-EDE6-449A-86A2-BFCF0ECEDA74","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db71f9db2f948df0cac963815c015e8cc9981bdb","datavalue":{"value":"W1982275862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2644904$95E9B3AB-6417-46FE-B005-7593936828B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2644904","badges":[]}}}}}