{"entities":{"Q2663298":{"pageid":2674041,"ns":120,"title":"Item:Q2663298","lastrevid":57098115,"modified":"2026-03-26T15:14:01Z","type":"item","id":"Q2663298","labels":{"en":{"language":"en","value":"Skolem's conjecture confirmed for a family of exponential equations. III."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7334480"}},"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":"Q2663298$E39025AA-FCBD-45C9-88EF-61C37C1CD61F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71d25678a6f469b8dcae68a6ce891574b39eee73","datavalue":{"value":{"text":"Skolem's conjecture confirmed for a family of exponential equations. III.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2663298$4956ECBD-7554-4B83-91FC-26D09E619C4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd9361699c2eaf49cf53335d5261e75aeca7a409","datavalue":{"value":"1484.11100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2663298$7EA2EF05-626B-40D8-AB85-3AD6F4FE6787","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b679954637c1f504880321be5f54f875eab8d1f","datavalue":{"value":{"entity-type":"item","numeric-id":228638,"id":"Q228638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663298$CE437B4B-084A-4787-A6B5-FB094A50ADCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5a736319355d31e13239bc37a3f0fcf5a6f069f","datavalue":{"value":{"entity-type":"item","numeric-id":168881,"id":"Q168881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663298$E90BB431-7FBF-4AAC-A02D-E9DB1CECB2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40f247e83bad1e31dae7e40e753e4478232090a1","datavalue":{"value":{"entity-type":"item","numeric-id":228639,"id":"Q228639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663298$969ED5C5-7D77-4F7B-A45B-C79629A485AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6cac328d206d9ef9b7afb3fb4ca5d1d204199af","datavalue":{"value":{"entity-type":"item","numeric-id":167107,"id":"Q167107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663298$A5366336-332A-4D72-9127-8ED426FA7BB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e4989d6890f3096907ab51d882462cf70e5e0dc6","datavalue":{"value":{"time":"+2021-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2663298$A9335460-DB6C-4639-AE44-AAD2F80DFECF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7117c15bada56d919d6650c0f7cd46a4c7ef4c44","datavalue":{"value":"Consider an exponential equation \\[ F(\\mathbf{x})=\\sum_{i=1}^r a_i^\\cdot b_{i1}^{x_{i1}}\\cdots b_{i,\\ell_i}^{x_{i,\\ell_i}}=0 \\] to be solved in tuples of positive integers \\(\\mathbf{x}=(x_{i,j}:\\, i=1,\\ldots , r,\\, j=1,\\ldots , \\ell_i)\\in\\mathbb{Z}^{\\ell_1+\\cdots +\\ell_r}\\) where the \\(a_i\\) are non-zero integers and the \\(b_{i,j}\\) integers with absolute value \\(>1\\). A Skolem-type conjecture asserts that there is a positive integer \\(m\\) such that this equation has the same set of solutions as the congruence equation \\(F(\\mathbf{x})\\equiv 0\\pmod m\\). While this is false in general, it is believed that under suitable coprimality conditions imposed on the \\(a_i\\) and \\(b_{i,j}\\) and non-degeneracy conditions on the solutions it might be true. Skolem-type conjectures have been proved in a couple of cases. The authors prove another case. Their main result is as follows.   Theorem. Let \\(a,c,t,b_1,\\ldots ,b_{\\ell}\\) be non-zero integers with \\(|b_i|>1\\) for \\(i=1,\\ldots ,t\\) and \\\\ \\(\\gcd (a,c,tb_1\\cdots b_{\\ell})=1\\) and let \\(\\varepsilon\\in\\{ -1,1\\}\\). Further, let \\(f\\) be any monotone non-decreasing real function. Then there exists a modulus \\(m\\), which can be effectively calculated in terms of \\(a,c,t,b_1,\\ldots ,b_{\\ell}\\) and \\(f\\), such that the congruence \\[ a^n+tb_1^{k_1}\\cdots b_{\\ell}^{k_{\\ell}}\\equiv \\varepsilon c^n \\pmod m,\\ \\ n\\leq f(k_1,\\ldots ,k_{\\ell}) \\] has the same solutions in positive integers \\(n,k_1,\\ldots k_{\\ell}\\) as the equation \\[ a^n+tb_1^{k_1}\\cdots b_{\\ell}^{k_{\\ell}}=\\varepsilon c^n,\\ \\ n\\leq f(k_1,\\ldots ,k_{\\ell}). \\] It should be observed that using Baker-type results on linear forms in ordinary and \\(p\\)-adic logarithms, one can effectively compute a number \\(C\\) such that the solutions of the latter equation, even without the condition \\(n\\leq f(k_1,\\ldots , k_{\\ell})\\), satisfy \\(n,k_1,\\ldots ,k_{\\ell}<C\\). This implies the above theorem at once. However, the authors give an elementary proof of their theorem. Their main tool is Zsigmondy's theorem [\\textit{K. Zsigmondy}, Monatsh. Math. Phys. 3, 265--284 (1892; JFM 24.0176.02)], which asserts that if \\(a,c\\) are coprime integers with \\(|ac|>1\\), then apart from at most four integers \\(n\\geq 2\\), the number \\(a^n-c^n\\) has a prime factor \\(p\\) that does not divide \\(a^r-c^r\\) for \\(r=1,\\ldots ,n-1\\).   For Part II, see [\\textit{A. B\u00e9rczes} et al., Acta Arith. 197, No. 2, 129--136 (2021; Zbl 1465.11085)].  By taking \\(\\ell =1\\), \\(n=k_1\\), \\(f(x)=x\\), the authors deduce that if \\(a,b,c,t\\) are non-zero integers with \\(\\gcd (a,tb,c)=1\\), \\(|b|>1\\) and if \\(\\varepsilon\\in\\{ -1,1\\}\\), then there exists a modulus \\(m\\), effectively computable in terms of \\(a,b,c,t\\), such that the congruence \\(a^n+tb^n\\equiv \\varepsilon c^n\\pmod m\\) has the same solutions in positive integers \\(n\\) as the equation \\(a^n+tb^n=\\varepsilon c^n\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2663298$C50B329E-6B9A-476D-A02A-A7A91F0211D8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"814d841b755c5d45a363377f763e212a3bff6b1a","datavalue":{"value":{"entity-type":"item","numeric-id":587177,"id":"Q587177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663298$7FF74169-51D1-42B9-93C9-F7D7C24A3BD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5c1bc0c62610848362f0e1b120e8f734298f7305","datavalue":{"value":"11D61","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2663298$D5313114-83EB-43D0-BDC3-F68DDB887663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"785eccafa35d173d959351eeee53c1a0039e6e1b","datavalue":{"value":"11D79","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2663298$09C5E862-DBDB-4E1F-A297-0631B47EA7A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1b8b9dbb1f9d1ec21789b35b8fe8c3b10033a0d","datavalue":{"value":"7334480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2663298$4D8B935E-E233-400C-8D3C-9E008C6AA083","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929fde73273f1aa8a2b2bfd0b7a13da188238343","datavalue":{"value":"exponential Diophantine equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2663298$557CC110-7D75-48ED-B14C-55DAA81C61FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40a6e9715374b739b057fa3b0e4f68b4a327511c","datavalue":{"value":"Fermat's equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2663298$6D379DDB-31DE-428A-ACB1-A59F698731E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a1207b81af18832d60f9ab268e30ec529d8b4f0","datavalue":{"value":"Skolem's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q2663298$FFE05C70-78A3-49FF-95D4-AD757E7D713D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5fe8ad31906b5d823833ee40fdf73764f67863c2","datavalue":{"value":"Q113870361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2663298$D5388AEA-F0F6-49C0-B7DD-02FFBFE4534A","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":"Q2663298$C11B1E52-00B3-44D8-84BB-366DE1A28FF8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"579fdcd5fd6df3ceb7fd21b3f77c6df42ce261a8","datavalue":{"value":"https://doi.org/10.1016/j.jnt.2021.01.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q2663298$A470D3A8-1213-49CF-B069-D12744EA2AD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2dca29d2d31cb40b95e91cf1fc3705ee1be8c943","datavalue":{"value":"W3133457868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2663298$5D7A0A0A-76C8-486E-BD87-BC5C4C3A2C51","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e71a1acf797bb8f1ef1d64849e71dc39baa091f4","datavalue":{"value":{"entity-type":"item","numeric-id":4920578,"id":"Q4920578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663298$5C99CDCC-38E5-4182-BE57-32404E735967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"582dc100b8c43295d69d5906b8e7e26327e501cb","datavalue":{"value":{"entity-type":"item","numeric-id":5854706,"id":"Q5854706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663298$977678CF-DD70-443C-8DD4-3A13FEA5D828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa7cf3ce2b8d9420fe8eca949040dc64294c6369","datavalue":{"value":{"entity-type":"item","numeric-id":2792344,"id":"Q2792344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663298$621A1A3D-0E05-4144-B951-843788846611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4641df80294b6f0de1630cc5ccf5737f8948f815","datavalue":{"value":{"entity-type":"item","numeric-id":1795159,"id":"Q1795159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663298$61715197-CF86-490A-AD14-0D0F89FA0912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33b36ca5675c01ed906cc20a24fa122e94a7548a","datavalue":{"value":{"entity-type":"item","numeric-id":2744710,"id":"Q2744710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663298$2992D1CB-1E6C-4A94-AE1A-B38D74C86583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1bd4b676659313a826776443638e26d806d3200","datavalue":{"value":{"entity-type":"item","numeric-id":2268804,"id":"Q2268804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663298$217FE254-ED4F-4492-BB69-F9C906A2D088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"940e031127430374a2f3b9a19732e8260d01d95b","datavalue":{"value":{"entity-type":"item","numeric-id":2941402,"id":"Q2941402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663298$6DD63504-DDCA-47E0-9A24-6BB2DDF74FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b5eaa9b6f8c411582930a6532a3c772619c5448","datavalue":{"value":{"entity-type":"item","numeric-id":5207282,"id":"Q5207282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663298$29AF62E1-0AD4-4A81-8A58-A8E81F0DBC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d7c3bc70e717df1042b0074162eb9670d27696","datavalue":{"value":{"entity-type":"item","numeric-id":4109739,"id":"Q4109739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663298$04381880-2C2A-48D3-864E-71B1E92804FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ad467cbdbf8f9a6bc84f25e9a6402ac76193e0","datavalue":{"value":{"entity-type":"item","numeric-id":3879332,"id":"Q3879332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663298$384C2A61-288E-43DD-B6D5-5A0903FA5645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36f18faf2366dded2d0abc41fa86b428ca109343","datavalue":{"value":{"entity-type":"item","numeric-id":4815631,"id":"Q4815631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663298$03A3EB73-E357-4C0D-9128-6016D1491038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e90a49d0c73949fca67a92eda10ee202534e1f9","datavalue":{"value":{"entity-type":"item","numeric-id":5768581,"id":"Q5768581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663298$5A9E6B14-29E6-47A5-B2D6-856A3B5172B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d662744db22f671f83e5adda2c1f2c56a8b3bbaf","datavalue":{"value":{"entity-type":"item","numeric-id":1895541,"id":"Q1895541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663298$5E05C9F1-2396-4BBD-903B-E45A5754D7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b523bc85845559b1c25199cacbe54ca3b28ca8e3","datavalue":{"value":{"entity-type":"item","numeric-id":3803201,"id":"Q3803201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663298$158C45FC-5874-48CF-8B4E-D16FFB3AA0B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f959de7d7a19724445586c5c94ddac503f5a207b","datavalue":{"value":"10.1016/J.JNT.2021.01.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2663298$BA0EF9CA-C8A0-4093-9E32-BC9F255740AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"810ee852834a633f480e054373e062cde416d04d","datavalue":{"value":{"entity-type":"item","numeric-id":5854706,"id":"Q5854706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca4713d94eeaf35faf845d1d77d927923f38f96f","datavalue":{"value":{"amount":"+0.8894171714782715","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":"Q2663298$9F10FF24-2FF1-4C91-9EBD-6EFA1EFC1B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a3c142d85272301431e0caacc3fd3fb3fbcba6b","datavalue":{"value":{"entity-type":"item","numeric-id":4390893,"id":"Q4390893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b2bf614fa9d08dfcc209ec4a134a6eaabda2cc1","datavalue":{"value":{"amount":"+0.8864448666572571","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":"Q2663298$2B4D3640-E781-4919-948C-DB1C01A88DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e01c1736a29cba6ac62ab0bc5fd05f959c83f07b","datavalue":{"value":{"entity-type":"item","numeric-id":5207282,"id":"Q5207282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c134bfe1357c9791d0cfb7d4430f022bc3102f4","datavalue":{"value":{"amount":"+0.8671327233314514","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":"Q2663298$DE28341B-51FB-4D26-AEBD-D9CE1AFD1EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91955f0adf357cbec75f32ef1f53fee12ce77db5","datavalue":{"value":{"entity-type":"item","numeric-id":3130228,"id":"Q3130228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b16a81f55ff6a71a106ef415795f5643cecffe19","datavalue":{"value":{"amount":"+0.8542575836181641","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":"Q2663298$9D17E497-4453-43CF-8C53-25F0721FE372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09777ce4465b6a4d3dd4b6e8bd7b331d21d1948b","datavalue":{"value":{"entity-type":"item","numeric-id":2792344,"id":"Q2792344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"699be1c18bdaecb118492ae8069ee1f7ccc0eb02","datavalue":{"value":{"amount":"+0.7581070065498352","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":"Q2663298$5356A8ED-4FD7-4E4C-9EEB-2148312A80F3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663298$6224AAE9-D1EA-4AEE-B207-E32CC7145E3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2663298","badges":[]}}}}}