{"entities":{"Q7361248":{"pageid":31519283,"ns":120,"title":"Item:Q7361248","lastrevid":105364310,"modified":"2026-10-07T13:35:16Z","type":"item","id":"Q7361248","labels":{"en":{"language":"en","value":"Dedekind Sums"}},"descriptions":{"en":{"language":"en","value":"AFP entry Dedekind_Sums"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a8993e88323c8c2d506e88b349079599c09851d","datavalue":{"value":"https://isa-afp.org/entries/Dedekind_Sums.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361248$5E2B9ABC-6479-4B43-B850-F6F98902200F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"49fc50cfdf076862330da66ae38c5621d6229c3b","datavalue":{"value":{"time":"+2025-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361248$47C8B57B-CA6D-4AE7-B305-6EA3C8097AB1","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"85859c7ab42dcb8b36208f2902b7ce0d86423a6f","datavalue":{"value":"Manuel Eberl","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361248$C08940AD-AD8C-4B29-936B-9EEDECB9D6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"121f7e09f04d7a0be0af8b5741fe5d004f3ae45f","datavalue":{"value":"Anthony Bordg","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361248$12714002-2C7B-4B31-A1D6-8749F4B475EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"7479166f83b44c07c9a493479bd3c0ed2c72ef23","datavalue":{"value":"Lawrence C. Paulson","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361248$1073B2EC-DF77-40CC-9B87-62EEF9812E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"9e1ea7d1d4465bb52db7a9cfb941a77727b51dbd","datavalue":{"value":"Wenda Li","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361248$2E226B60-5C7C-44B9-B335-DD1C2797F26C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"838aa82b780d53d52a696ccf77873a10faebf728","datavalue":{"value":{"text":"Dedekind Sums","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361248$E8BC05C8-B653-4E54-B54B-088F314F32CD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"77fd96b0f1db20bdc3dd2d3eb5fb962a6bd48e59","datavalue":{"value":"For integers $h$, $k$, the Dedekind sum is defined as \\[s(h,k) = \\sum_{r=1}^{k-1} \\frac{r}{k} \\left(\\left\\{\\frac{hr}{k}\\right\\} - \\frac{1}{2}\\right) \\] where $\\{x\\} = x - \\lfloor x\\rfloor$ denotes the fractional part of $x$. These sums occur in various contexts in analytic number theory, e.g. in the functional equation of the Dedekind $\\eta$ function or in the study of modular forms. We give the definition of $s(h,k)$ and prove its basic properties, including the reciprocity law \\[s(h,k) + s(k,h) = \\frac{1}{12hk} + \\frac{h}{12k} + \\frac{k}{12h} - \\frac{1}{4} \\] and various congruence results. Our formalisation follows Chapter 3 of Apostol's Modular Functions and Dirichlet Series in Number Theory and contains all facts related to Dedekind sums from it (without the exercises).","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361248$DE0CFAC5-02C6-406E-B413-5FB251506F16","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bc69bc93671b863b16ef6b7eb0a66cb2b8ee6e5","datavalue":{"value":{"entity-type":"item","numeric-id":3995823,"id":"Q3995823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361248$3CA22E75-2DF5-46F6-B13E-BDFA2CEA42A1","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361248$8AE00BEC-58F2-4FFD-B143-2C3B4C0C2169","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"0fa1eaa385345e728dd2f7503107dc93b4f6a924","datavalue":{"value":{"entity-type":"item","numeric-id":7361897,"id":"Q7361897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361248$86DE23A2-F097-4E8A-A01E-83A3C6C0B901","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"51467ee0a503af56d0e1903e0514853bd73fc1a9","datavalue":{"value":{"entity-type":"item","numeric-id":7360830,"id":"Q7360830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361248$C880DD0D-C7AE-4378-A26F-940FCE9E88D4","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361248$12FEA3C1-D4D0-482E-88D0-8FFC09035CA4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dedekind Sums","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dedekind_Sums"}}}}}