{"entities":{"Q2466039":{"pageid":2476782,"ns":120,"title":"Item:Q2466039","lastrevid":57937224,"modified":"2026-04-03T04:05:34Z","type":"item","id":"Q2466039","labels":{"en":{"language":"en","value":"Congruences for sums of binomial coefficients"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5225261"}},"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":"Q2466039$0FE374AC-9C3B-4754-AA4E-BA2A88B8E834","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fd551b3eaa296419c7c77afadc8275700be9ad2","datavalue":{"value":{"text":"Congruences for sums of binomial coefficients","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2466039$32A1AB6F-545D-4165-805A-B30479E69D5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f999141df0477e9fa3d72f30f147b3d1b37a28fe","datavalue":{"value":"1215.11013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466039$CE8B53E5-D8DE-42FF-B0E2-5501E3BF98C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2cd8b801c70d7c29d804f76cf629eb667e2a5b1","datavalue":{"value":{"entity-type":"item","numeric-id":331107,"id":"Q331107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466039$AE50A277-7E3A-4AA1-B110-31E3C4510E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a14c97ad5224b2edbeff56ccb3b746445592bec4","datavalue":{"value":{"entity-type":"item","numeric-id":189392,"id":"Q189392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466039$4382A865-CDA2-4EAF-9F98-D312B1B6C345","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6cac328d206d9ef9b7afb3fb4ca5d1d204199af","datavalue":{"value":{"entity-type":"item","numeric-id":167107,"id":"Q167107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466039$1994033B-CA9D-46D6-ABD4-77FFF2FE8A9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5095aa6ecf8c9ac2c346b3376501c7dadbffcfa0","datavalue":{"value":{"time":"+2008-01-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":"Q2466039$90515B0B-A43C-48E7-8CD5-5A0855A01FF4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e105a46816f5df0023b0142c6a766eae256408f","datavalue":{"value":"https://arxiv.org/abs/math/0502187","type":"string"},"datatype":"url"},"type":"statement","id":"Q2466039$062E4C77-AE77-4D04-8DB4-0E1DE4B29928","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f646ba319ce49ad10191bae50b4f0f42152ff626","datavalue":{"value":"For integers \\(a, m, n\\) and \\(r\\) such that \\(m>0\\), \\(n\\geq 0, \\) let  \\[ \\left [ \\begin{smallmatrix} n \\\\ r \\end{smallmatrix}\\right ] _m (a) = \\sum_{\\underset{ k \\equiv r \\pmod m} {0 \\leq k \\leq n} } \\binom nk a^k.  \\]  In this paper, the authors prove the following main result.   Theorem 1.2: Let \\(q>1 \\) be an integer relatively prime to both \\(m \\in \\mathbb {Z}^+ \\) and \\(\\displaystyle{\\sum_{j=0}^{m-1} (-a)^j }, \\) where \\(a \\in \\mathbb{Z}\\). Let \\(l \\in \\mathbb{N}\\) and \\(r \\in \\mathbb{Z}\\). If \\(n, T \\in \\mathbb{Z}^+ \\) and \\(\\nu_m (q) \\mid T\\), then we have  \\[ \\sum_{k=0}^{n} (-1)^k \\binom nk \\left[ \\begin{smallmatrix} kT+l \\\\ r \\end{smallmatrix} \\right]_m (a) \\equiv \\frac{(a+1)^l}{m} \\left(1-(a+1)^T\\right)^n \\pmod {q^n},  \\]  where \\(\\nu_m(q)\\) is some number that can be explicitly evaluated and depends on \\(q\\).  Several interesting corollaries come from this result and one of these is :   Theorem: Let \\(q>1\\), \\(m>0\\) be relatively prime integers. Let \\(a\\) be an integer such that \\(\\gcd(1-(-a)^m, q)=1 \\) or \\(a \\equiv -1 \\pmod q\\), or \\(a \\equiv 1 \\pmod q\\) and \\(2\\mid m. \\) Then for any \\(n\\in \\mathbb{Z}^+ \\) and \\(r \\in \\mathbb{Z}\\),  \\[ \\left[ \\begin{smallmatrix} m+\\nu_m(q) \\\\ r \\end{smallmatrix} \\right]_m (a) \\equiv \\left[ \\begin{smallmatrix} n \\\\ r \\end{smallmatrix} \\right]_m (a) \\pmod q.  \\]    It is, of course, an extension of J. W. L. Glaisher's periodic result (1899) that is valid for any odd prime \\(p \\) and \\(n \\in \\mathbb{Z}^+, r \\in \\mathbb{Z}\\) :  \\[ \\left[ \\begin{smallmatrix} n+p-1 \\\\ r \\end{smallmatrix} \\right]_{p-1} \\equiv \\left[ \\begin{smallmatrix} n \\\\ r \\end{smallmatrix} \\right]_{p-1} \\pmod p.  \\]  The proof of their main theorem 1.2 mainly depends on the congruence \\((1+a\\zeta )^{\\nu_m(q)} \\equiv 1 \\pmod q\\) for \\(m\\)-th root of unity \\(\\zeta (\\neq 1)\\), \\(a \\in \\mathbb{Z},\\) and \\(m \\in \\mathbb{Z}^+, \\) with positive integer \\(q\\) greater than~1 which is relatively prime to \\(\\displaystyle{m\\sum_{j=0}^{m-1} (-a)^j }.\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2466039$5B62413C-64A7-4F5B-A57D-AC6AD942C4DC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fc4a3925f43f21aa49cfaaf17d4d07da35e4388e","datavalue":{"value":{"entity-type":"item","numeric-id":342945,"id":"Q342945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466039$148C1D4E-7AEB-44F2-9F43-1C0025902112","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"34693e52bda3b7dbf741569b62f785c0e006d8ef","datavalue":{"value":"11B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466039$B4EDE1C5-D635-4B01-9860-C1A1D084A754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"880665e99fe5de07999ef2f74a810b36dd3dabed","datavalue":{"value":"05A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466039$11838971-D68B-4A74-8B22-A3DA6EFAA6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe20c11270a022ced6b6a582d87c0ca73a689567","datavalue":{"value":"05A19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466039$85F39D92-60E6-4E67-A36D-C405DB7000E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6321ce6a9565f5f3e695a7afbb7a3eee2274d95d","datavalue":{"value":"11A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466039$66322A2A-BA95-4BAE-9E79-F06A049770F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7ca3f4109fdf94bbecfe53206f8b58f30fe6d16","datavalue":{"value":"5225261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466039$A13E3324-931B-4C5E-9F24-9BA3089F6C7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47ccf779a32104cce9a210c450df4fecae281ec1","datavalue":{"value":"binomial coefficients","type":"string"},"datatype":"string"},"type":"statement","id":"Q2466039$2A8A24CF-C4E9-4BA5-A2F2-FAB10A56296B","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":"Q2466039$CA128A9A-788C-4392-B766-E5533AE12181","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b99886db363151f0b50445e7cf0a7d4f6261547b","datavalue":{"value":"W2019962543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466039$0448986C-58D1-45F8-AA46-4441AEA95AAE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1234570f11caddb900135131d2fd06479f5792ac","datavalue":{"value":{"entity-type":"item","numeric-id":1772458,"id":"Q1772458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466039$229CB69C-A9D1-472C-B322-ACD6B74EC5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37cc8e410d24030b134ba6f593eba05307310f5a","datavalue":{"value":{"entity-type":"item","numeric-id":5821511,"id":"Q5821511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466039$BDC2BE5B-B055-440B-B3D8-2F1161DE0653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e91e1eff78047b36128c11903fade480eaca3c87","datavalue":{"value":{"entity-type":"item","numeric-id":4377092,"id":"Q4377092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466039$1A96245E-89F5-4D90-9B14-DFF1C216B667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6af67e67857abf81b0133fbcdecd030a7734cd79","datavalue":{"value":{"entity-type":"item","numeric-id":4829920,"id":"Q4829920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466039$E66627A7-D90B-470E-9FF3-F90B2A40FA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1774d9007a5287e5c0456495451cfa5cff6b7e","datavalue":{"value":{"entity-type":"item","numeric-id":1919889,"id":"Q1919889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466039$CBCC3713-3E55-41D4-B0F6-345850CAE880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1385a659a9513607f7fc6953b95bec66d49a61","datavalue":{"value":{"entity-type":"item","numeric-id":4871322,"id":"Q4871322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466039$826C8C89-B505-4A2C-A8B9-064F903B2A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e3e8bcd9ac407075ef6c156fbc648c056d47207","datavalue":{"value":{"entity-type":"item","numeric-id":3999066,"id":"Q3999066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466039$8AAEF000-E4E9-4F79-A37C-2A5E4899C320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ac5c7f98c2c1c6a4b58837fc6f3ed6337d52663","datavalue":{"value":{"entity-type":"item","numeric-id":1356535,"id":"Q1356535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466039$24E12BEF-B638-438E-A461-80BC39E55B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20bcd5f24d7c7bc04f0f886ee4baa3522415acdb","datavalue":{"value":{"entity-type":"item","numeric-id":5203088,"id":"Q5203088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466039$2A896D62-BC36-4EBB-8009-AE9D013061BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d68610d1ff772a077d3f79406c533e45d0c1ad1c","datavalue":{"value":{"entity-type":"item","numeric-id":4844454,"id":"Q4844454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466039$DD0ACEFA-2B50-4CE5-8F51-B0B0527E5AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"121654f766f72e6de4cebfc87b972c4cda751077","datavalue":{"value":{"entity-type":"item","numeric-id":701359,"id":"Q701359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466039$2553981C-4C1A-456A-8B48-ED368BE67B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e347254c93ad539caaf8096b7cfc9b777d31692","datavalue":{"value":{"entity-type":"item","numeric-id":1868856,"id":"Q1868856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466039$6A7B578D-745E-4D7B-BEF9-6075EDEE93D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ea409c56d5fff90a379b49116ddea11dcd6b6ff","datavalue":{"value":"10.1016/J.JNT.2007.01.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466039$08ADC46B-A907-4489-AADC-814B7062E66B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d10f012cdbe134f6c3df3a5d4b1d495fc773f10","datavalue":{"value":{"entity-type":"item","numeric-id":3101590,"id":"Q3101590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8d46ec168f7302b53ae65adcecfcb0263a45aa1","datavalue":{"value":{"amount":"+0.8403578996658325","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":"Q2466039$469CFBB7-E71C-4BFB-A8A9-537755D92B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9538d8a4e1ddfd08af8738c3eb1e423adacd463","datavalue":{"value":{"entity-type":"item","numeric-id":5272478,"id":"Q5272478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb9817febe5e99c59707029dc060b262c9635af8","datavalue":{"value":{"amount":"+0.8226260542869568","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":"Q2466039$E6835A7D-2140-4B53-AE51-11CABA0ABE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b2715fd3cd0776f94e501c0fe43be7e5818c547","datavalue":{"value":{"entity-type":"item","numeric-id":1664116,"id":"Q1664116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca60e7aabcd3c9888559c737ada42d03127ead39","datavalue":{"value":{"amount":"+0.8171042203903198","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":"Q2466039$12F5E3CC-9B60-4C2A-9E76-6024D490C799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e470014884edce1d4c091e28868480dd6f86d00a","datavalue":{"value":{"entity-type":"item","numeric-id":2893051,"id":"Q2893051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec529b09b697cc1352cded490fd5b51347a929f6","datavalue":{"value":{"amount":"+0.8115028142929077","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":"Q2466039$C804B568-F3EA-4BF7-B0B3-F85DE6BDB240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bcff6513025e26e5aa5b271778a705dcebac14c","datavalue":{"value":{"entity-type":"item","numeric-id":5472448,"id":"Q5472448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38ddda577dd99dfe354ff0edce09d37a976f3be9","datavalue":{"value":{"amount":"+0.8089817762374878","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":"Q2466039$6DC792A9-19C7-4B3D-9C24-62A9D97EF823","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2466039","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2466039"}}}}}