{"entities":{"Q2652084":{"pageid":2662827,"ns":120,"title":"Item:Q2652084","lastrevid":48637765,"modified":"2026-01-05T11:18:46Z","type":"item","id":"Q2652084","labels":{"en":{"language":"en","value":"The reciprocity theorem for Dedekind sums"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3091049"}},"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":"Q2652084$7EE7F21F-1DC5-4D72-A414-332263686F92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae6a571622ddb51df0470db50be41ebfad9e96da","datavalue":{"value":{"text":"The reciprocity theorem for Dedekind sums","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2652084$F05ED852-266E-4FC6-A087-22328187664F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28570c0493ba1cc14471fcba2c52635eb0197a10","datavalue":{"value":"0057.03703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2652084$818DD6FF-BFE9-4AD2-946A-A53E446D11A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6ba23c64cdecba444dd4de169161aa478e780d6","datavalue":{"value":{"entity-type":"item","numeric-id":759016,"id":"Q759016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2652084$A2D68025-616C-4DA0-B7AB-DB9560A31469","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf18db5439a683e98eaf3205ba65f05cfd68a4d","datavalue":{"value":{"entity-type":"item","numeric-id":161301,"id":"Q161301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2652084$8D0CF293-C016-42B7-AD3E-D24ED94E223D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f46c77109d334bea479036cb111c5901c32e04e2","datavalue":{"value":{"time":"+1953-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":"Q2652084$C32C1B92-A12B-498C-B6B6-F2DC2C1CF9DD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d6ddc53b6398cd676d7952cad3d093feae3ecee9","datavalue":{"value":"Let \\(((x)) = x - [x] - \\tfrac12\\) where \\([x]\\) denotes the integral part of \\(x\\). Define the Dedekind sum \\(S(h, k)\\) by  \\[  S(h, k) = \\sum_{r\\pmod k} \\left(\\left(\\frac{r}{k}\\right)\\right) \\left(\\left(\\frac{rh}{k}\\right)\\right).  \\]  Dedekind and later various authors proved the reciprocity formula  \\[  12hk (S(h, k) + S(k, h)) = h^2 + 3kh + k^2 + 1 \\tag{*} \\]  for the coprime integers \\(h\\), \\(k\\). The author obtains a very simple proof of this formula in the following manner. Firstly  \\[  \\left(\\left(\\frac{r}{k}\\right)\\right) = -\\frac1{2k} + \\frac1{k} \\sum_{s=1}^{k-1} \\frac{\\rho^{-ks}}{\\rho^s -1}  \\]  where \\(\\rho = e^{2\\pi i/k}\\); (proof: invert  \\[  \\sum_{r=0}^{k-1}\\left(\\left(\\frac{r}{k}\\right)\\right) \\rho^{-ks} = \\frac1{\\rho^2 - 1}\\text{ or } -\\frac12 \\text{ according as } k\\nmid s \\text{ or }k\\mid s). \\]  Secondly, \\[  S(h, k) = \\frac1{4k} + \\frac1{k} \\sum_{\\xi \\ne 1} \\frac1{(\\xi^{-1} - 1)(\\xi^h - 1)} \\]  where \\(\\xi\\) runs through all the complex roots of \\(x^k - 1\\) (trivial).   Thirdly,  \\[  \\frac{x - 1}{(x^k - 1) (x^h - 1)} = \\frac1{k} \\sum_{\\xi \\ne 1} \\frac{\\xi(\\xi - 1)}{(x - \\xi)(\\xi^h - 1)} + \\frac1{h}\\sum_{\\eta \\ne 1} \\frac{\\eta(\\eta - 1)}{(x - \\eta)(\\eta^k - 1)} + \\frac1{kh(x - 1)} \\]  (proof again trivial).   Finally put \\(x = 1 + t\\) and expand in powers of \\(t\\). Comparison of coefficients of \\(t\\) gives the results (*). The author obtains also in the same manner a proof of the reciprocity formula for the generalized Dedekind sum studied by \\textit{T. M. Apostol} [Pac. J. Math. 2, 1--9 (1952; Zbl 0047.04502)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2652084$72169355-EFBF-4F5D-A7E0-468531377DED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"76c61979e4c3d4177dcdda5982fb7e1952a991fc","datavalue":{"value":"11F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2652084$41B26DCA-8A3D-4DCA-AFAC-D5EF1A138F87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff8e23468baa398a7f5ce0ea25f90e40f5bc1761","datavalue":{"value":"3091049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2652084$DA111658-30A9-4547-9FC1-024E350FA83A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfecbb9b290154df45da6fe75cba33b3f1a9632c","datavalue":{"value":"reciprocity theorem for Dedekind sums","type":"string"},"datatype":"string"},"type":"statement","id":"Q2652084$00254379-1A84-496A-A7D4-27FD31667737","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":"Q2652084$815FA9AD-F0E9-4DDE-AA81-6BDB146A9D6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2cf684af8258767f8523fa9280d850059978399","datavalue":{"value":"https://doi.org/10.2140/pjm.1953.3.523","type":"string"},"datatype":"url"},"type":"statement","id":"Q2652084$D70736A7-98A4-4A5F-91E8-9B61BFBF58C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d72f4399563608062ae2f06e579d017c59430d5e","datavalue":{"value":"W2148196928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2652084$3EA4D2A7-7462-4396-BE89-518B501A4F35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e381082f5df1e404a58140f153a6ce0a30dd9591","datavalue":{"value":"10.2140/PJM.1953.3.523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2652084$7E5F71B5-25AB-45EF-9FA9-046EE6B35C05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e556d57a682bc8c42d8aafd8fba33204ddf16e2","datavalue":{"value":{"entity-type":"item","numeric-id":1231512,"id":"Q1231512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6338e6b8626bba7f31d5b72c50da5f97ca52f41b","datavalue":{"value":{"amount":"+0.9018070697784424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2652084$2D8D1EC0-D5D3-4993-830E-6C1D174BD4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31bd8f6037793ca221c7f365c3c702bc2dc32e36","datavalue":{"value":{"entity-type":"item","numeric-id":4767033,"id":"Q4767033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c8955ccbf371d4990578630195c2fb39663fb7b","datavalue":{"value":{"amount":"+0.897542417049408","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2652084$ED44BAC6-A5C5-4EE2-A6D8-DD7D010CF7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"492180a86f30ac33fb6007dd6cb9352e3f7cb055","datavalue":{"value":{"entity-type":"item","numeric-id":2652085,"id":"Q2652085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b0843f2c5224fb281794e713c463187c85da82","datavalue":{"value":{"amount":"+0.8924509882926941","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2652084$C1674B8E-C0C5-4E55-8924-392D76F8BAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b15283be9ab6b68b789821aca527394ea09d8dec","datavalue":{"value":{"entity-type":"item","numeric-id":880060,"id":"Q880060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5dfaaff1b8af2e8589b36192b0a63dd21716c7b","datavalue":{"value":{"amount":"+0.8812240958213806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2652084$E9E51B09-520D-4A59-8F4B-38301417668D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cae8958a3f91bac3ee019ede5378c86fc135b3e","datavalue":{"value":{"entity-type":"item","numeric-id":968050,"id":"Q968050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2517443816969a50721bd4f207595060fdd0a78","datavalue":{"value":{"amount":"+0.8756968379020691","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2652084$F9A69874-5BB8-444F-B8E1-04CEF20241F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2652084","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2652084"}}}}}