{"entities":{"Q947500":{"pageid":949348,"ns":120,"title":"Item:Q947500","lastrevid":65590215,"modified":"2026-04-12T03:38:18Z","type":"item","id":"Q947500","labels":{"en":{"language":"en","value":"Finding rational points on elliptic curves using 6-descent and 12-descent"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5349034"}},"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":"Q947500$05CA15B4-D134-416D-81ED-4B8A71AEEA9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c511a108de0f4636dfde498797893b6cf98fa83","datavalue":{"value":{"text":"Finding rational points on elliptic curves using 6-descent and 12-descent","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q947500$0D86C9FD-DF50-43D8-8CDD-1A7B9BA6E7E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb877b0cb5a4832bf6d317e2687d921483d9757f","datavalue":{"value":"1149.14025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947500$A20934BC-AF98-450B-8915-224CE9150319","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":"Q947500$D8E884E5-DAD8-4DFD-913B-3844DFE15FFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8a78d870f12b702e6d77d4fd52313d3f544f07c","datavalue":{"value":{"time":"+2008-10-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":"Q947500$8E4F120E-D7B9-4C75-BC63-618084FA4A78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a72c991fdec49ad949279f3f08ae396da0c543d0","datavalue":{"value":"https://arxiv.org/abs/0711.3774","type":"string"},"datatype":"url"},"type":"statement","id":"Q947500$A08D3DBA-14B1-4537-8329-3B039308DC14","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"369ed07240ba733620169344aef452c2445fd73f","datavalue":{"value":"Let \\(E\\) be an elliptic curve over \\(\\mathbb{Q}\\) and let \\(S^{(n)}(E/\\mathbb{Q})\\) be its \\(n\\)-th Selmer group. An \\(n\\)-descent procedure provides \\(n\\)-covering maps \\(\\pi_{\\alpha,n}: C_{\\alpha,n}\\rightarrow E\\) (where, usually, the index \\(\\alpha\\) varies in \\(S^{(n)}(E/\\mathbb{Q})\\,\\)) and, as is well known, can be useful to find elements in the Mordell-Weil and Tate-Shafarevich groups of \\(E\\). The paper aims to combine \\(n\\) and \\(m\\)-descent to get an \\(nm\\)-descent data and is successful in particular when \\(m=n+1\\) (but there are also more general results for \\(n\\equiv \\pm a^2\\pmod m\\) and \\(m\\equiv \\pm b^2\\pmod n\\)). For the proof of the main theorem the author associates to an \\(n\\)-descent data \\(C\\rightarrow \\mathbb{P}^{n-1}\\) (a Brauer-Severi diagram, [see \\textit{J. E. Cremona, T. A. Fisher, C. O'Neil, D. Simon, M. Stoll}, J. Reine Angew. Math. 615, 121--155 (2008; Zbl 1242.11039)]) a morphism of group schemes \\(\\chi_n: E[n]\\rightarrow PGL_n\\,\\), then defines the Heisenberg group \\(H_n\\) as the counterimage of \\(\\chi_n(E[n])\\) in \\(SL_n\\,\\). Such groups behave well for coprime integers \\(n\\) and \\(m\\) (i.e. \\(H_n\\times H_m\\simeq H_{mn}\\,\\)) and are the fundamental ingredient for the definition of \\(mn\\)-descent data.   Explicit \\(n\\)-descent computations are available only for small values of \\(n\\). Some results on invariant theory of binary quartics and ternary cubics give a more computational approach to the problem and are used for the couples \\((n,m)= (2,3)\\) and \\((3,4)\\). These provide explicit formulas for 6 and 12-descent. In the final section the author gives a few numerical examples for some curves included in the database avaliable in \\textit{W. A. Stein, M. Watkins} [Lect. Notes Comput. Sci. 2369, 267--275 (2002; Zbl 1058.11036)]. The descent described here succedes in finding a second generator for the Mordell-Weil group of each of the 35 curves of this database having rank at least 2.","type":"string"},"datatype":"string"},"type":"statement","id":"Q947500$0AD0703D-0233-4B67-B3D4-9F6F2FCB87CA","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":"Q947500$E2FA4F7C-0240-4976-8861-9E82F66ED875","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1b466ca590039ea305e8cc047527b117e828a753","datavalue":{"value":"11G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947500$999B58B9-FA61-413F-AEC1-1FBB9B89FE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7d2c1d6303ff43a208c78ddab6e0cc8993208fc","datavalue":{"value":"14G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947500$775C1141-FAD4-4A17-91B1-545811CC609A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fc7bb7ef551f5f5ed2657e3e3a0489fe86a8f2b","datavalue":{"value":"5349034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947500$D11CF463-B59E-4911-92A3-B06D9D21A515","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da1fcf8634dffbef5ab53f82304a07bf90038678","datavalue":{"value":"elliptic curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q947500$4F48A703-670C-41F0-A159-18DD540C4B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89ca0dd52a328cd54021ac6ca9c6ee1c44d24777","datavalue":{"value":"computational number theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q947500$30361726-4342-435B-AC02-427B8B42F00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dcd453fe6b178991dc2aee63963d3194adc3c5d","datavalue":{"value":"invariant theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q947500$CA520DEE-23CC-4B4A-B627-53CF56875F81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47ba1b45ac8b2cbd03830dec2b9a00148af6a435","datavalue":{"value":{"entity-type":"item","numeric-id":600788,"id":"Q600788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947500$1B6BA284-C09C-475A-8800-6BFC2E3D324D","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":"Q947500$3422CCE3-813E-4077-9901-6702B38D6774","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":"Q947500$5D5D6BD9-570E-426B-8178-8BDEC1CA04EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0546d845ea8c85437d8c09838001fce93cdd574","datavalue":{"value":"W2963478770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947500$AD15BE5D-8A04-4FC5-AC30-7AFF264C9015","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd346d6b648983a5a9685065674f5321d1585c43","datavalue":{"value":{"entity-type":"item","numeric-id":5950942,"id":"Q5950942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947500$1F84FA29-6F68-4FF4-A751-B74F67F6E3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9501bc6bac56e92f25e494486c40b90845237e0","datavalue":{"value":{"entity-type":"item","numeric-id":5729364,"id":"Q5729364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947500$2564B41B-E4A5-4832-B5A8-459F62A590C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e0569dbfa475d2ff8b5e88cf0c00c9caede911f","datavalue":{"value":{"entity-type":"item","numeric-id":4002222,"id":"Q4002222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947500$31C3B10C-C86B-41DF-BEE1-F69BA4CF293F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"830e19f29277528e4ae422a7314213a80deae445","datavalue":{"value":{"entity-type":"item","numeric-id":4252658,"id":"Q4252658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947500$A2372A01-6530-4049-9876-5F94196F8F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3662bb1a53b47e46c20b7713a8ef6c1c7e244c53","datavalue":{"value":{"entity-type":"item","numeric-id":5459235,"id":"Q5459235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947500$20541B9B-2229-4750-BA23-71813E6C381D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbb187cba59db0e14cb1464448f3c8b23bd817b2","datavalue":{"value":{"entity-type":"item","numeric-id":600789,"id":"Q600789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947500$CCF79769-BB62-4BF5-B8ED-B138B8823958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"253a8730d55c928b3674e204fb8ddad7d162e77c","datavalue":{"value":{"entity-type":"item","numeric-id":817726,"id":"Q817726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947500$75381F9B-BBE3-44B9-B768-B046925D2640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2156f1d6b7896834cdd86de365d8d773230aaf3","datavalue":{"value":{"entity-type":"item","numeric-id":4827603,"id":"Q4827603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947500$564E62E4-22FE-4F8A-9FEB-277AEB212E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad89551230af14e5ee1e705170ef926f9fafabd2","datavalue":{"value":{"entity-type":"item","numeric-id":5514658,"id":"Q5514658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947500$C17B6380-6605-4DD3-A9D6-6F6241B74E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7341ec5adb1b2dc33d1eddca59ef545eea6c4c83","datavalue":{"value":{"entity-type":"item","numeric-id":2739434,"id":"Q2739434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947500$584D68E0-9362-4BDA-9C26-1D1A65AA101E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee40d6fdaad352b6d8b5f519548f66d777fdbdd","datavalue":{"value":{"entity-type":"item","numeric-id":3535600,"id":"Q3535600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947500$ED2CD626-B26A-4C1F-A3EA-2968054B2C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f629c180f6436ab6ea9a75b06b545548804bab","datavalue":{"value":{"entity-type":"item","numeric-id":4143433,"id":"Q4143433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947500$0C382165-61D5-4E3B-BC67-CC004A167C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da2fcfc49e1c3bc6d6e856a7f01dbba4a359b0a7","datavalue":{"value":{"entity-type":"item","numeric-id":4486426,"id":"Q4486426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947500$4EAB51DE-48B2-4471-AAD9-FEB0088748BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca23dc76c0cccc75b5af84a581ef6de183be16b7","datavalue":{"value":{"entity-type":"item","numeric-id":3737551,"id":"Q3737551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947500$44AED60C-5A35-4823-916E-191B5F8605CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a7ab8cf71b312732709217380b92b7bfac31ea","datavalue":{"value":{"entity-type":"item","numeric-id":2367557,"id":"Q2367557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947500$EA148C23-BE75-4C2C-879D-7CE487247B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd0d318899f6d495f4481731f0306e3c8c43504b","datavalue":{"value":{"entity-type":"item","numeric-id":1369784,"id":"Q1369784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947500$235D19A0-1960-4A77-AC6A-7B2224B298D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc7e29b706f24f6b06d2e6ca725b1fb0e3242607","datavalue":{"value":{"entity-type":"item","numeric-id":5595000,"id":"Q5595000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947500$9DE6D4AE-447E-45D4-BF8D-8D4C38E466D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fba39a3937e8f8a8aa4d21e4cf345b04bcbdb5","datavalue":{"value":{"entity-type":"item","numeric-id":701118,"id":"Q701118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947500$D0635E9B-DC42-44B9-95DB-0FB1255B6F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1853a882c726e1dabe230d67f28aebb8b154b2ed","datavalue":{"value":{"entity-type":"item","numeric-id":4737491,"id":"Q4737491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947500$8C0C31A9-4E31-4B28-B383-291D7410089E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b05d30d6204285c5103f6c659a1b80bf8b6531","datavalue":{"value":{"entity-type":"item","numeric-id":2651872,"id":"Q2651872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947500$B3EA459C-C049-4A69-9118-A27382DDCCBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"327e36733059470394422e7d38cecd19e04af98b","datavalue":{"value":{"entity-type":"item","numeric-id":1211087,"id":"Q1211087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947500$561D5E50-31E9-47DA-B043-9D86F195BB0A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"028478076a0815efae83c6794d23d17607ebe161","datavalue":{"value":"10.1016/J.JALGEBRA.2008.04.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947500$BFA5F9BA-4143-45A5-9337-D5EE509FC121","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58269a15bd027c96ef9d412ee1e8ac5ba239f2f7","datavalue":{"value":{"entity-type":"item","numeric-id":2981789,"id":"Q2981789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9a3188ba38b54db0de3cc8c06546fb7cd625e45","datavalue":{"value":{"amount":"+0.834316074848175","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":"Q947500$D80FA90C-3109-4AFD-9809-B72E3C84E833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41ec70d1ead12615de0036a43c0b2ea4f16fe5a","datavalue":{"value":{"entity-type":"item","numeric-id":4235523,"id":"Q4235523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cae807f7b37eeff7e9f177625c0e5062140dc766","datavalue":{"value":{"amount":"+0.8284652829170227","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":"Q947500$07C8485E-8F83-4F38-927B-93AF12505FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fb742042e4867a08eddccdee61d5951e3841e8e","datavalue":{"value":{"entity-type":"item","numeric-id":1915736,"id":"Q1915736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4bd45d28f47a8e96b2e5900005619dd82ea97fd","datavalue":{"value":{"amount":"+0.7988503575325012","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":"Q947500$35154603-B11F-4F7E-B7ED-8BF491C50F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb30d2d65436b48e7403228836bedd1a817b80b8","datavalue":{"value":{"entity-type":"item","numeric-id":3502732,"id":"Q3502732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec89b23684c424aee1b6a4c34c1d47c240d27b95","datavalue":{"value":{"amount":"+0.7981979846954346","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":"Q947500$C471E9C1-A94E-4280-9FE4-A5C79721BA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9190bbe6216e88d417703c05adbe10794393210","datavalue":{"value":{"entity-type":"item","numeric-id":5465639,"id":"Q5465639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0deb16d8336caf676c0d441b6c5eedbf044c6b65","datavalue":{"value":{"amount":"+0.7959930300712585","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":"Q947500$CF9F5701-E3A8-40F0-8EBA-BB5E0A178065","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finding rational points on elliptic curves using 6-descent and 12-descent","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finding_rational_points_on_elliptic_curves_using_6-descent_and_12-descent"}}}}}