{"entities":{"Q1959045":{"pageid":1969787,"ns":120,"title":"Item:Q1959045","lastrevid":51094961,"modified":"2026-01-16T15:44:18Z","type":"item","id":"Q1959045","labels":{"en":{"language":"en","value":"Probable prime tests for generalized Mersenne numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5794420"}},"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":"Q1959045$FB70B895-BE66-4B48-81F8-CA70BACDE915","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eeee56f148ecb0ea3fb08cc2adf41af17102d6f1","datavalue":{"value":{"text":"Probable prime tests for generalized Mersenne numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1959045$11A56343-7674-47B3-ABFE-27956A65986D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1e2b67bc3f3badb91aea77ce2c1e12a1f2b31eb","datavalue":{"value":"1211.11139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1959045$C62E1672-C40C-47C2-A040-4A023CFE93DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1959045$0CEE8399-5A74-4230-8F00-C30AE2DD6794","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4dd5076f1cb00504e91b0e42064ee51896a038fb","datavalue":{"value":{"entity-type":"item","numeric-id":176945,"id":"Q176945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1959045$46F4CF05-5CBE-4873-B8EA-6B9A5A456EBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8b73f32899a0de1635fbad892f48e16531e2002","datavalue":{"value":{"time":"+2010-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1959045$E9AB8785-4583-4CB9-B1C5-4CB757FA46BF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"86160e9b7efae806c0bdeeb888a9332521ff5381","datavalue":{"value":"The present paper studies the primality of the two families of numbers \\(N(p,b)=\\frac{b^p+1}{b+1}\\) and \\(M(p,a)=\\frac{a^p-1}{a-1}\\),\\, where \\(b\\geq 2\\)\\, and \\(a\\geq 3\\)\\, are integers and \\(p\\)\\, is an odd prime. The approach is similar to the used in the test of Lucas-Lehmer (as well as tests for other families of numbers, tests due to other authors, see [\\textit{H. C. Williams}, \u00c9dourd Lucas and primality testing. Canadian Mathematical Society Series of Monographs and Advanced Texts 22. New York, NY: John Wiley (1998; Zbl 1155.11363)]): starting from the roots of a quadratic equation they are defined two sequences of integers and a recurring sequence \\(\\{S_i\\}\\). Then a relationship is deduced among the primality of the number candidate of the corresponding family and the term \\(S_{p-1}\\) of the recurring sequence.  Sections 2 and 3 study the case \\(N(p,b)=\\frac{b^p+1}{b+1}\\) (for even and odd \\(b\\), respectively) and Section 4 deals with the case \\(M(p,a)=\\frac{a^p-1}{a-1}\\). The obtained results (Theorems 2.8, 3.7, 4.2 and 4.4) show the relationships that \\(S_{p-1}\\) should verify, \\textit{assuming the candidate's primality}.  Then the previous results provide compositeness tests (if the candidate doesn't verify the relation it is certainly composite). However Sections 5 and 6 apply these results to the design of primality tests and to the detection of eventual false positives. The numerical results are collected in Table 1 (for \\(b =3,5,6,7,9,10,11\\) and 12) and Table 2 (for \\(a= 3,5,6,7,10,11\\) and 12). The tests do not produce false positives and in the author's words ``we have made no progress in proving that any of our tests are deterministic, and so there remains this possibility''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1959045$BF81FC51-D1B4-4FDE-BA4B-8F45B6E8D515","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ecf21397fdcced4e2aeef35f7ab4217f79a7d6ec","datavalue":{"value":"11Y11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1959045$37A15479-5348-4D8B-BED0-E279870C6CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e16b73d668e1481a22707de3aa06c6e25136661","datavalue":{"value":"11A41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1959045$1F6915DF-1CC7-4228-A9F5-972020A1C02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f5492126398e1ddf0e8e00d7285568c890b3f47","datavalue":{"value":"11A51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1959045$EA5D72B6-E8E6-4049-8DB5-7F5ED49F3048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd716104cf156585f3bce22202c836b7465d3133","datavalue":{"value":"11Y16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1959045$F99A3A27-F103-4A43-AB52-69D40AA3CD4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bebcc548340f381898423f68efb05f33df5e4b4e","datavalue":{"value":"5794420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1959045$FBBDACCB-4FAC-4F92-B30E-EAAD3B43B6A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37b2e7eda71c407b1c395a89d5e314fe33c7861c","datavalue":{"value":"Lucas-Lehmer test","type":"string"},"datatype":"string"},"type":"statement","id":"Q1959045$A3781F0F-5564-455F-AC96-0E9CBA0EDC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53310fc05041a121bb7047dbae30dc64a1457b85","datavalue":{"value":"Mersenne primes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1959045$9CEAD4AE-BBA7-4C8C-9A7D-C8D0B616737B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d7a6696169486e78992d8b409e3e63188e6c90d","datavalue":{"value":"probable primes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1959045$F300A93D-1DC3-4208-86D5-AB6F5C1FCC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f2f0133e93d767f1724de8fff651c949685aacb","datavalue":{"value":"new Mersenne conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1959045$5762B737-7678-4235-83A9-4D601B3344E7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8892955fafe16ba1bddb104e5d82ec8889d70fd9","datavalue":{"value":{"entity-type":"item","numeric-id":1313210,"id":"Q1313210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1959045$5B90F56F-05A7-4239-87D1-640918C0EE2A","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":"Q1959045$707ABB12-E59B-4453-88D7-440B546C4ABF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e0bde8ea729dacd60bdca250ebbfba9dfd8236","datavalue":{"value":{"entity-type":"item","numeric-id":5042431,"id":"Q5042431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f421c1c5b930875b9eb9a19dc6719b1c02e0ec1","datavalue":{"value":{"amount":"+0.8355551362037659","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":"Q1959045$C8C672A3-AEF8-4D8F-AB9D-A2E31327A264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a6153e5df4651c1718c4b186e214d2cb8d0f6ec","datavalue":{"value":{"entity-type":"item","numeric-id":284473,"id":"Q284473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3e2c722fdbdc47bd95ce7d2c25e62e2ca914339","datavalue":{"value":{"amount":"+0.8306352496147156","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":"Q1959045$A87442FC-2885-476D-8BA3-509BAD61A53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6547ad479c1e3827f9b8b3f43a7c4e5bbe9bf5f2","datavalue":{"value":{"entity-type":"item","numeric-id":3625894,"id":"Q3625894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63011eedfa5e7ef0ee608e45213f762c19d9925f","datavalue":{"value":{"amount":"+0.8207021951675415","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":"Q1959045$F1BF5554-886A-4A4A-B546-B422F50623CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afcf7ae3283a3021c9754946972cf6155bfa853b","datavalue":{"value":{"entity-type":"item","numeric-id":3417332,"id":"Q3417332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1ad7d384c99b87b438bc2d1e25227e3c9e98f28","datavalue":{"value":{"amount":"+0.8191207647323608","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":"Q1959045$E16FAB54-DC5F-4806-9856-604DB0627877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d81ccdfb83a3cdf50cb08c38b8d515ec797965c","datavalue":{"value":{"entity-type":"item","numeric-id":3390087,"id":"Q3390087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3689fb0936f0ab6ae655cb26439e57644e3a3054","datavalue":{"value":{"amount":"+0.8112013936042786","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":"Q1959045$6D848FCB-179B-4D14-B931-96A2F1C474E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1959045","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1959045"}}}}}