{"entities":{"Q1591982":{"pageid":1602722,"ns":120,"title":"Item:Q1591982","lastrevid":47557141,"modified":"2026-01-02T01:58:21Z","type":"item","id":"Q1591982","labels":{"en":{"language":"en","value":"The canonical height of an algebraic point on an elliptic curve"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1550782"}},"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":"Q1591982$52D61D48-FC13-4DF4-912D-2FE5CFF70B1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3534038e64b44b35fe67438effcfb8486834c76f","datavalue":{"value":{"text":"The canonical height of an algebraic point on an elliptic curve","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1591982$7707FD85-EEF4-49D2-A1C0-3FEF5E6F8989","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0eea4f938b06b722b599c468eaee7e82fd40b41f","datavalue":{"value":"0973.11062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591982$F421A509-F179-407B-B5AB-374ED1860A24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31968b957e36bb3c70b2463b7d4edb057a8dc987","datavalue":{"value":{"entity-type":"item","numeric-id":241586,"id":"Q241586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591982$69E181D4-E946-4690-B3E5-3D4C747D8467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05df45f3ccd5cba7c71956fcd5319f51724a8b24","datavalue":{"value":{"entity-type":"item","numeric-id":241587,"id":"Q241587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591982$2E29ACD6-840C-4495-BD01-C35AFE8E8CCB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"67c80c0302a3afef383579ecf23bcd6250b145c1","datavalue":{"value":{"entity-type":"item","numeric-id":168484,"id":"Q168484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591982$7EB9E0F9-658A-49C6-A38C-C78F586453DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ef592fcbe568fe20d1e22f6164adf86fbb75290","datavalue":{"value":{"time":"+2001-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1591982$0FDEBBF7-ACA2-4270-A7AB-9C3818B00588","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c0e484e77db0cec5bc24acaa5406912ec5fa897","datavalue":{"value":"https://eudml.org/doc/121371","type":"string"},"datatype":"url"},"type":"statement","id":"Q1591982$F30C5E8B-5F9B-4CE4-A8D5-0C61E4FF1DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab9528d61517745476627e5fb7379fb23fbc437a","datavalue":{"value":"http://www.emis.de/journals/NYJM/j/2000/6-16nf.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q1591982$98EC239B-59F7-4512-82E3-B7E63DA6B4F5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c49a807da8b155d2e6739fd6db5bac305a0ae4d5","datavalue":{"value":"Let \\(K\\) be an algebraic number field of degree \\(d\\) with ring of integers \\(O_K\\). Let \\(E\\) be an elliptic curve defined over \\(K\\) given by an equation \\(y^2+a_1xy+a_3y=x^3+a_2x^2+a_4x+a_6\\) with \\(a_1,\\ldots,a_6\\in K\\). Let \\(\\Delta_E\\) denote the discriminant of \\(E\\). Denote by \\(\\widehat{h}\\) the global canonical height of \\(E\\). It is well-known that \\(\\widehat{h}\\) is a positive definite quadratic form on \\(E(K)/E(K)_{\\text{tors}}\\). \\textit{J. H. Silverman} [Math. Comput. 51, 339--358 (1988; Zbl 0656.14016)] gave an algorithm which for a given point \\(Q\\in E(K)\\) computes an approximation to \\(\\widehat{h}(Q)\\). His algorithm is based on the decomposition of \\(\\widehat{h}\\) into local canonical heights. Silverman's method gives a very accurate approximation but it has the disadvantage that it requires the factorization of \\(\\Delta_E\\) into prime ideal factors. This may considerably slow down the algorithm if \\(\\Delta_E\\) has large norm. In another paper, \\textit{J. H. Silverman} [Math. Comput. 66, 787--805 (1997; Zbl 0898.11021)] published a modification of his algorithm which in many cases, (e.g., if \\(\\Delta_E\\) is square-free) but not yet in all cases eliminates the necessity to factor \\(\\Delta_E\\).     In the present paper the authors suggest another method to compute an approximation of \\(\\widehat{h}(Q)\\) which completely avoids the factorization of \\(\\Delta_E\\). Let \\(\\overline{K}\\) denote the algebraic closure of \\(K\\). Using a suitable recurrence relation one may define a sequence of so-called division polynomials \\(\\psi_n\\in O_K[x,y]\\) with the property that the zeros of \\(\\psi_n\\) lying on \\(E(\\overline{K})\\) are precisely the points in \\(E(\\overline{K})\\) of order dividing \\(n\\). Let \\(T\\) be the set consisting of the infinite prime on \\(\\mathbb{Q}\\) and of the prime numbers dividing \\(N_{K/ \\mathbb Q}(\\Delta_E)\\). For \\(Q=(x_Q,y_Q)\\in E(K)\\), put \\(F_n(Q):= \\prod_{p\\in T} |N_{K/ \\mathbb{Q}}(\\psi_n(x_Q,y_Q))|_p\\). Then the authors show that \\(\\widehat{h}(Q)=\\lim_{n\\to\\infty}{1\\over n^2}\\log F_n(Q)\\). Their proof uses estimates by S. David on linear forms in elliptic logarithms. The authors argue that in order to compute \\(F_n(Q)\\) no factorization of \\(\\Delta_E\\) is required. Further they argue that for \\(n\\) not too large \\(F_n(Q)\\) gives an approximation to \\(\\widehat{h}(Q)\\) which is not as good as Silverman's, but sufficiently strong for many applications. In the last section of their paper they give some numerical examples.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591982$44690ADD-A080-4E97-9CEF-7D2AB6E972F6","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":"Q1591982$BCCFE6BC-6C13-4A41-A19F-3244DB9E1A04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"813dc6f318ab6e0f1a3cffe133369a728249172c","datavalue":{"value":"11G07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591982$544A3B30-4352-48AF-90C4-18832BE749B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2883069e40717cc0ba9adc793738be74652f098","datavalue":{"value":"11G50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591982$C0474CDD-0623-427C-AD9C-88379E7F57F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4bbbe0642df0b73e2dd0e017b4af44ecd5926ca","datavalue":{"value":"1550782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591982$65F6A16B-AD58-46FD-81C8-D616DE03872C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2e59a0a12d46588489e579730c0f6a9dbb7f8f6","datavalue":{"value":"canonical heights","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591982$C4978628-C51A-4AEA-AB94-969C41FD41EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c63a72e32af0633e55a0d98894aaa090473d65b","datavalue":{"value":"elliptic divisibility sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591982$9A203DF1-F846-444C-AF36-648EB3BDA7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da1fcf8634dffbef5ab53f82304a07bf90038678","datavalue":{"value":"elliptic curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591982$9F459D83-D3F3-412D-AF86-FA128465191D","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":"Q1591982$DF87E605-4332-48B2-85C2-692F925B6AB0","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"fbdd6ed053038bc4c298c4eb5922654ab9e6c4c5","datavalue":{"value":"bafkreievwbujuvyvzaqpgaerq6j5uzfw3owqpubczsnd5croujhrs4auk4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591982$F6AD00EE-FED4-49DF-BB43-BF8017B12BF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b6b3c14914fe6a5bbcc3bd22e6fb20566980a07","datavalue":{"value":{"entity-type":"item","numeric-id":2927890,"id":"Q2927890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc8cfbac62582310cfe65dc649345f38801f22c2","datavalue":{"value":{"amount":"+0.8961326479911804","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":"Q1591982$29F33B53-B971-465B-9183-4801D2FCEA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80aad1775cbf0533dfc892987eddac39e3db8a47","datavalue":{"value":{"entity-type":"item","numeric-id":3803254,"id":"Q3803254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c6f8df6608151015d3c800212190f55d3c6baba","datavalue":{"value":{"amount":"+0.8947944045066833","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":"Q1591982$945515E2-0071-4B2F-B036-05ACE478980C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9515c7bbd847a5eab803e93e4e7138f7509be15b","datavalue":{"value":{"entity-type":"item","numeric-id":3127334,"id":"Q3127334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d55d63981634d36afe29a3afb45785a81c553b0f","datavalue":{"value":{"amount":"+0.8877580761909485","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":"Q1591982$61F4D7D0-14A3-40CE-8C67-3101656C8A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ade462a13ced83fb9242b6b63fc6f5a0078c2631","datavalue":{"value":{"entity-type":"item","numeric-id":2971024,"id":"Q2971024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0a2e3aa6b7532c0d8d2999e442e11695bac52e1","datavalue":{"value":{"amount":"+0.8864331841468811","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":"Q1591982$25A6BCD3-6DAB-4E93-97FC-219510668918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0424cf520e3d983c4e9412679f697e1ff99b5af8","datavalue":{"value":{"entity-type":"item","numeric-id":3977593,"id":"Q3977593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c17fe2ff81960815d071babc0f652c48224d422","datavalue":{"value":{"amount":"+0.8781707286834717","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":"Q1591982$03E98258-5024-4E32-B8F9-69B094607CC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1591982","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1591982"}}}}}