{"entities":{"Q679090":{"pageid":680939,"ns":120,"title":"Item:Q679090","lastrevid":57125640,"modified":"2026-03-26T17:20:52Z","type":"item","id":"Q679090","labels":{"en":{"language":"en","value":"Primitive divisors of Lucas and Lehmer sequences. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1002059"}},"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":"Q679090$31535A44-79F7-45F1-9903-7AE5CAE990BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba7e5f857ac3d949e41616dbdd8231b85a0951a5","datavalue":{"value":{"text":"Primitive divisors of Lucas and Lehmer sequences. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q679090$A05DA5D9-32C9-4BE0-862B-0E492B9C7C40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4cf99eab86169233526942f37b21ae8e386fe841","datavalue":{"value":"0873.11013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679090$482AE352-DD5E-4FC1-A711-42D48A27F2AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2af5fe3b27a04082f1eae9cf17090e68be06cc07","datavalue":{"value":{"entity-type":"item","numeric-id":194678,"id":"Q194678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679090$2684BE10-0053-4162-BFF0-541DFC3453F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"867468f469ba75d0f3d5844c887d31c98dc154f2","datavalue":{"value":{"time":"+1997-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q679090$08247697-9DE6-43F9-A017-59F883441958","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f2ce269911d2e189f33f6eb38cb9a03d8f8823c","datavalue":{"value":"https://arxiv.org/abs/1211.3107","type":"string"},"datatype":"url"},"type":"statement","id":"Q679090$C5C756F8-89DF-4DC3-A32F-41FC41F59F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"49a5bc3c13e30a570afc2585ce4e0bcf7de8ae29","datavalue":{"value":"http://www.numdam.org/item?id=JTNB_1996__8_2_251_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q679090$8058F067-4DEF-49DC-80E9-2E4905528787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"38abb19ea55a7bf98edf740739f6fb615794ee14","datavalue":{"value":"https://eudml.org/doc/230590","type":"string"},"datatype":"url"},"type":"statement","id":"Q679090$941B5D26-4F7A-4D39-92E7-C81B6750D4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f6930a6e8995b6842359cbcb1abc1220b1c46f0","datavalue":{"value":"http://www.emis.de/journals/JTNB/1996-2/jtnb8-2.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q679090$B43F7E20-6BA3-442E-9856-D7613F5EE620","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"889df155c60051b368d325f585067692f648b720","datavalue":{"value":"[For Part I, see Math. Comput. 64, 869--888 (1995; Zbl 0832.11009).]   Let \\(\\alpha, \\beta\\) be quadratic numbers such that \\(\\alpha+\\beta\\) and \\(\\alpha \\beta\\) are relatively prime rational integers and \\(\\alpha/\\beta\\) is not a root of unity. The sequence of rational integers defined by  \\[ u_n= {\\alpha^n- \\beta^n \\over\\alpha -\\beta},\\;n= 0,1,2, \\ldots \\]  is called a Lucas sequence. If we assume the weaker condition \\((\\alpha+ \\beta)^2 \\in\\mathbb{Z}\\) and leave all other conditions as above then we can define another sequence of rational integers, namely  \\[ u_n= \\begin{cases} {\\alpha^n- \\beta^n \\over\\alpha- \\beta} \\quad & \\text{if } n \\text{ is odd} \\\\ {\\alpha^n- \\beta^n \\over \\alpha^2 -\\beta^2} \\quad & \\text{if } n\\text{ is even,} \\end{cases} \\quad n=0,1,2, \\dots \\]  which is called a Lehmer sequence. A prime number \\(p\\) is called a primitive divisor of a Lucas number \\(u_n\\) if \\(p\\) divides \\(u_n\\) but does not divide \\((\\alpha- \\beta)^2 u_2 \\cdots u_{n-1}\\); \\(p\\) is called a primitive divisor of a Lehmer number \\(u_n\\) if it divides \\(u_n\\) but not \\((\\alpha^2- \\beta^2)^2 u_3 \\cdots u_{n-1}\\).    As a consequence of Theorem 2 of his paper, the author proves: If \\(\\alpha\\) and \\(\\beta\\) generate a Lucas or Lehmer sequence, then the \\(n\\)-th term of this sequence has a primitive divisor for all \\(n>2 \\cdot 10^{10}\\). This considerably improves on an earlier result of similar type due to C. Stewart, in which the lower bound for \\(n\\) was \\(e^{452} 2^{67}\\) for Lucas sequences and \\(e^{452} 4^{67}\\) for Lehmer sequences. The other main result of this paper is: If \\(\\alpha\\) and \\(\\beta\\) generate a Lucas or Lehmer sequence and \\(h(\\beta/ \\alpha) \\leq 4\\), then for all \\(n>30\\) the \\(n\\)-th term of this sequence has a primitive divisor. The proofs are based on the theory of linear forms in logarithms of algebraic numbers, making use of a sharp lower bound for such linear forms in two logarithms, due to Laurent, Mignotte and Nesterenko.","type":"string"},"datatype":"string"},"type":"statement","id":"Q679090$59DC46BD-0893-4B3B-8528-417D507621BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bc3f4b62b406982652a23d68d9c7868a54f1c6","datavalue":{"value":"11B37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679090$C5C48217-9D8B-458D-A2DD-AED27838552E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccc5a5c9dd2865ab4417f7cabfcec0ef477e1206","datavalue":{"value":"11B39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679090$7E3F383A-AE75-4285-BD8A-4D043A081B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67c45964bb1554d8a802bf9a29e50db9b1c5a363","datavalue":{"value":"11Y50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679090$79222FA4-3E2F-4DE8-862D-C6472BEEEE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40403c8d2e7a94c90fbb74b962301e3fe3da68bd","datavalue":{"value":"11J86","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679090$AC45CAA6-A3F5-4079-89BD-461CEC6276CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"857c9b3c7a06d3f57b0914c0a7ec0b113cf655d5","datavalue":{"value":"1002059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679090$8B0D3BC3-1683-4E7F-8B05-9A138F9E2588","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79525ae59a3def84d2c99822e2d04e9a3b358217","datavalue":{"value":"Lucas sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q679090$E82E5FDD-1EF3-4D8D-85B0-8FA38D973D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2487dc8f53d294a19e57533e6e028cb30d346047","datavalue":{"value":"Lehmer sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q679090$D513AC1D-04B8-4645-8728-CBF0FEECBA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cdd9afe012d3de474d2faa42024bd53bf98c19d","datavalue":{"value":"primitive divisor","type":"string"},"datatype":"string"},"type":"statement","id":"Q679090$7256DC5D-202F-41F5-9118-36E9C3788715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f1814ebfb0c5873f215208cab188392d4def9a","datavalue":{"value":"lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q679090$7E8C7EE1-0F6E-4D9B-B245-0FBD7C856D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"430c5906bd7676185aa48d2f7d031c02b441edbc","datavalue":{"value":"linear forms in logarithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q679090$57EEDA8D-93CD-47C0-920F-A9C0CAE5B681","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a93a13b71778c238989c9a9b0b92d15870261ea","datavalue":{"value":{"entity-type":"item","numeric-id":1345721,"id":"Q1345721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679090$3956BA01-1717-43A4-A922-3B954720696B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f6af304b2c5326ae6a0ddd21c7ec5552595174d8","datavalue":{"value":{"entity-type":"item","numeric-id":795859,"id":"Q795859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679090$2F3E4DBE-8E52-4709-98CD-6F9816ABAF68","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":"Q679090$F00C40FB-D063-49B4-8BD0-6E954F3F9976","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"475965ebe29b9a0294170327926ef6a6e53b7de4","datavalue":{"value":"W2076704531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679090$DE7C0C42-C250-435A-829A-F21E16AB9A2E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"020dabdc5c32bf3af2c797dbc455cefe1a80183e","datavalue":{"value":{"entity-type":"item","numeric-id":3338321,"id":"Q3338321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679090$12F0F749-7243-4C50-956B-7EAFD72854AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca9b42aaf9e66d6771dade5460d2f77c29adc44","datavalue":{"value":{"entity-type":"item","numeric-id":5539079,"id":"Q5539079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679090$3E44D5BB-DE0D-4167-83B9-32120C2CDB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a3aee7cec49f12a05a32d351c5ccf49a182757","datavalue":{"value":{"entity-type":"item","numeric-id":771859,"id":"Q771859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679090$0C08BE5E-54FA-4F2C-948C-3EEB842A2EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e28d865b6a527d6aef184a58e15bb15ad21dc2c","datavalue":{"value":{"entity-type":"item","numeric-id":3856819,"id":"Q3856819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679090$D2A51854-09EA-4D45-BC24-EA2D920ABD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d30237875e4cc7462f8afd8b4dce3ac7693ef00e","datavalue":{"value":{"entity-type":"item","numeric-id":3992502,"id":"Q3992502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679090$7FDAA6F0-2B3B-4877-9A19-E4992373E048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d89959f088d276878c19863eadc73effc7278785","datavalue":{"value":{"entity-type":"item","numeric-id":1907846,"id":"Q1907846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679090$C32D8064-BB55-457E-92C7-B006CAD93B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcc83fae14b137ab5416fe8a57992d1d3b2fb831","datavalue":{"value":{"entity-type":"item","numeric-id":5848283,"id":"Q5848283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679090$9A819B56-3240-4A48-B787-E610B4AAAD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c2a6f5ae0d13f174234dcc51c14ebefd321f028","datavalue":{"value":{"entity-type":"item","numeric-id":3808169,"id":"Q3808169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679090$6E291A08-B278-4B68-A5EC-DBB65BAE10C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1e252b945882c3dd32bb380465f9c833092e5db","datavalue":{"value":{"entity-type":"item","numeric-id":3931481,"id":"Q3931481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679090$6C3FDEEE-21E8-45C8-BEA7-F83CC592C8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6a88e7c87651eeb3ff2433bf71733b763895cdc","datavalue":{"value":{"entity-type":"item","numeric-id":2626710,"id":"Q2626710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679090$07867D12-71B8-4187-BF9C-ED8AB1E6A650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"192a668707b6b352a637860f7cf26a72f0307d4f","datavalue":{"value":{"entity-type":"item","numeric-id":4773797,"id":"Q4773797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679090$4B763F0B-030D-422C-8E9A-AD04C3CC761C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443c236494d897523a90bd9d19aab0ba15988865","datavalue":{"value":{"entity-type":"item","numeric-id":4141915,"id":"Q4141915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679090$46592704-749A-4377-BA9E-9A2E84841A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdf159fb16936744062d64169670935944f8badd","datavalue":{"value":{"entity-type":"item","numeric-id":4170801,"id":"Q4170801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679090$E7BADBC6-583C-4BDA-8E3D-15F79A53EEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b8a97a8f3392aa00acf6daae58c87a74abd6b4f","datavalue":{"value":{"entity-type":"item","numeric-id":4846026,"id":"Q4846026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679090$42A2A70D-4E47-4056-8EE1-8E3309BF433B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc9ae005db569447f4260eda21d37a29e58ef7f","datavalue":{"value":{"entity-type":"item","numeric-id":4855033,"id":"Q4855033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679090$4727A245-13CE-4546-94F1-F8D5F1678A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"904fcc821b8f33cd8d52ce3f5fafb504875dd666","datavalue":{"value":{"entity-type":"item","numeric-id":4314470,"id":"Q4314470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679090$A339C7F6-1051-46AE-822E-6A99AFA5E53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"716f2e4a78dbd026777e90466fbac1007324cfde","datavalue":{"value":{"entity-type":"item","numeric-id":2653772,"id":"Q2653772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679090$0BD86B65-AD66-4B7C-A71B-6C8949863D8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebd61ed379996dc8806a6c51510e6e715e629a82","datavalue":{"value":"10.5802/JTNB.168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679090$7AC7D695-95A2-4B69-A0F5-B9E4DCCD2BC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf6765e5d96b360bb4b3b81d28de1eaad884f3c","datavalue":{"value":{"entity-type":"item","numeric-id":4393894,"id":"Q4393894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2503f67eea68b812dc802b81429226f874200c81","datavalue":{"value":{"amount":"+0.947352170944214","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":"Q679090$CBB60BEE-242B-4ED9-A31B-28947DF506B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb77d33b1ab5c873d1633d2b03d22706a4e34ca8","datavalue":{"value":{"entity-type":"item","numeric-id":4846026,"id":"Q4846026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c21a345259df99189ace0203a79f2ace42e2156","datavalue":{"value":{"amount":"+0.9079391360282898","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":"Q679090$4E0016C3-28E8-471E-9D0A-6E5EE9EE78FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09ba0c0197b0bf027eeb7b35bc8f7b382c9778d3","datavalue":{"value":{"entity-type":"item","numeric-id":873831,"id":"Q873831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fd4dc5ce90e75eb883fd320311f6eae7a918f73","datavalue":{"value":{"amount":"+0.8961408138275146","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":"Q679090$EDA15D43-71D2-43C5-8F8F-97E73C5AFE04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:679090","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:679090"}}}}}