{"entities":{"Q404192":{"pageid":405959,"ns":120,"title":"Item:Q404192","lastrevid":61587717,"modified":"2026-04-11T00:18:52Z","type":"item","id":"Q404192","labels":{"en":{"language":"en","value":"On the minimal set for counterexamples to the local-global principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6339515"}},"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":"Q404192$FF720928-61D7-462F-A10A-0631E7DE7625","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94345007d9ea30e4211cc58371ebeadecaeb11b2","datavalue":{"value":{"text":"On the minimal set for counterexamples to the local-global principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q404192$541D6F43-E7B4-4D97-81E3-F67B35935719","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f199af370361422d08347d70fd7ddfc62671f4d","datavalue":{"value":"1321.11063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q404192$101689FE-50D7-43A8-B469-0DA070F3F627","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebc1b7f6dae4d1cb435a22046c0f9fa88bd31b2a","datavalue":{"value":{"entity-type":"item","numeric-id":404190,"id":"Q404190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404192$C4801B36-D554-4FBD-9751-8FF5485F0A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f25f1cb4582f98b64c435cc09795a40dcd5a1fd8","datavalue":{"value":{"entity-type":"item","numeric-id":404191,"id":"Q404191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404192$2E309BEC-D85F-4686-B83A-4FAC02A2C3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"081049fa0d49f0009f40bfa035a30528758271ed","datavalue":{"value":{"entity-type":"item","numeric-id":374037,"id":"Q374037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404192$F8E4BC5C-5E60-4ED4-8027-2A406AB5A58A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404192$2F6B05DB-FC3A-4DEA-8BDC-AAFEA819130C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9d8fea32a46af1bd8128cc5dcfc32073a3817d0","datavalue":{"value":{"time":"+2014-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q404192$DF700FA6-927A-4FC5-A1E8-D47416C3172F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf46788f167d73817798307de10099f71e7b786e","datavalue":{"value":"https://arxiv.org/abs/1107.3431","type":"string"},"datatype":"url"},"type":"statement","id":"Q404192$037D5AB7-41C1-403F-8992-66DCED11B815","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"12c559066209c4c04d1937e81cbb71b12f019daa","datavalue":{"value":{"entity-type":"item","numeric-id":503718,"id":"Q503718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404192$BBC025DC-355D-4F54-ADDB-6BDADEE892DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1b466ca590039ea305e8cc047527b117e828a753","datavalue":{"value":"11G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q404192$F11BF551-142C-47F2-B92C-FFD5BEC8D51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"813dc6f318ab6e0f1a3cffe133369a728249172c","datavalue":{"value":"11G07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q404192$961438D8-6CBC-4E6C-923E-FF261767FCFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6c8c38e3821711a95703abcc2630cc0d5683ad9a","datavalue":{"value":"11R34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q404192$4CE3E6C5-0B18-4606-A8B4-2014CB24F9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c54fa30ba624988236f9ecd491fc41d0cd53ef87","datavalue":{"value":"14G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q404192$98581DFC-C9DA-407D-ACFF-4E45DFCDA2C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc4b40d4ef6c5857c4560f4bc33760312a9fdb02","datavalue":{"value":"6339515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q404192$1091632F-DDA7-464A-9DC3-4B293DA26DD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8adb46bc76c81baf1541140bfb4e49ad9571310b","datavalue":{"value":"local-global principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q404192$86A0231D-F45B-4BBF-88F7-E8D443F595F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da1fcf8634dffbef5ab53f82304a07bf90038678","datavalue":{"value":"elliptic curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q404192$87E29FFC-18EC-434D-83A0-391042632DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9c110b71d09863fbf459ad94f52e90534b686c8","datavalue":{"value":"minimal counterexamples","type":"string"},"datatype":"string"},"type":"statement","id":"Q404192$1161036C-7E2F-4B35-B2CE-2D3B0C38A7FF","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":"Q404192$13C232D9-5454-4722-93FC-1770EE3391F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a60516980b4efbfdfe6ae09f7b28090840a3a915","datavalue":{"value":"W2963204594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q404192$1260A389-A80C-4438-B72C-B63FBF51A12F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"976cbeec59a6585700525e245ac3417f26afa34c","datavalue":{"value":"Q124805597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q404192$DE908B3E-4EF5-4986-AECE-E92AFA6B9194","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"50706ca7558a0c072748fce98fbed03126593026","datavalue":{"value":{"entity-type":"item","numeric-id":2773552,"id":"Q2773552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404192$6A18ED73-30F3-45A4-A1A4-4428B22F2FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa27308eef710d4133c0c1188106a58da4bde25a","datavalue":{"value":{"entity-type":"item","numeric-id":1426544,"id":"Q1426544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404192$42AA34FD-E5FE-4B92-B18B-47B2ED82A194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f08d1993cc08d0bce7ff5d7a88e3a45d952f60b","datavalue":{"value":{"entity-type":"item","numeric-id":3429604,"id":"Q3429604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404192$91E58408-B669-459D-8FBF-1E7FA1B454E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb3fbcdb47bf3badced07a209f851985bbeb71c","datavalue":{"value":{"entity-type":"item","numeric-id":3859918,"id":"Q3859918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404192$39AF6A15-E128-447D-AD65-27F3A1746187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79cd74e743cacb91173fd7e2563f8fa894e759cc","datavalue":{"value":{"entity-type":"item","numeric-id":1249621,"id":"Q1249621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404192$59611A57-29C9-479C-9560-C5B9997746FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f16857326d50b7218f5d4a14ea906c7abd3a6409","datavalue":{"value":{"entity-type":"item","numeric-id":1252259,"id":"Q1252259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404192$8A276D73-5F32-4B09-9EDA-73014E08D2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2f857ccee02feabe91147ceb9d198a20d274c26","datavalue":{"value":{"entity-type":"item","numeric-id":1911148,"id":"Q1911148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404192$1071C53A-F6E3-4114-96F6-C1551A210C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af5c6728721ed55c90f2d09b5c2b912a94f7a76d","datavalue":{"value":{"entity-type":"item","numeric-id":1847870,"id":"Q1847870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404192$24B60E48-621E-45F9-8DEC-810F2D311645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6da3430b649079d4a67ff9ea5effed6447ac8ef7","datavalue":{"value":{"entity-type":"item","numeric-id":5392124,"id":"Q5392124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404192$FD2FB14B-FDAA-4626-8FD1-E4DB9EB11308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf692b4c5e33d06b5023e7edf2b08b3ad0ff41f9","datavalue":{"value":{"entity-type":"item","numeric-id":2903280,"id":"Q2903280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404192$A7AA7EB4-28A3-4B37-80EF-9B64772CBF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"395835a5714094d360410630516ffc08e7e8be8f","datavalue":{"value":{"entity-type":"item","numeric-id":2551796,"id":"Q2551796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404192$720D634B-3B51-4CBC-A9E4-6029ED16A84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36798c58369adb589e24b132bc9e998749698cf7","datavalue":{"value":{"entity-type":"item","numeric-id":3624407,"id":"Q3624407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404192$6081A0B3-F171-4E3C-9DDF-9E4EAA8482A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57cb92b0dcc2516fd5abbb385c270b59a6ebd546","datavalue":{"value":"10.1016/J.JALGEBRA.2014.06.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q404192$701520FA-760C-4884-A687-03E5C4E2EE63","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"23f950141159a9912612170620545fcdc7b1a514","datavalue":{"value":"Following previous papers, the authors consider possible counterexamples to the validity of the following local-global principle for the divisibility by \\(p^n\\) of rational points of elliptic curves \\(\\mathcal E\\) defined over a number field \\(k\\): every \\(P \\in {\\mathcal E}(k)\\) which is divisible by \\(p^n\\) in \\({\\mathcal E}(k_v)\\) for all but finitely many places \\(v\\) of \\(k\\) is also divisible by \\(p^n\\) in \\({\\mathcal E}(k)\\).NEWLINENEWLINEThe minimal set for counterexamples to the local-global divisibility principle for elliptic curves over \\(k\\) is denoted by \\(S_k\\) and is defined as follows. A prime \\(p\\) belongs to \\(S_k\\) if and only if there exists an elliptic curve \\(E\\) defined over \\(k\\) and a positive integer \\(n\\) (both depending on \\(p\\)) such that the local-global principle for divisibility by \\(p^n\\) fails for \\(E\\) over \\(k\\).NEWLINENEWLINEAmong other results, the same authors [Bull. Lond. Math. Soc. 44, No. 4, 789--802 (2012; Zbl 1254.11056)] had previously refined a result by the reviewer and \\textit{U. Zannier} [C. R., Math., Acad. Sci. Paris 338, No. 1, 47--50 (2004; Zbl 1035.14007)] by showing that \\(S_{\\mathbb Q}\\subseteq \\{2,3,5,7\\}\\).NEWLINENEWLINEIn the present paper, they are able to improve further on their result, by showing that \\(S_{\\mathbb Q}\\subseteq \\{2,3\\}\\). Since it is known that \\(2\\in S_{\\mathbb Q}\\) by the result of Zanier and the reviewer [loc. cit.], this leaves the question open only for the prime \\(p=3\\).NEWLINENEWLINEThe result is a corollary of the following theorem.NEWLINENEWLINELet \\(p\\) be a prime number, and let \\({\\mathcal E}\\) be an elliptic curve defined over a number field \\(k\\) that does not contain the field \\({\\mathbb Q}(\\zeta_p + \\bar\\zeta_p)\\). Assume further that \\({\\mathcal E}\\) has a \\(k\\)-rational torsion point of exact order \\(p\\) and that at least one of the following conditions holds:NEWLINENEWLINE(1) \\(k({\\mathcal E}[p]) = k(\\zeta_p)\\);NEWLINENEWLINE(2) There does not exist any cyclic \\(k\\)-isogeny of degree \\(p^3\\) between two elliptic curves defined over \\(k\\) that are \\(k\\)-isogenous to \\({\\mathcal E}.\\)NEWLINENEWLINEThen the local-global principle for divisibility by \\(p^n\\) holds for \\({\\mathcal E}\\) over \\(k\\) and for all positive integers \\(n\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q404192$01CA8A80-1B7E-4A1E-BFC6-381BE870B482","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c92d338b551f7692c968a28fbaaaf2ce7a39bda8","datavalue":{"value":{"entity-type":"item","numeric-id":2903280,"id":"Q2903280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82b3716e6eea53566b1c21e649183e42f3c0f87c","datavalue":{"value":{"amount":"+0.8688164949417114","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":"Q404192$76A9492C-7DD9-4418-963A-89B086DC6E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cfe1504610f630edae078b520426f806461a7d1","datavalue":{"value":{"entity-type":"item","numeric-id":503707,"id":"Q503707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a4272e5b7bb09a5ef4ae631ba0e92932101932","datavalue":{"value":{"amount":"+0.8284807801246643","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":"Q404192$47D09201-287B-4F1E-92E5-AB99D5CA2C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8ec7daea7ad4024f354e4e63c3066dd60310190","datavalue":{"value":{"entity-type":"item","numeric-id":736710,"id":"Q736710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9686f05a4ca156e6cf6092f84dd39abe129e8713","datavalue":{"value":{"amount":"+0.821928858757019","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":"Q404192$6F7CA9B6-1DE4-45AD-80AC-64E646826571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92cb513171ca053f0bf91b6ac9c91d3ec9142419","datavalue":{"value":{"entity-type":"item","numeric-id":1663355,"id":"Q1663355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f24625250de22bc194d1cd873502fc0b0fc3659","datavalue":{"value":{"amount":"+0.815494954586029","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":"Q404192$7450D99F-3333-4CF5-9F5E-87614981F7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f903479138e9fc698487cb7c9e32bfcb1848f9e","datavalue":{"value":{"entity-type":"item","numeric-id":3429604,"id":"Q3429604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d87e02fbaab6b560fb3dec66ea9da500e1eaaf7","datavalue":{"value":{"amount":"+0.7971387505531311","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":"Q404192$A561D963-08D2-4220-83C3-FD6E396C8E84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the minimal set for counterexamples to the local-global principle","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_minimal_set_for_counterexamples_to_the_local-global_principle"}}}}}