{"entities":{"Q2474597":{"pageid":2485340,"ns":120,"title":"Item:Q2474597","lastrevid":50295416,"modified":"2026-01-13T18:50:53Z","type":"item","id":"Q2474597","labels":{"en":{"language":"en","value":"Periodicity of the division polynomials on an elliptic curve"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5243862"}},"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":"Q2474597$8BFE7BA8-D197-4871-957B-41D8F9444327","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80b2727b65d2fe73dec9a3296a58371c80ac01b5","datavalue":{"value":{"text":"Periodicity of the division polynomials on an elliptic curve","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2474597$09E39D25-48EC-4FD0-83D2-E0F565F4102C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"292f2388c471b6e8d740f7b540f6844160200f44","datavalue":{"value":"1140.11029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474597$1E07CE82-7452-48FB-9905-FEC2859ECBA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4fc3dd3e1d691f2df92ead96372380899b68a1a","datavalue":{"value":{"entity-type":"item","numeric-id":2474596,"id":"Q2474596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474597$4C048E54-E818-4004-AB87-5D515ADE5D25","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82759f7bd5d339c54aa2233fde0d7f5ffae8b2c0","datavalue":{"value":{"entity-type":"item","numeric-id":170810,"id":"Q170810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474597$28CA8D30-CF05-4F6E-9FFC-84B72C64D009","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf82d0ee1f43b6e127707e975562f6a0a8754bd6","datavalue":{"value":{"time":"+2008-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2474597$D45B3176-927F-40A4-90D8-59A0FA94F7E3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d07110890effd528b7a6330f7f0fa888262a4fd5","datavalue":{"value":"Let \\(E\\) be an elliptic curve defined over a finite field \\(\\mathbb F_{q}\\) of characteristic \\(p\\neq 2,3\\) and let \\(P=(x,y)\\in E(\\overline{\\mathbb F_{q}})\\). For \\(r\\geq 2\\), write \\(rP=(x_{r},y_{r})\\). Then \\(x_{r}\\) and \\(y_{r}\\) can be expressed in terms of so-called division polynomials \\(\\psi_{r}(x,y)\\). More precisely, setting \\(\\psi_{r}(x,y)=\\psi_{r}\\) for brevity, we have   \\[ \\begin{aligned} x_{r} &= x-\\frac{\\psi_{r-1}\\psi_{r+1}}{\\psi_{r}^{2}}\\\\  y_{r} &= \\frac{\\psi_{r+2}\\psi_{r-1}^{2}-\\psi_{r-2}\\psi_{r+1} ^{2}}{4y\\psi_{r}^{3}}. \\end{aligned}  \\]   The first few \\(\\psi_{r}(x,y)\\) are \\(0,1,2y,3x^{4}+6ax^{2}+12bx-a^{2},\\dots\\). It is shown in this paper that \\(rP=0\\) exacly when \\(\\psi_{r}(x,y)\\equiv 0\\pmod p\\). The main theorem contains the following periodicity statement. Assume that \\(P\\) has exact order \\(r\\geq 3\\). Then there exists a \\(w\\in\\overline{\\mathbb F_{q}}\\) (depending on \\(P\\)) such that, for every \\(k,n\\in\\mathbb Z\\),   \\[  \\psi_{rk+n}(x,y)= (-1)^{k^{2}}w^{k(2n+kr)/\\varepsilon}\\psi_{n}(x,y),  \\]   where \\(\\varepsilon=1\\) or 2 according as \\(r\\) is odd or even. The main theorem also covers the case \\(r=2\\). The following is a corollary: if \\(P\\) has exact order \\(r\\geq 2\\), then the sequence \\((\\psi_{n}(P))_{n\\in\\mathbb N}\\) is periodic with period dividing \\(rt\\), where \\(t\\mid q-1\\) if \\(r\\geq 3\\) and \\(t\\mid 2q-2\\) if \\(r=2\\). A table of examples is given. It contains the following example: if \\(E:y^{2}=x^{3}+x+1\\) over \\(\\mathbb F_{23}\\) with \\(P=(18,20)\\) (so \\(r=28\\)), then the period of the above sequence is \\(616\\). The author works only within the theory of finite fields, without ever passing to characteristic zero.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474597$FF9C07FF-1DF0-49D2-A6EF-5D0E8B127FF2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7045be95ec2d7ac78a15fe3b43695184409f3dd9","datavalue":{"value":{"entity-type":"item","numeric-id":375877,"id":"Q375877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474597$CDE9F5C9-16C0-4E57-9EB8-4F46CA6364A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"813dc6f318ab6e0f1a3cffe133369a728249172c","datavalue":{"value":"11G07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474597$5F6398F2-8396-40E2-9304-66A9F868C84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2ccf6cf9514426243b160a3a06e070c16a64dbff","datavalue":{"value":"11G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474597$0592D574-FDA2-4596-B9A5-7DD3C86DDE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"db2b8853a52c7f02af86453b6ee74c018fc3284f","datavalue":{"value":"14H25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474597$3A41454E-2A56-43F9-B097-B24D3745F5E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dde1f79d4d2ce6140486f54058c1a254b67bff31","datavalue":{"value":"5243862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474597$88792AD4-B3DF-434F-A5BD-CC719268F573","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ec8e1e47431f0a513ad71e56dafbe7e95c925dd","datavalue":{"value":"Elliptic curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474597$56142810-B21A-40C3-9F2A-90034713F4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac07c7d6c5cdc2dbc4590f3ecbac0ebb59196bea","datavalue":{"value":"finite fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474597$02DB0A07-1CB1-409A-842B-F5FBD58D7DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b7220fdfca49282078e8d5196ee3f192b4e194a","datavalue":{"value":"torsion points","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474597$DACC5F28-2569-4753-BC5A-E1C794AE18A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a8a0c7d58392d6dae769ab2415a62746528d7fb","datavalue":{"value":"division polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474597$BDD68067-C308-4D1A-B3CD-E46AAEA5AC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a64fc47d6b4374dda5b80285e4867d8288957c1","datavalue":{"value":"periodicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474597$3771176F-65F2-464D-9822-4AB7D20F7895","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":"Q2474597$3F7BA083-30BE-4952-B508-7B721C9D78AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fea08478e0a7cf040e0191acd6e21be2dfcc679a","datavalue":{"value":"https://doi.org/10.4310/mrl.2007.v14.n6.a1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2474597$E88DE897-1E37-4825-B082-F1B236D533D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f42cdb1a54c8f3d8102b5ff4e3f081d3eee01eea","datavalue":{"value":"W156440153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474597$0E2AE185-1264-4B0C-B5F0-3286622DE2EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25ad4569c888a4c45607e8cacf8654e1e57e682c","datavalue":{"value":"10.4310/MRL.2007.V14.N6.A1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474597$8F00D739-3DD8-4065-AA35-BC4714539138","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fd63ac7e78af1dd2b36d08f33d0a712e37ea97c","datavalue":{"value":{"entity-type":"item","numeric-id":5376583,"id":"Q5376583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"070346b84b748f3ee7ac532285a3c1cbec44654c","datavalue":{"value":{"amount":"+0.8584169745445251","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":"Q2474597$E657E945-0587-4F39-A894-44EF3D028B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7efafe9711da03b383362a8b1d79b2196739547","datavalue":{"value":{"entity-type":"item","numeric-id":1779179,"id":"Q1779179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fa9d323995feb184dbb8fff200b0da516d99899","datavalue":{"value":{"amount":"+0.8477209806442261","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":"Q2474597$5C8E0AC1-7C0E-481F-891F-33606D57E5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c37f247dd3d5e58bebe0ffdaf95679b7cca8a5","datavalue":{"value":{"entity-type":"item","numeric-id":1357046,"id":"Q1357046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b65ac0addd5ea8df437e9d067ad42e1e9d34f8b","datavalue":{"value":{"amount":"+0.8250613808631897","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":"Q2474597$8D2406FF-257B-40DF-AB5A-BD43FE866BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c3d17231b756e338e3dfeb1d5969a471d2ddd08","datavalue":{"value":{"entity-type":"item","numeric-id":3143559,"id":"Q3143559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9017a298a935baf5e11c0abbee6e79cd929ac134","datavalue":{"value":{"amount":"+0.8105475306510925","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":"Q2474597$C577B78B-5648-48BC-A01C-423A8EA5E5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9668c73174a009679352db4045727860dea6839","datavalue":{"value":{"entity-type":"item","numeric-id":4317675,"id":"Q4317675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9b17ab6500ed69d2caea6df802b2a4823b7e423","datavalue":{"value":{"amount":"+0.8041921257972717","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":"Q2474597$6DE15B15-E0AA-401B-A678-5123D1236F12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2474597","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2474597"}}}}}