{"entities":{"Q2883396":{"pageid":2894121,"ns":120,"title":"Item:Q2883396","lastrevid":51462506,"modified":"2026-01-18T08:56:58Z","type":"item","id":"Q2883396","labels":{"en":{"language":"en","value":"Extension of a theorem of Somer to the companion Lucas sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6032405"}},"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":"Q2883396$0DDAA2C5-6759-4A94-96A9-1265701560A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26786d6058be7b0b2ea3b7d185c82cfaeeb00aa6","datavalue":{"value":"1281.11011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883396$70B39163-5E42-4A94-ACA6-D06C35E56EAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75024143aa2fd75106354d0937c5615342b3724b","datavalue":{"value":{"entity-type":"item","numeric-id":642872,"id":"Q642872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883396$FD27A4C9-CB97-4859-9A9E-16FDE0DBEF83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c389f58e38360b59868aca1b4ab367674832e721","datavalue":{"value":{"time":"+2012-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2883396$4B8960BB-35CE-48ED-BEC5-1365AA603409","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccc5a5c9dd2865ab4417f7cabfcec0ef477e1206","datavalue":{"value":"11B39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883396$3CDC96A7-6F1C-4855-900D-E3357BD0E098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f5492126398e1ddf0e8e00d7285568c890b3f47","datavalue":{"value":"11A51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883396$736E111F-A313-406D-BD69-25FC502AD45E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04abf6f4ab1b05247b52fc3a84c74be00a3987f9","datavalue":{"value":"6032405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883396$1869E17B-4649-441A-A7B7-12CCB8FDEB1F","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":"Q2883396$3C099E6E-2D64-4E00-A458-A29932ADEB28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31785df393aef169bb317827522509e11012b165","datavalue":{"value":{"text":"Extension of a theorem of Somer to the companion Lucas sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2883396$DFC067B0-C380-4758-9DDD-19BC8449C69C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69d86d930ab7d15bf408652a51d91c5a2a483e7c","datavalue":{"value":{"entity-type":"item","numeric-id":6648219,"id":"Q6648219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883396$7ADDDC23-124A-447B-8EAA-23B30DCC8D6F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5cb2cd3ccbea88c57316c0f3518a20ed16f9f8dc","datavalue":{"value":"The companion Lucas sequence \\(\\{ V_n(a,b) \\}\\) is defined by \\(V_0 = 2\\), \\(V_1 = a,\\) NEWLINE\\[NEWLINEV_{n+2}(a,b) \\equiv V_{n+2} = aV_{n+1} + bV_n, \\text{ for } n \\geq 0,NEWLINE\\]NEWLINE where \\(a, b\\) are nonzero integers. Let \\(D = a^2 + 4b.\\) Some interesting assertions are proved, e.g.,NEWLINENEWLINE {Theorem 4.} Let \\(\\{ V_n(a,b) \\}\\) be a companion Lucas sequence and let \\(p\\) be an odd prime such that \\((2p \\pm 1) \\nmid ab\\) and \\(\\gcd(a, b) = 1\\).NEWLINENEWLINE[1] Suppose that \\(\\left ( \\frac{-b}{2p-1} \\right ) = \\left ( \\frac{D}{2p-1} \\right ) = -1.\\) Then \\((2p - 1)\\mid V_p\\) iff \\(2p - 1\\) is prime.NEWLINENEWLINE[2] Suppose that \\(\\left ( \\frac{-b}{2p+1} \\right ) = -1\\) and \\(\\left ( \\frac{D}{2p+1} \\right ) = 1.\\) Then \\((2p + 1)\\mid V_p\\) iff \\(2p + 1\\) is prime.NEWLINENEWLINETheorem 6. Let \\(\\{ V_n(a,b) \\}\\) be a companion Lucas sequence and \\(\\gcd(a, b) = 1\\).NEWLINENEWLINE[1] Suppose that \\((2^p - 1) \\nmid ab\\) and \\(\\left ( \\frac{-b}{2^p-1}\\right ) = \\left ( \\frac{D}{2^p-1} \\right ) = -1.\\) Then \\((2^p - 1)\\mid V_{2^{p-1}}\\) iff \\(2^p - 1\\) is prime.NEWLINENEWLINE[2] Suppose that \\((2^{2^n} + 1) \\nmid ab\\) and \\(\\left ( \\frac{-b}{2^{2^n}+1} \\right ) = -1\\) and \\(\\left ( \\frac{D}{2^{2^n}+1}\\right ) = 1.\\) Then \\((2^{2^n} + 1)\\mid V_{2^{2^n - 1}}\\) iff \\(2^{2^n} + 1\\) is prime.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883396$8237BD2F-D3CF-46F2-91B5-C0858160B8D2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"12551b7fef2abac6d240e7f41054edbfb3bb1f29","datavalue":{"value":{"entity-type":"item","numeric-id":415428,"id":"Q415428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883396$F38CB2AD-CB62-4548-9819-038B4BD8BC3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb9cf99dd7be249e45f8841626e5bdcef263f4fb","datavalue":{"value":{"entity-type":"item","numeric-id":4689691,"id":"Q4689691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db8733ce7af6e4d9187ed9249e223f468e80d9c6","datavalue":{"value":{"amount":"+0.8036178350448608","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":"Q2883396$09618E18-0D7F-4638-8CA5-7E994AD843D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524de59cc7d3ee8fa2574170a8fecaed2c905de8","datavalue":{"value":{"entity-type":"item","numeric-id":4796275,"id":"Q4796275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24edfa09754bdb7947c84bbeb388d0363b6f3cf7","datavalue":{"value":{"amount":"+0.787108838558197","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":"Q2883396$D765AACA-B0F6-4769-8976-CA9A7B9B863C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dcc9eae726880f58fd2eb9394518ad5318c7a9e","datavalue":{"value":{"entity-type":"item","numeric-id":5851273,"id":"Q5851273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4c0f155006846ebad3a1520127c987647748804","datavalue":{"value":{"amount":"+0.784123957157135","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":"Q2883396$3A3A2DAE-EBC8-4E36-977D-48C8429DB184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b520e797cded7594a1e10e5b88d3f6752136009","datavalue":{"value":{"entity-type":"item","numeric-id":3429174,"id":"Q3429174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4d628250ebf7e9c02447ab7a3ae2b9af8859389","datavalue":{"value":{"amount":"+0.7711261510848999","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":"Q2883396$5F63124A-BC16-43EE-A698-CF17E4AB70D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a6440ca4ac84f97c7966aa5e825e94815898d66","datavalue":{"value":{"entity-type":"item","numeric-id":4340261,"id":"Q4340261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b3ec246b9b42014c0f02afdd3e1a6737cc2d6c1","datavalue":{"value":{"amount":"+0.757451593875885","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":"Q2883396$29D7318F-0262-4A5D-8463-1F5F84518663","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2883396","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2883396"}}}}}