{"entities":{"Q1011059":{"pageid":1012907,"ns":120,"title":"Item:Q1011059","lastrevid":69415014,"modified":"2026-04-13T06:50:46Z","type":"item","id":"Q1011059","labels":{"en":{"language":"en","value":"A generalization of Wolstenholme's harmonic series congruence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5541265"}},"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":"Q1011059$2908B6FE-F607-4368-8E13-78CA7168AB83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81891e0db66bddd3a6a542c0a0b3a5787833aec1","datavalue":{"value":{"text":"A generalization of Wolstenholme's harmonic series congruence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1011059$7264A3FC-8761-4AE6-B595-D05D09FA35F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfc7f722ec3b43c925a84328546925d7bdba519c","datavalue":{"value":"1236.11019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1011059$03C3DF86-9322-406F-BD43-BFD64571631A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a739f0fa94fec7331e11ca072d6a5b97bb100a08","datavalue":{"value":"10.1216/RMJ-2008-38-4-1263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1011059$F5A280FA-F115-4CF4-8D9F-21D790E7662D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08c3d3e289068a673e4f8fe0273d245971b90c6","datavalue":{"value":{"entity-type":"item","numeric-id":387565,"id":"Q387565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011059$796CE61F-0116-4181-B5D1-37911E0945EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3c56016573ce7bfe3075a77ec18be101169a3439","datavalue":{"value":{"entity-type":"item","numeric-id":168778,"id":"Q168778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011059$81889687-B7B6-4E9C-BF8D-C47E3CB0B2B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f584a175cfc2fafdfc362244f176e06010bbf381","datavalue":{"value":{"time":"+2009-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1011059$310248E6-E1B7-49F2-800D-17685712F639","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"950ac8c82deaf53b1de4503e68d61cdc14a2ddef","datavalue":{"value":"https://arxiv.org/abs/math/0608566","type":"string"},"datatype":"url"},"type":"statement","id":"Q1011059$28543346-B4C5-4DF0-BB73-37217CB154DA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"81225ff92b7a43436140aecb31d0a714aa2a0061","datavalue":{"value":"Let \\(A,B\\) be two non-zero integers. Define the Lucas sequence \\(\\{u_n\\}^\\infty_{n=0}\\) by \\(u_0 = 0\\), \\(u_1 = 1\\) and \\(u_n = Au_{n-1} - Bu_{n-2}\\) for \\(n\\geq 2\\). Its companion sequence \\(\\{v_n\\}^\\infty_{n=0}\\) is given by \\(v_0 = 2\\), \\(v_1 = A\\) and \\(v_n = Av_{n-1} - Bv_{n-2}\\) for \\(n\\geq 2\\). Let \\(\\Delta= A^2 - 4B\\) be the discriminant of \\(\\{u_n\\}^\\infty_{n=0}\\) and \\(\\{v_n\\}^\\infty_{n=0}\\).  Let \\(p\\geq 5\\) be a prime. The well-known Wolstenholme's harmonic series congruence asserts that (1) \\(\\sum^{p-1}_{j=1} \\frac 1j \\equiv 0\\pmod {p^2}\\). Later, \\textit{W. A. Kimball} and \\textit{W. A. Webb} [Applications of Fibonacci numbers. Volume 8 (1998). Dordrecht: Kluwer Academic Publishers, 213--218 (1999; Zbl 0958.11006)] proved a generalization of (1) involving the Lucas sequences. Let \\(r\\) be the rank of apparition of \\(p\\) in the sequence \\(\\{u_n\\}^\\infty_{n=0}\\), i.e., \\(r\\) be the least positive integer such that \\(p| u_r\\) showing (2) \\(\\sum^{r-1}_{j=1} \\frac {v_j}{u_j}\\equiv 0\\pmod {p^2}\\) provided that \\(\\Delta = 0\\) or \\(r = p\\pm 1\\).   In the paper under review the authors extend the result of Kimball and Webb (loc. cit.) to arbitrary Lucas sequences. For any positive integer \\(n\\), let \\(w_n\\) be the largest divisor of \\(u_n\\) prime to \\(u_1, u_2, \\dots, u_{n-1}\\). Here \\(w_n\\) has been introduced by \\textit{H. Hu} and \\textit{Z.-W. Sun} [Proc. Am. Math. Soc. 129, No. 12, 3471--3478 (2001; Zbl 1077.11502)] in an extension of the Lucas congruence for Lucas' \\(u\\)-nomial coefficients. The following is proved:   Theorem 1.1. Let \\(n\\geq 5\\) be a positive integer. Then  \\[ \\sum^{n-1}_{j=1} \\frac {v_j}{u_j}\\equiv \\frac{(n^2-1)\\Delta}{6}\\cdot\\frac {u_n}{uv_n}\\pmod {w_n^2}. \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1011059$80CDB0E4-7C76-47F9-ABF6-3E9009B9F00D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3629f9b58c1c86062c61ff85f3263e580bc52bf7","datavalue":{"value":{"entity-type":"item","numeric-id":586708,"id":"Q586708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011059$C4A02EEE-6264-48A7-93E7-E8A692B33439","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccc5a5c9dd2865ab4417f7cabfcec0ef477e1206","datavalue":{"value":"11B39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1011059$B49F2CEF-0ADB-4909-822F-9A2641188AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6321ce6a9565f5f3e695a7afbb7a3eee2274d95d","datavalue":{"value":"11A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1011059$8696FE25-025F-4699-AA31-39F5ACC74B41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80252188ecf276826f27ddc287d8316202fb29d2","datavalue":{"value":"5541265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1011059$94267F0C-8554-4B8E-AC12-1D35ACD3EF88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4100b3b359f4b030cea6b3e4e5edab77ec4bd796","datavalue":{"value":"Wolstenholme's harmonic series congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1011059$39DA4650-97EE-47E5-879C-1EF487F8A7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79525ae59a3def84d2c99822e2d04e9a3b358217","datavalue":{"value":"Lucas sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1011059$11F8366F-DC22-4E12-8116-7ACC38A820AE","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":"Q1011059$65E5C3DA-BC54-4837-B655-E28D0F090D6B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7203300bc4682c6bc51f7b93ab52665321da547","datavalue":{"value":{"entity-type":"item","numeric-id":4739993,"id":"Q4739993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011059$6E147D3A-9C64-47D4-B77E-91F9B8D27D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7716c700aa6f4392e4143187590dcaf01529930e","datavalue":{"value":{"entity-type":"item","numeric-id":2750839,"id":"Q2750839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011059$87595BAE-1AD5-4DDD-A654-A3B6BEAE944E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4ee9986ec68c08192fd4acdadeea0039f5442cf","datavalue":{"value":{"entity-type":"item","numeric-id":4941000,"id":"Q4941000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011059$CFB638B0-B839-4BC4-982C-6807496102A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e01a6cb026e51c3c0c3d21d345aa1125bebbdb8","datavalue":{"value":{"entity-type":"item","numeric-id":5449377,"id":"Q5449377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011059$365593F7-D7C9-4824-B668-6860DD678E77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2ad6000655e0ac5016c47fc54b016721bed9b93","datavalue":{"value":{"entity-type":"item","numeric-id":5404256,"id":"Q5404256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"394474237c80053a6f318fddcc80a82a92234c78","datavalue":{"value":{"amount":"+0.78737664","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":"Q1011059$14B73708-DBEA-4747-99F7-29D1E5957413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49c03a83c33c3ba1b429c886f166134a96939539","datavalue":{"value":{"entity-type":"item","numeric-id":2877915,"id":"Q2877915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82f0a9b3cb4a1a8bc1ca909afe0acc91dc330295","datavalue":{"value":{"amount":"+0.7617385","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":"Q1011059$A6AD3445-B25A-477E-8595-8A1AF2A41EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ff3d2e1fac6d45c17169ca334fb6fb9afd92bc9","datavalue":{"value":{"entity-type":"item","numeric-id":5404360,"id":"Q5404360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"896bb82bfa3ccf04b89abda9488ec68eb2391a3d","datavalue":{"value":{"amount":"+0.76170737","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":"Q1011059$6E97EE41-FC9A-4E58-AFCE-A3C40A0EE8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b78211efca62ec7c283be435fe1245917c98a470","datavalue":{"value":{"entity-type":"item","numeric-id":2915552,"id":"Q2915552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8fab550d8b2ab8f4e3ee4fe6b1095cd131105ce","datavalue":{"value":{"amount":"+0.74990565","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":"Q1011059$AFCCCCB6-6926-4443-804D-C924B0665C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50aeacb00661c7356ef9d25df562a8952566514a","datavalue":{"value":{"entity-type":"item","numeric-id":5868569,"id":"Q5868569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"543614dac8a2b578b00910dfbbe8d3676be8a23c","datavalue":{"value":{"amount":"+0.7209773","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":"Q1011059$8606780E-399A-41FD-9128-95A25ED2A7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7486aa11f0cdf70266eae7912036da5ceb340eb","datavalue":{"value":{"entity-type":"item","numeric-id":4941005,"id":"Q4941005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f61ce67c896880d4599c7474d2d7ce8c39b4b5a7","datavalue":{"value":{"amount":"+0.71187985","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":"Q1011059$078F1C07-F6F4-4F21-A639-B927D8764DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa03c85f071e38755ec025a58b2a87acc2f5ebf9","datavalue":{"value":{"entity-type":"item","numeric-id":2846556,"id":"Q2846556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a99cf34f58e44d719c408dd3eea4dd9cf74b32a","datavalue":{"value":{"amount":"+0.70064896","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":"Q1011059$CDB3D510-DB01-4FAB-AFCE-30DDD484AE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50203cdf8fda68e1f7cc6d31b18fa339baba5a93","datavalue":{"value":{"entity-type":"item","numeric-id":4557892,"id":"Q4557892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25f0d1de827a519d80db8b48f2290811e9d413ce","datavalue":{"value":{"amount":"+0.6808773","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":"Q1011059$AD1A11E2-28B8-4F96-ABBD-348170F548B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6a6db220294aeb7ea5959d742f8bb36a8faa8cc","datavalue":{"value":{"entity-type":"item","numeric-id":4639964,"id":"Q4639964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db6841b6cb754932ebef1942b3275d2e4c277ede","datavalue":{"value":{"amount":"+0.67967373","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":"Q1011059$1EFE7F67-72F8-456C-9731-C1C6E33A5ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6878e74bc4dd81bd9a6d668e5fe3b8c6a380405","datavalue":{"value":{"entity-type":"item","numeric-id":5502201,"id":"Q5502201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb04abf23df8ad1d186d1b92b54cd1c5d595639","datavalue":{"value":{"amount":"+0.6777035","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":"Q1011059$538B8B01-3FCC-4263-AC24-87EDDF72B53D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A generalization of Wolstenholme's harmonic series congruence","badges":[]}}}}}