{"entities":{"Q2890257":{"pageid":2900982,"ns":120,"title":"Item:Q2890257","lastrevid":58050975,"modified":"2026-04-03T14:53:50Z","type":"item","id":"Q2890257","labels":{"en":{"language":"en","value":"Proof of a congruence for harmonic numbers conjectured by Z.-W. Sun"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6044398"}},"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":"Q2890257$413FA467-2F2B-4226-BA94-529FFB9A63DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1056c9f63f1379e6f2d181a91167cda568e0101","datavalue":{"value":"1267.11014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890257$BD82883F-EE7E-4F9C-9F0F-BB920923EC80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8cedac6ed0bda677f3d610aeb1667fca710498f3","datavalue":{"value":"10.1142/S1793042112500649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890257$A2F002A2-36D3-4387-8894-4BEFBA31652E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9816759deadbc31428f62ea7552544993001c4a6","datavalue":{"value":{"entity-type":"item","numeric-id":404501,"id":"Q404501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890257$473CEFC5-AB3B-4A49-9635-FF006338F832","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a035c107b10f77b626decca899281cb6367c70f2","datavalue":{"value":{"entity-type":"item","numeric-id":2789365,"id":"Q2789365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890257$00A599C9-5F9C-4D9D-8623-9D0C7F7763CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a7d7484062a7dd97ef9c7d59e7e7bb3f36dfdc8","datavalue":{"value":{"time":"+2012-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2890257$C4D5A91A-3937-4BD1-8821-4DC61EDCF098","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b48ec57877d0be72908b1817557d2def31b48b2","datavalue":{"value":"https://arxiv.org/abs/1108.1171","type":"string"},"datatype":"url"},"type":"statement","id":"Q2890257$ACCE2285-DEEB-412D-88D7-A337051A7E04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"34693e52bda3b7dbf741569b62f785c0e006d8ef","datavalue":{"value":"11B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890257$C92649CA-DBEB-4AFF-B36D-D5AAC48B0333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"880665e99fe5de07999ef2f74a810b36dd3dabed","datavalue":{"value":"05A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890257$975D3B1C-6331-4A3D-B250-3CD4D7629B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6321ce6a9565f5f3e695a7afbb7a3eee2274d95d","datavalue":{"value":"11A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890257$683CF409-19F5-4715-B28E-0B1BA5D25F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b2accb57c4f6d8612edc3fe6c9dd2ea40016db3f","datavalue":{"value":"11B68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890257$0543F5B2-876A-4EBC-8E48-B6A6E62816B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4bceb4852f142c7ae840ef027a3d11ea672a1bc4","datavalue":{"value":"11B75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890257$F3EBCF9F-85EC-4EE1-A595-434CE3583338","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e78d9cff0a302a9944f82b1c682d236209299eec","datavalue":{"value":"6044398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890257$5F8CA26A-62A6-497F-B6D0-3CD22FA800AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76966a8b26388a57cd14fff322c45ff1698b3c75","datavalue":{"value":"harmonic numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2890257$0E6CD2FD-3C69-4A3E-B137-21ECE2A9CB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14cd685c98a4ba07bb03380be5fdb0df906771e","datavalue":{"value":"congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2890257$63EE7702-223B-447A-BDF3-7F5CED5889AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"083d2f9f3217683f1b6f78d6299477d8b7dfe8de","datavalue":{"value":"Bernoulli numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2890257$A02C7520-43C7-4960-83B8-D3D7BBB7DCF7","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":"Q2890257$D7C613CD-598C-4566-9607-F4CD023BFAD9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"453f07682d3d0ea4fa54762e28018855fb828beb","datavalue":{"value":{"entity-type":"item","numeric-id":4859615,"id":"Q4859615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890257$C751DA26-E607-439F-B968-A6E6DC89D71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fbbd734cb93b4617c20871dbaac60a3fd0c8735","datavalue":{"value":{"entity-type":"item","numeric-id":4361614,"id":"Q4361614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890257$3968CC34-2A28-46AB-8F70-3E3753A24157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad4b5e3635592b704ac9c2766356a9c4909fec8","datavalue":{"value":{"entity-type":"item","numeric-id":3116531,"id":"Q3116531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890257$06981B73-C2E1-4576-90D6-19D3E0971027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727c3667c7dbe10508d052b7e0809df86a3b535d","datavalue":{"value":{"entity-type":"item","numeric-id":5386984,"id":"Q5386984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890257$49431377-1503-41DB-BE1B-CF128597B4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cedb762376688f976d8a0b3c6ea0f89b17990ba","datavalue":{"value":{"entity-type":"item","numeric-id":3425978,"id":"Q3425978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890257$F74F1C5F-BF52-4531-8D7C-0394782331A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d63f83be45da7cdd95e2838098be04cb1ba79d1","datavalue":{"value":"W1973615953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890257$941C5648-3FAE-4115-834E-D82FBE4699B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8cf0f59037ebd26be58141331f462d9940ee52d","datavalue":{"value":{"entity-type":"item","numeric-id":5357485,"id":"Q5357485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2a9603e40ca2ec385f98422001de311e0c02f8f","datavalue":{"value":{"amount":"+0.9420502","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":"Q2890257$87AFEA68-DBE8-46D9-852D-A118C0B342CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19869435257bb1b173322327aa50bb0e075a0542","datavalue":{"value":{"entity-type":"item","numeric-id":6042198,"id":"Q6042198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc71610139d40c4e01ab3a7c8419c8eb1cb3bd06","datavalue":{"value":{"amount":"+0.93041193","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":"Q2890257$B0CB8602-467E-4B5F-8FAC-56C7AFC13BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28223e7dc6531219d685176469f696d90bb02342","datavalue":{"value":{"entity-type":"item","numeric-id":5013078,"id":"Q5013078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19b42a61d9358a0306d7326486849e0a624499f6","datavalue":{"value":{"amount":"+0.9278272","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":"Q2890257$F29D33DF-6256-4CEC-9400-EFE3E6A9FD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f99f11fca690a56c2d0d63c78cfc6a15a885ff74","datavalue":{"value":{"entity-type":"item","numeric-id":5164126,"id":"Q5164126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8f78f6a0964a1980b9be50bcf3d0bb0ac29c1da","datavalue":{"value":{"amount":"+0.9225312","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":"Q2890257$9D2EE7E8-0539-4FE9-82A9-B56E28EFAE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc36e505325ccbcb19a50b8131e586789215e942","datavalue":{"value":{"entity-type":"item","numeric-id":2929839,"id":"Q2929839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ee653718424c546154734d1bf701738339b993d","datavalue":{"value":{"amount":"+0.91488665","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":"Q2890257$13F09688-3EA5-4665-BD5B-3B14EF61CF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bdc24102a43932c9e6f3c2b194bc0d40c9592f8","datavalue":{"value":{"entity-type":"item","numeric-id":6167563,"id":"Q6167563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20e55d30f340db354dd14a83f183f68c8bc34824","datavalue":{"value":{"amount":"+0.9092621","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":"Q2890257$41E6EA4F-1208-4F1A-8B4E-254EE0F2A439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d14b0e12d0da0586cfaef9cb7c5cc84aec87a7e","datavalue":{"value":{"entity-type":"item","numeric-id":2057509,"id":"Q2057509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a04a56d41200414447767b6e371740079db3aec","datavalue":{"value":{"amount":"+0.9042206","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":"Q2890257$68E9CED4-B207-40C0-AAF0-46216BAF8A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36b81a3d38f45c4af1cc35531a1674b05a90930e","datavalue":{"value":{"entity-type":"item","numeric-id":2854300,"id":"Q2854300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b138827afd5ded1ed8f9af14f6bd823ba1300bf","datavalue":{"value":{"amount":"+0.90243727","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":"Q2890257$61445461-96C3-4271-97C8-8648BCC84ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d4ef61e979958eb021812224f03b1fc222f3ac4","datavalue":{"value":{"entity-type":"item","numeric-id":3299363,"id":"Q3299363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2424df6cadd11bf6cd706660d8780aeb23d6680","datavalue":{"value":{"amount":"+0.9019669","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":"Q2890257$CB82C95C-E3C1-49DA-8945-CC297262B238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7001ddf23bc02a49771b04f3d92d10873bb18e0","datavalue":{"value":{"entity-type":"item","numeric-id":5272484,"id":"Q5272484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"670bcf622e2e622aedde6c182ca37caf74872a4f","datavalue":{"value":{"amount":"+0.8965148","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":"Q2890257$A8A065E5-2C72-4A80-80BC-D6AC589F54CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee0dbd1d5499465a9a68d3b3095b8700006deae7","datavalue":{"value":{"text":"Proof of a congruence for harmonic numbers conjectured by Z.-W. Sun","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2890257$639B86EA-0B4E-42E9-9404-25BF0CF212FE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"832f6139db4d69950b95f86cf653b0ae7f582d3b","datavalue":{"value":"This paper proves that for any prime \\(p\\geq 7\\), NEWLINE\\[NEWLINE \\sum_{k=1}^{p-1} \\frac{H_k^2}{k^2}\\equiv \\frac 45 pB_{p-5}\\pmod {p^2}, NEWLINE\\]NEWLINE NEWLINE\\[NEWLINE \\sum_{k=1}^{p-1} \\frac{H_k^3}{k}\\equiv \\frac 32 pB_{p-5}\\pmod {p^2}, NEWLINE\\]NEWLINE NEWLINE\\[NEWLINE \\sum_{k=1}^{p-1} \\frac{H_k}{k^3}\\equiv \\frac {-1}{10} pB_{p-5}\\pmod {p^2}, NEWLINE\\]NEWLINE being \\(B_0, B_1, B_2,\\dots\\), the Bernoulli numbers and \\(H_n=\\sum_{k=1}^n 1/k\\) the \\(n\\)th harmonic number for a positive integer \\(n\\) (with \\(H_0=0\\)).NEWLINENEWLINEThe first congruence is the Conjecture \\(A37\\) proposed by \\textit{Zhi-Wei Sun} [``Open conjectures on congruences'', arXiv:0911.5665v54] whose remarkable work [Proc. Am. Math. Soc. 140, No. 2, 415-428 (2012; Zbl 1271.11021)], generalized by \\textit{R. Tauraso} [S\u00e9min. Lothar. Comb. 63, B63g, 8 p., (2010; Zbl 1273.11007)] and further refined by the same \\textit{Z.-W. Sun} and \\textit{L.-L. Zhao} [Colloq. Math. 130, No. 1, 67--78 (2013; Zbl 1290.11052)], has motivated the author to find not only this proof but also an interesting similar one \\textit{Romeo Me\u0161trovi\u0107} [``On the mod \\(p^2\\) determination of \\(\\sum_{k=1}^{p-1}H_k/(k\\cdot 2^k)\\): another proof of a conjecture by Sun'', \\url{arXiv:1108.3197}].NEWLINENEWLINEHere the author uses the Wolstenholme's theorem studied by \\textit{A. Granville} [Borwein, J. (ed.) et al., Organic mathematics. Proceedings of the workshop, Simon Fraser University, Burnaby, Canada, December 12-14, 1995. Providence, RI: American Mathematical Society. CMS Conf. Proc. 20, 253--276 (1997; Zbl 0903.11005)], by \\textit{E. Alkan} [Am. Math. Mon. 101, No. 10, 1001--1004 (1994; Zbl 0836.11002)], by \\textit{M. Bayat} [Am. Math. Mon. 104, No. 6, 557--560 (1997; Zbl 0916.11002)] and by \\textit{J. Zhao} [Int. J. Number Theory 4, No. 1, 73--106 (2008; Zbl 1218.11005)] who also established some congruences for multiple harmonic numbers essential to complete the proof; an identical result from \\textit{X. Zhou} and \\textit{T. Cai} [Proc. Am. Math. Soc. 135, No. 5, 1329--1333 (2007; Zbl 1115.11006)] is recalled too.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2890257$0DBAB541-2899-46BE-8B68-E79F8CD64F21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2890257","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2890257"}}}}}