{"entities":{"Q1937307":{"pageid":1948049,"ns":120,"title":"Item:Q1937307","lastrevid":82217624,"modified":"2026-05-06T20:22:54Z","type":"item","id":"Q1937307","labels":{"en":{"language":"en","value":"Generators for the elliptic curve \\(y^2=x^3-nx\\) of rank at least three"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6139694"}},"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":"Q1937307$8F183E4A-57E1-4205-AF4C-85F59C969D3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7478adced210b4a4b7ea101daa17592778abf162","datavalue":{"value":{"text":"Generators for the elliptic curve \\(y^2=x^3-nx\\) of rank at least three","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1937307$E7AD07BD-DA13-4EDB-9DF4-25D4C89C3349","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"876d2f9ec1d1697f3a5e2172dc7c7f9f6fb7da30","datavalue":{"value":"1295.11060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1937307$A4984579-13AE-440A-9DA1-B1024E82BD25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49d1d2a314458c0bc6f18f1aa0a7c6695a97f045","datavalue":{"value":{"entity-type":"item","numeric-id":466833,"id":"Q466833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937307$1A704396-48A1-4598-8692-952147D598C3","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":"Q1937307$F35E0D2A-C45B-45B7-A540-2A53DE8166C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ca3bfe5cd95186174c3d2c7f7508105e7e4c0ae","datavalue":{"value":{"time":"+2013-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1937307$8FEA3C0C-8988-40D2-80D3-BE344E27C84C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e5516bab3fbae50ec61b6d1d130105d164dc56aa","datavalue":{"value":"Let \\(n\\) be a positive integer and consider the curve \\(E_n: y^2=x^3-nx\\). It is well known that \\(E_n(\\mathbb{Q})_{\\mathrm{tors}}\\) (the rational torsion points of \\(E_n\\,\\)) is isomorphic to \\(\\mathbb{Z}/2\\mathbb{Z}\\) or to \\((\\mathbb{Z}/2\\mathbb{Z})^2\\,\\), and this paper provides some generators for the torsion free part of \\(E_n(\\mathbb{Q})\\) for an infinite family of these curves. Let \\(n=st\\) with positive non square integers \\(s\\) and \\(t\\) (\\(n\\) non square and 4-th power free as well) and assume there exist positive integers \\(\\alpha\\), \\(\\beta\\), \\(\\gamma\\), an odd \\(m_1\\) and an even \\(m_2\\) such that  \\[  t-s=\\alpha^2\\;\\;,\\;\\;m_1^4s-t=\\beta^2\\;\\;\\text{and}\\;\\;t-m_2^4s=\\varepsilon \\gamma^2  \\]  (with \\(\\varepsilon = \\pm 1\\)). The main result of the paper shows that the previous conditions describe infinite families of elliptic curves (for example for \\(\\varepsilon=1\\) and \\((m_1,m_2)=(3,2)\\) or for \\(\\varepsilon=-1\\) and \\((m_1,m_2)=(5,2)\\,\\)) and that the points  \\[  G_1=(-s,s\\alpha)\\;\\;,\\;\\;G_2=(m_1^2s,m_1s\\beta)\\;\\;{\\text{and}}\\;\\;G_3=(-\\varepsilon m_2^2s,m_2s\\gamma)  \\]  are part of a basis for \\(E_n(\\mathbb{Q})\\) (at least for very large \\(n \\geq \\max\\{m_1,m_2\\}^{60}\\,\\)).  After checking that the given points are independent modulo \\(E_n(\\mathbb{Q})_{\\mathrm{tors}}\\,\\), the author uses computations of heights of linear combinations of the \\(G_i\\) to show that no such combination is in \\(3E_n(\\mathbb{Q})\\) if \\(n\\) is large enough. Then a result of \\textit{S. Siksek} [Rocky Mt. J. Math. 25, No. 4, 1501--1538 (1995; Zbl 0852.11028)], bounding the index \\(\\nu\\) of \\(\\mathbb{Z}G_1+\\mathbb{Z}G_2+\\mathbb{Z}G_3\\) in a rank 3 lattice \\(\\mathbb{Z}P_1+\\mathbb{Z}P_2+\\mathbb{Z}P_3\\,\\), yields \\(\\nu<5\\) and then the theorem. For small \\(n\\) and the triples \\((\\varepsilon,m_1,m_2)\\in \\{(1,3,2),(-1,5,2)\\}\\), Siksek's theorem only provides \\(\\nu<11\\) and the remaining part of the proof (namely checking that no linear combination of the \\(G_i\\) is in \\(\\mu E(\\mathbb{Q})\\) for \\(5\\leq \\mu \\leq 10\\)) is carried out via computations using MAGMA.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1937307$38D09516-1DB5-4117-945C-BEAFC12FC38D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1dd4ab08b3133e71ac8deae0dd693681dd22a851","datavalue":{"value":{"entity-type":"item","numeric-id":462697,"id":"Q462697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937307$B9F2AF70-1752-4F90-9668-CAE33BD73FC1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1b466ca590039ea305e8cc047527b117e828a753","datavalue":{"value":"11G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1937307$5743AAAA-6BB1-4A16-A892-5397A6DF0CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7d2c1d6303ff43a208c78ddab6e0cc8993208fc","datavalue":{"value":"14G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1937307$C592E872-9FCF-4FB5-91FE-49B03BD1E3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2883069e40717cc0ba9adc793738be74652f098","datavalue":{"value":"11G50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1937307$A1361F19-0E4D-43A0-A24A-ADB14EEE4453","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2d03d7a4ac07d4429b6c33c3eba8d9d838b0854","datavalue":{"value":"6139694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1937307$B441AAAA-164B-4F1A-95FC-B3E635F12C42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da1fcf8634dffbef5ab53f82304a07bf90038678","datavalue":{"value":"elliptic curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q1937307$09053A4F-987E-487D-9CCE-781538BED60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"304901f1ad68c32839d81525dd637778fc87b2c5","datavalue":{"value":"rational points","type":"string"},"datatype":"string"},"type":"statement","id":"Q1937307$4015DF56-B255-4CA8-A89A-41FB05D584C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2e59a0a12d46588489e579730c0f6a9dbb7f8f6","datavalue":{"value":"canonical heights","type":"string"},"datatype":"string"},"type":"statement","id":"Q1937307$08A13BF8-1BF4-403E-A2C2-04250515C2CB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4fe03e5b78d9974ebdfc0233dbd377f30d5d075f","datavalue":{"value":{"entity-type":"item","numeric-id":13295,"id":"Q13295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937307$D259DB2B-C2BD-4F27-8A15-96EB9BEB7B5A","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":"Q1937307$05D31F5B-2522-45DB-BB5A-48E18E600D49","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"595019c85d7c92641a9f1d3ff166af433aaa8379","datavalue":{"value":"https://doi.org/10.1016/j.jnt.2012.10.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q1937307$A259246A-A454-4768-81AA-FB6A54C6E875","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4226a22826e544671f96ca64ff80a708dc2a9e83","datavalue":{"value":"W2046685481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1937307$D51BC6DE-C20B-4BD5-BE7E-216A50F7296F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b7d03acfe694d55b5bfb81a8721b654f11fafd6","datavalue":{"value":{"entity-type":"item","numeric-id":3139838,"id":"Q3139838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937307$23C00E19-FED5-4A3A-9BE3-5BD2A21DA8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b411775f1bd46648235d483c98346bf4c0266c17","datavalue":{"value":{"entity-type":"item","numeric-id":2642756,"id":"Q2642756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937307$73B2D5DB-D891-4BF4-AA63-FB6ED199E802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b58b51e0b1db482c4a208566c20d6a802e9ff426","datavalue":{"value":{"entity-type":"item","numeric-id":719159,"id":"Q719159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937307$C83612F8-4EC6-48AA-AF57-77FE3E33E55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"194b37a105726dfcbfc6513a61cf896a26fbeae3","datavalue":{"value":{"entity-type":"item","numeric-id":5203102,"id":"Q5203102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937307$87271D73-AC60-44CE-8315-9316ABBF1440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f224143bcb50a74f56cfa6d19283b56fea1ead5","datavalue":{"value":{"entity-type":"item","numeric-id":4023805,"id":"Q4023805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937307$AA3621F8-94B1-4413-95DB-17E641D9E696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4023c9752b2401c746e6a8143e5b921157110a6","datavalue":{"value":{"entity-type":"item","numeric-id":3414181,"id":"Q3414181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937307$302FC940-4B3A-475D-939C-7E415C32AB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3cf33966ecc0d0a8006a7a54c6c16bcdb32615","datavalue":{"value":{"entity-type":"item","numeric-id":1915736,"id":"Q1915736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937307$737ADE12-9B07-4FF1-8743-266103BF62C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb380c40c10a7d9d6dec3becc8293ee7708df6a0","datavalue":{"value":{"entity-type":"item","numeric-id":3710637,"id":"Q3710637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937307$FDE297E3-C938-4CBC-82F8-51D630385D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0a0fa7b9f8f075639aa852178f59f0b1ba571a","datavalue":{"value":{"entity-type":"item","numeric-id":3803254,"id":"Q3803254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937307$3E7E7FAF-C526-41E2-9AB5-6DA1270386BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bc44a322a2d5df21729161dbd71d8ae460f4531","datavalue":{"value":{"entity-type":"item","numeric-id":4004187,"id":"Q4004187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937307$CBCF1A4A-C297-46E2-B0C5-54CFD967226E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b3e8309fdb83a5114077c880740bbb5e92a2b9","datavalue":{"value":{"entity-type":"item","numeric-id":3499335,"id":"Q3499335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937307$92BD4486-AEB3-43F1-B809-2273944B1A35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ca8f82c6fb70b017166801d6601b179272f97b9","datavalue":{"value":"10.1016/J.JNT.2012.10.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1937307$70ADE82F-9F2E-4097-ACDC-C4309AB7F2B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25401da2077da769642dbf733b1aae2d0d0b7a53","datavalue":{"value":{"entity-type":"item","numeric-id":719159,"id":"Q719159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"304ab28fb8b23b51749ffbb2df4aa892d924193a","datavalue":{"value":{"amount":"+0.9197853207588196","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":"Q1937307$2829ACFA-F3B8-438F-822A-599EA68F84F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cba71a92180bbd274f7db529add586f23cb424ac","datavalue":{"value":{"entity-type":"item","numeric-id":4916811,"id":"Q4916811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"499b802c921b6f8798531ef360b4e8e7006f513a","datavalue":{"value":{"amount":"+0.8971179127693176","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":"Q1937307$C08B6079-534C-410C-82D2-0D72522FB0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a0cc5b6bcd9df99899e354c17d506bb3d904a4c","datavalue":{"value":{"entity-type":"item","numeric-id":3584068,"id":"Q3584068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cfcc43f81fece637dc35540bc1d2232bba372b7","datavalue":{"value":{"amount":"+0.8727582097053528","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":"Q1937307$946D36B5-5077-427F-A211-0D6E7FD8839C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeed3707455f92ba7977145df9a007f4281d82cb","datavalue":{"value":{"entity-type":"item","numeric-id":2851132,"id":"Q2851132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"935371521e9d40e16d336bf855876c6e5cadcba5","datavalue":{"value":{"amount":"+0.857072114944458","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":"Q1937307$3CADF6C8-1245-41D9-BA98-15DAAE5CB385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f7487f1fc9e154173b3b022c504a9f1adb15c0","datavalue":{"value":{"entity-type":"item","numeric-id":3137452,"id":"Q3137452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a868812ab1557e0cca8996fd3540935ab064c97","datavalue":{"value":{"amount":"+0.8411101698875427","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":"Q1937307$8A064BF1-8A09-48A4-9FC8-23A774988CCB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generators for the elliptic curve \\(y^2=x^3-nx\\) of rank at least three","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generators_for_the_elliptic_curve_%5C(y%5E2%3Dx%5E3-nx%5C)_of_rank_at_least_three"}}}}}