{"entities":{"Q661972":{"pageid":663821,"ns":120,"title":"Item:Q661972","lastrevid":63403626,"modified":"2026-04-11T12:41:12Z","type":"item","id":"Q661972","labels":{"en":{"language":"en","value":"Higher dimensional Dedekind sums in finite fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6005612"}},"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":"Q661972$548CF295-CF22-45DB-BF40-4C65FE9B4CE0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da8d50576b6d8b5fbbe1fe2c4ed795f92618a1ed","datavalue":{"value":{"text":"Higher dimensional Dedekind sums in finite fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q661972$82A76817-7A99-440B-9875-9DEA9392627A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"794ed445976e5558393d430834533968c97463e9","datavalue":{"value":"1271.11049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661972$083312D2-2C80-4A0D-9F37-1E6FED2F263F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24be9fff683b7b62964c46c4799836c077c7515a","datavalue":{"value":{"entity-type":"item","numeric-id":167154,"id":"Q167154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661972$1696D3B8-9EC8-4497-AD05-0E0A724C48E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36c8d26912fbadc066a77ffa4e4927bfe6c5fc12","datavalue":{"value":{"entity-type":"item","numeric-id":398691,"id":"Q398691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661972$B4D8CCAF-5F05-4926-97C9-A85C94DC6F3A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33122a93dfb64681be222c65bf841053fa198b88","datavalue":{"value":{"entity-type":"item","numeric-id":165874,"id":"Q165874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661972$DA07805E-8B7D-4725-BFAB-532ED7808D34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44ca87796e4c16050b910332ff48eb651dab4225","datavalue":{"value":{"time":"+2012-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q661972$E3C50B04-4ED1-4685-A0C3-398F2CDDD6C6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3ea0bcfd09263d8e2f9d06769faa980e855529e1","datavalue":{"value":"The \\textit{Dedekind sum} can be defined by  \\[  s(h,k) := {1 \\over {4k}} \\sum_{ r=1 }^{ k-1 } \\cot \\left( {{\\pi r} \\over k} \\right) \\cot \\left( {{\\pi hr} \\over k} \\right) ,  \\]  where \\(h\\) and \\(k\\) are positive, relatively prime integers. Dedekind sums first appeared in Dedekind's work on the \\(\\eta\\)-function and have been generalized in various ways, e.g., by \\textit{D. Zagier} [Math. Ann. 202, 149--172 (1973; Zbl 0237.10025)] who considered an arbitrary number of cotangent factors.  The paper under review continues the authors' study of Dedekind sums in finite fields [\\textit{Y. Hamahata}, AIP Conf. Proc. 976, 96--102 (2008; Zbl 1171.11025)]; their analogue of the classical Dedekind sum is  \\[  s_\\Lambda (h,k) := {1 \\over k} \\sum_{ \\lambda \\in \\Lambda } \\!{}^\\prime \\;e_\\Lambda \\left( {{ h \\lambda } \\over k} \\right)^{ -1 } e_\\Lambda \\left( {{ \\lambda } \\over k} \\right)^{-1}  \\]  where \\(\\Lambda\\) is a lattice in \\({\\mathbb F}_q\\) and  \\[  e_\\Lambda (z) := z \\prod_{ \\lambda \\in \\Lambda } \\!{}^\\prime \\left( 1 - {z \\over \\lambda} \\right).  \\]  Here the \\('\\) indicates that the sum/product is only taken over nonzero and nonsingular values. (Note that \\(e_\\Lambda (z)^{ -1 } \\) is a natural finite-field analogue of the cotangent function.) The authors introduce a version of their Dedekind sum in finite fields that has an arbitrary number of factors, analogous to Zagier's higher-dimensional Dedekind sum mentioned above. The main result is a \\textit{reciprocity theorem}: under certain (mild) conditions, the sum of higher-dimensional finite-field Dedekind sums, whose arguments are cyclically permuted, equals a simple expression involving Eisenstein series for~\\(\\Lambda\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q661972$058635AA-A2D5-44F0-BD5F-5947E037D92A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8e734dcb1f487fb3b1db1b5b98b66bd4eab9033f","datavalue":{"value":{"entity-type":"item","numeric-id":372825,"id":"Q372825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661972$4C7E57F2-5DFB-4C91-AA1E-6D3D70A6A131","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"76c61979e4c3d4177dcdda5982fb7e1952a991fc","datavalue":{"value":"11F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661972$1B6D7814-839B-407F-909C-1DF7D9997A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"292377916051be7ed8523a9de41751734b556659","datavalue":{"value":"12E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661972$24331ECC-AE71-48FE-98B2-E7D3D0ABE966","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a4fd086ac639e9f80738170bdbfc8d54e598407","datavalue":{"value":"6005612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661972$CBB0B714-1C57-446D-9FE2-908E43BB54BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c6f8fb33279251e3d9dc1852bf2d3ccb56bf725","datavalue":{"value":"Dedekind sums","type":"string"},"datatype":"string"},"type":"statement","id":"Q661972$E44DBBF1-8DBD-4994-B97D-9E044A328ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac07c7d6c5cdc2dbc4590f3ecbac0ebb59196bea","datavalue":{"value":"finite fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q661972$4C8444D0-2F68-4053-BE18-A8351C7EEBDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c630724ea7e955fabcaa9606ca19939993205a66","datavalue":{"value":"reciprocity law","type":"string"},"datatype":"string"},"type":"statement","id":"Q661972$F141BD58-1B02-4130-8F15-003F7355B8D3","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":"Q661972$A50A33E7-C065-48B4-8A0E-1A01DF642B1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d47f3525fd370e9c6701bc5b6c956a4527de5ee","datavalue":{"value":"https://doi.org/10.1016/j.ffa.2011.05.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q661972$36D491F8-430A-433C-AD79-0C85D6EE1DD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba5e504bff5676251454b909e66e46f860f597ec","datavalue":{"value":"W2005975002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661972$C946799C-E57B-4D8A-A6C5-143A58D792F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f6ffac4baf03221cd2c7e42956f8faa4a125b2c","datavalue":{"value":{"entity-type":"item","numeric-id":4484441,"id":"Q4484441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661972$0F30FD2C-29D4-4715-AD7C-D9D41F6A865D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a921ad3e7dd33e0ae433e2b7e29824b4cd5753e","datavalue":{"value":{"entity-type":"item","numeric-id":1604411,"id":"Q1604411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661972$56AC9C39-9C1A-40BF-9B91-75C70B407FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8e73ac5d29b203df286a00e26a9afc1e2f34197","datavalue":{"value":{"entity-type":"item","numeric-id":5460051,"id":"Q5460051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661972$248D7384-E084-4B36-9ED5-5B456917DAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b8c15403a2c02004c3c8acc2258b3beb5c115a2","datavalue":{"value":{"entity-type":"item","numeric-id":3519548,"id":"Q3519548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661972$8610497C-1C92-4CFB-94C8-9E32315DB4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c919ebe23ede8fbd6464d9862b82a1a0f7cd573d","datavalue":{"value":{"entity-type":"item","numeric-id":2378642,"id":"Q2378642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661972$AE429D37-493C-4E16-A71E-09E317CBE0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"620456458ef1db02bdc0cdcacf14faf60f974aed","datavalue":{"value":{"entity-type":"item","numeric-id":5663963,"id":"Q5663963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661972$4A410197-B33D-49F1-975E-35E4A67AC139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d288117a05b8af423264cdf99a7b37430a4415b2","datavalue":{"value":{"entity-type":"item","numeric-id":2552517,"id":"Q2552517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661972$FA2F01BC-EA45-4FEC-93A3-A53A0AD9FCA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c721ebb4bbb41287db24dc5ca8d3b54591df6109","datavalue":{"value":"10.1016/J.FFA.2011.05.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661972$51458D61-2701-412A-B0A1-7334E65C4C3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc0f5ab7f16a0e47fbddc2871c9ba767226467c6","datavalue":{"value":{"entity-type":"item","numeric-id":4906611,"id":"Q4906611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51a4368048bc6ba9f5d1704f3cfda85d9d7ed313","datavalue":{"value":{"amount":"+0.9221215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q661972$5CF3D217-33D7-4558-BD6A-EAD2E1030D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27906ba7a4ae135ae64f3aee20967e74d1ad6814","datavalue":{"value":{"entity-type":"item","numeric-id":3104580,"id":"Q3104580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"157af98b6a59532c4453f5b3f0fa4efe97b5619f","datavalue":{"value":{"amount":"+0.83129865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q661972$B2C909EC-607A-4B2B-8ABA-6FE3650668A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf5bc83febae5d8386088f7a272a916f078deea3","datavalue":{"value":{"entity-type":"item","numeric-id":2876605,"id":"Q2876605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ed29b380fdbebd9f7ebca778d30e22d7b74577b","datavalue":{"value":{"amount":"+0.81477183","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q661972$44950A09-CCC6-4A7D-9D24-0319F51C50D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b0a19eb18c094d65b95fa1d963499547b5ba45b","datavalue":{"value":{"entity-type":"item","numeric-id":5460051,"id":"Q5460051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33082e533896bc1cbe4af4e46cfab4f06e04fa87","datavalue":{"value":{"amount":"+0.7033642","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q661972$39417AA8-32DB-48A4-BE62-3EA361F75EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f176c1b3c58ca86cc180070d013dde088ea86da3","datavalue":{"value":{"entity-type":"item","numeric-id":3519548,"id":"Q3519548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09d5e1548f1f47b6ea8e8237c8bbc24e9eed64a2","datavalue":{"value":{"amount":"+0.70112693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q661972$39507A99-F8D5-443B-BBF5-B03CE839506E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f53fd1ab16e4869f126b2b902718cfb263e6c8f","datavalue":{"value":{"entity-type":"item","numeric-id":486607,"id":"Q486607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"883eb271fd6d9ae028c7057f36dc8fe40b0c4ffa","datavalue":{"value":{"amount":"+0.68714833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q661972$AE09B59D-CA69-4CF3-AC51-7472B9F72203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60512a935022506f79ad8464353f7bf814be6bec","datavalue":{"value":{"entity-type":"item","numeric-id":4854049,"id":"Q4854049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6a97e3c68ca8c5c8ec47962af49dc7217cd743b","datavalue":{"value":{"amount":"+0.67660713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q661972$5DB8E706-D801-4304-8428-94DF724612B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"272609c48ab117440dc56b895ae092a1b7052d6b","datavalue":{"value":{"entity-type":"item","numeric-id":4484441,"id":"Q4484441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99a699fccd12c8784d6e604352e1cf4dee16d26e","datavalue":{"value":{"amount":"+0.6701478","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q661972$D9BFBF67-074F-4554-A0FC-FC0405320AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a4b130b1741dbebffaae8ac7b78aa7c97f09efe","datavalue":{"value":{"entity-type":"item","numeric-id":3789642,"id":"Q3789642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73c96093eaf775141fbf9a12b3af26ec45d47a43","datavalue":{"value":{"amount":"+0.6692833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q661972$856C436C-1107-4D6A-AEC0-5EB43BBD0D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c2c05e3a199b174a418a9b58bff3edec544464f","datavalue":{"value":{"entity-type":"item","numeric-id":1679695,"id":"Q1679695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a5d75b528569502724aa0a756b4bb53aa1751d1","datavalue":{"value":{"amount":"+0.6677264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q661972$B5352086-DFB9-434C-8FDE-A40F27881CA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Higher dimensional Dedekind sums in finite fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Higher_dimensional_Dedekind_sums_in_finite_fields"}}}}}