{"entities":{"Q2534217":{"pageid":2544960,"ns":120,"title":"Item:Q2534217","lastrevid":73538067,"modified":"2026-04-14T16:23:10Z","type":"item","id":"Q2534217","labels":{"en":{"language":"en","value":"The number of binomial coefficients divisible by a fixed power of a prime"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3282745"}},"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":"Q2534217$9F4D7CE8-A972-4278-BB57-F8CDBD130FAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e9d9d1d42a6e320328666f85cd5bbb3a0b60cda","datavalue":{"value":{"text":"The number of binomial coefficients divisible by a fixed power of a prime","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2534217$D790DAC7-F838-4D67-A90C-9E75E7BAB9C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48bbd9fef03e1da18894bb72ffb6d92c420b0941","datavalue":{"value":"0177.06701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2534217$7A219FDB-B124-4BC3-B840-2B17B7FDEEBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b51d5fa592f707f59bad57da59ede5c43a1be0df","datavalue":{"value":"10.1007/BF02843799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2534217$D90D142C-EC20-460E-88E2-423CC6109180","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":"Q2534217$C9F441A0-4FC5-4B06-B97F-F3D21BAB36CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7d628e8c937a22d7d86104d43d6122808f1e938","datavalue":{"value":{"time":"+1967-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":"Q2534217$DBD53E81-1553-47E4-8FC1-C4661A2A4431","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d3e6e5e797e30e64a3c93bd693788de2c2ed99ee","datavalue":{"value":"Let \\(p\\) be a fixed prime and let \\(\\theta_j(n)\\) denote the number of binomial coefficients \\(\\binom{n}{r}\\) \\((0\\le r\\le n)\\), divisible by exactly \\(p^j\\). If \\(n = n_0 +n-1p+ \\ldots +n_rp^r\\) \\((0\\le n_i \\le p)\\), it is well known that   \\[ \\theta_0(n) = (n_0 + 1)(n_1 + 1) \\cdots (n_r +1).\\]   The evaluation of \\(\\theta_j(n)\\) for arbitrary \\(j\\) seems to be considerably more difficult. It is convenient to introduce an auxiliary function \\(\\psi_j(n)\\) which is defined as the number of products \\((n+1)\\binom{n}{r}\\) \\((0\\le r\\le n)\\) divisible by exactly \\(p^j\\). It is proved that \\(\\theta_j(n)\\), \\(\\psi_j(n)\\) satisfy the mixed recurrences \\((j\\ge 1)\\)   \\[ \\begin{cases} \\theta_j(a_0 + ap) = (a_0 + 1) \\theta_j(a) + (p - a_0 - 1) \\psi_{j-1}(a - 1)\\quad &(0\\le a_0<p), \\\\ \\psi_j(a_0 + ap) = (a_0 + 1) \\theta_j(a) + (p - a_0 - 1) \\psi_{j-1}(a - 1)\\quad &(0\\le a_0< p - 1), \\\\ \\psi_j(p-1 + ap)) = p \\psi_{j - 1}(a), \\end{cases} \\tag{*} \\]   where \\(a\\) is an arbitrary nonnegative integer and \\(\\psi_j(-1) = 0\\). This result is equivalent to  \\[ \\begin{split}F(x,y) &= f_0(x) F(x^p,y) + yg_0(x) G(x^p,y), \\\\ G(x,y) &= f_1(x) F(x^p,y) + yg_1(x) G(x^p,yY), \\end{split} \\]   where   \\[ F(x,y) = \\sum_{n=0}^\\infty \\sum_{j=0}^\\infty \\theta_j(n)x^ny^j,\\quad G(x,y)=  \\sum_{n=0}^\\infty \\sum_{j=0}^\\infty \\psi_j(n)y^i. \\]   Making use of the recurrences, \\(\\theta_j(n)\\), \\(\\psi_j(n)\\) can be evaluated explicitly in certain cases. For example \\(\\theta_j(ap^s - 1) = p^s \\theta_j(a - 1)\\) \\((a_s\\ge 1)\\), which yields \\((0\\le a < p)\\)   \\[\\theta_j(ap^{s+1} + p^s - 1) = \\begin{cases}  (a+1)p^s\\qquad &(j = 0) \\\\  ap^{s+j-1}(p-1)\\quad &(0<j\\le t). \\end{cases} \\]   The functions \\(\\theta_j(an_r )\\), \\(\\theta_j(an_r - 1)\\), where \\(n_r = (p^r - 1)/(p - 1)\\), are evaluated explicitly. Also the sum functions   \\[ S_j(r)= \\sum_{a=0} ^{p^r -1} \\theta_j(a),\\quad S'_j(r)= \\sum_{a=0} ^{p^r -1} \\psi_j(a) \\]   are evaluated. Finally we mention that recurrences generalizing (*) are obtained for the functions \\(\\theta_j(a+ bp^r )\\), \\(\\psi(a+ bp^r)\\), where \\(0\\le a<p^r\\), \\(b\\ge 0\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2534217$98CA0D87-E199-4609-B2C8-7C3957A20DBE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"34693e52bda3b7dbf741569b62f785c0e006d8ef","datavalue":{"value":"11B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2534217$51B65D80-C70D-4E85-B30A-BD099BB5F701","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9acbee14ed28769517a67b126577f8474c1b264c","datavalue":{"value":"3282745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2534217$7EA163BE-02D7-4E3D-9844-EDC10BE1E422","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47ccf779a32104cce9a210c450df4fecae281ec1","datavalue":{"value":"binomial coefficients","type":"string"},"datatype":"string"},"type":"statement","id":"Q2534217$F678FC8E-0B96-41F7-81C9-1449F7413301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"042cf01338955163ab9d350c83cf9faae4412889","datavalue":{"value":"divisibility by fixed power of prime","type":"string"},"datatype":"string"},"type":"statement","id":"Q2534217$65CE7306-6829-4837-BFE6-E429734ABD6F","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":"Q2534217$DA8F8ABB-99B7-4A03-8A0C-892739C18C7F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"677948e2a24c7866fc5667f78e8600f14e9966c8","datavalue":{"value":"https://doi.org/10.1007/bf02843799","type":"string"},"datatype":"url"},"type":"statement","id":"Q2534217$B0534467-CE62-45F2-9552-87C44FCBF1FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65396b5004c9fbe59f8d087eca0cbf0f655b82b1","datavalue":{"value":"W2025772145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2534217$2B8049C2-F17E-4712-871C-BCAE604A6E85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7db817327938cdc8b83382314e7e1d63339cacd9","datavalue":{"value":{"entity-type":"item","numeric-id":559543,"id":"Q559543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2534217$5A53F5F7-6531-4E9E-8287-18A7A0F7177F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2266728339c267d493d8c4cdaa09f283991c85c","datavalue":{"value":{"entity-type":"item","numeric-id":3033832,"id":"Q3033832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c831dc330f6d13f72036e55e56c37ea7a8ef1120","datavalue":{"value":{"amount":"+0.8466060757637024","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":"Q2534217$6C14AE1D-1ED5-45D7-A2A0-AFD5ADEE0AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c600985653743dec967bec2d25d947eec829bc19","datavalue":{"value":{"entity-type":"item","numeric-id":3628968,"id":"Q3628968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fabdb79299450db84d5238b83efc8915574bea7","datavalue":{"value":{"amount":"+0.8327769637107849","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":"Q2534217$F075ACB0-3614-4DC6-A6A4-EAEDB43FF49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd30a64134d9811fa9928117404a4720a6f85ec6","datavalue":{"value":{"entity-type":"item","numeric-id":4595443,"id":"Q4595443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24e5c07d05c74b675667e1228497964bcc0c1ac6","datavalue":{"value":{"amount":"+0.8316660523414612","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":"Q2534217$C110E276-8258-4BC0-9959-D616476DBF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96c717a5baeb79b654a037e0a7f163898f8237db","datavalue":{"value":{"entity-type":"item","numeric-id":2882924,"id":"Q2882924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ca0b0b711bc0670ca979d5957bfdcd9e746d0ab","datavalue":{"value":{"amount":"+0.8173109889030457","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":"Q2534217$260A9FD0-100E-4E7C-85D1-3E90039DBCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5d7c59b8ffc99923c9a1decc858619e7380bb78","datavalue":{"value":{"entity-type":"item","numeric-id":3837793,"id":"Q3837793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f07ffc5dca02fb228000eb2803adb8262394be0","datavalue":{"value":{"amount":"+0.7944206595420837","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":"Q2534217$30822C9C-75B7-4FFB-BC7C-176FA1698ED4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The number of binomial coefficients divisible by a fixed power of a prime","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_number_of_binomial_coefficients_divisible_by_a_fixed_power_of_a_prime"}}}}}