{"entities":{"Q2866997":{"pageid":2877717,"ns":120,"title":"Item:Q2866997","lastrevid":83590580,"modified":"2026-05-07T09:14:45Z","type":"item","id":"Q2866997","labels":{"en":{"language":"en","value":"Kummer generators and torsion points of elliptic curves with bad reduction at some primes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236973"}},"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":"Q2866997$5F4C334E-3F46-4D77-8A21-57C37F6C8B39","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae0a60b722b426769ff2d7e5b545af6f5f2030bc","datavalue":{"value":"1281.14027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866997$E38D7E44-1615-4546-89FD-9E9A0025EB6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13bb3f71888d2fa6530caf34e57a687c8b3c30ae","datavalue":{"value":"10.1142/S1793042113500541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866997$D453E7A0-CB09-43AB-9E77-EF73918A9B00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7de46fcbc61832502c7e58128145022520851ec","datavalue":{"value":{"entity-type":"item","numeric-id":505660,"id":"Q505660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866997$DC1484D6-CCAF-4361-B196-A2AD0A9E0FB7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a035c107b10f77b626decca899281cb6367c70f2","datavalue":{"value":{"entity-type":"item","numeric-id":2789365,"id":"Q2789365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866997$D40ADD02-50A9-4F24-A393-FC1C5315A3C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e990124985cbc9928eee57b5fc6b3c854c8f2494","datavalue":{"value":{"time":"+2013-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2866997$71D3095E-1DC2-440C-B8EB-AF030E904E21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f00aec7b2c940e365c27808f50e4aeed90366677","datavalue":{"value":"14H52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866997$8C39113B-D7AD-4619-A593-4A65030E6D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7d2c1d6303ff43a208c78ddab6e0cc8993208fc","datavalue":{"value":"14G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866997$7E8BF8B7-0134-4049-8486-29644BB4A4AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc3e094334970874fdd3ee55ddf124e98354eeb7","datavalue":{"value":"6236973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866997$CAAD51CA-77CE-4CE4-8A69-FF266FC7C094","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cef2cc57cb3a1ceef77178a2c5684c2c83f5fb0b","datavalue":{"value":"torsion points of elliptic curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866997$D769AEC7-E4C9-42F5-8D05-0C46E098B45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1dfe65444b4f6c71af77a17adc4c19cb5f618b","datavalue":{"value":"Kummer generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866997$F05022E4-DBA1-4D58-B3FC-B8CC56B10E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39f926f26a3abb0131eb08c5d1885e14b3cf7b8c","datavalue":{"value":"ramification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866997$FCAFC910-F862-47A8-920A-153DC57D2835","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":"Q2866997$809CF8C4-D7F4-4A2D-AC3F-9CBB3428E328","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d76578b802b0b324e95d58b33c4bf979a52fc68e","datavalue":{"value":{"entity-type":"item","numeric-id":4097394,"id":"Q4097394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866997$4DD39F38-2808-4DC0-90F4-8F40A34BD965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4a4776b67ac546b2e94181999a50bfaee0a28b","datavalue":{"value":{"entity-type":"item","numeric-id":804629,"id":"Q804629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866997$FD8D278D-704E-4C5E-897D-3565E1AED346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6473fbb1eb9a17b4f550af58c5e7e7be09d9674f","datavalue":{"value":{"entity-type":"item","numeric-id":5694229,"id":"Q5694229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866997$FAF9C6BE-5707-4CFD-BEBA-845E559708C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c4da6b7567f19a752df4529665711ab35632b87","datavalue":{"value":{"entity-type":"item","numeric-id":763977,"id":"Q763977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866997$CD05F60B-7C5E-4547-807B-9C70BAB2D76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"198dab83d99989eb88b32f6fb7e1906cdd882ace","datavalue":{"value":{"entity-type":"item","numeric-id":4906020,"id":"Q4906020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866997$6E7FD931-4798-41B1-AC8C-4FCCBE280A4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d742d0bc5e82effb4a12bdc417941b3b1cca2c8a","datavalue":{"value":{"text":"Kummer generators and torsion points of elliptic curves with bad reduction at some primes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2866997$823D0093-27DE-4D03-B18E-C99C1F4D3F21","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"46cbb1c5406127d0c72103bcb6cd14b2b73210d6","datavalue":{"value":"Let \\(E\\) be an elliptic curve defined over a number field \\(K\\). For a prime \\(p\\), let us denote by \\(K(E[p])\\) the field generated by the \\(p\\)-torsion points of \\(E\\). Let \\(\\zeta_p\\) be a fixed primitive \\(p\\)th root of unity. Let us assume that \\(E\\) has a \\(p\\)-torsion point rational over \\(K\\). Then the field \\(K(E[p])\\) is a Kummer extension over \\(K(\\zeta_p)\\) (possibly trivial).NEWLINENEWLINEIn case \\(p=5\\) and \\(p=7\\), the author studies the ramification of the extension \\(K(E[p])/K(\\zeta_p)\\) in terms of Kummer generators computed by Verdure in 2006.NEWLINENEWLINEMore precisely, it is known that there exists an element \\(t\\in K\\) such that \\(E\\) is isomorphic over \\(K\\) to the elliptic curve given by the Weierstrass equation NEWLINE\\[NEWLINEE_t^{(5)} : y^2+(1-t)xy-ty=x^3-tx^2\\quad \\text{if}\\quad p=5,NEWLINE\\]NEWLINE NEWLINE\\[NEWLINEE_t^{(7)} : y^2+(1+t-t^2)xy+(t^2-t^3)y=x^3+(t^2-t^3)x^2\\quad \\text{if}\\quad p=7.NEWLINE\\]NEWLINE The discriminants of \\(E_t^{(p)}\\) are NEWLINE\\[NEWLINE\\Delta\\bigl(E_t^{(5)}\\bigr)=t^5Q_5(t)\\quad \\text{and}\\quad \\Delta\\bigl(E_t^{(7)}\\bigr)=t^7(1-t)^7Q_7(t),NEWLINE\\]NEWLINE with NEWLINE\\[NEWLINEQ_5(t)=t^2-11t-1\\quad \\text{and}\\quad Q_7(t)=t^3-8t^2+5t+1.NEWLINE\\]NEWLINE One has NEWLINE\\[NEWLINE\\begin{cases} Q_5(t)=(t-\\alpha_5)(t-\\beta_5) \\cr \\alpha_5=8+5\\zeta_5+5\\zeta_5^4 \\cr \\beta_5=3-5\\zeta_5-5\\zeta_5^4,\\end{cases} \\quad \\begin{cases} Q_7(t)=(t-\\alpha_7)(t-\\beta_7)(t-\\gamma_7) \\cr \\alpha_7=1-2\\zeta_7-3\\zeta_7^2-3\\zeta_7^5-2\\zeta_7^6 \\cr \\beta_7=1-2\\zeta_7^2-3\\zeta_7^3-3\\zeta_7^4-2\\zeta_7^5\\cr \\gamma_7=1-3\\zeta_7-2\\zeta_7^3-2\\zeta_7^4-3\\zeta_7^6.\\end{cases} NEWLINE\\]NEWLINE For any \\(t\\in K\\) such that \\(\\Delta\\bigl(E_t^{(p)}\\bigr)\\neq 0\\), set NEWLINE\\[NEWLINEa_5(t)={t-\\alpha_5\\over t-\\beta_5}\\quad \\text{and}\\quad a_7(t)={(t-\\alpha_7)(t-\\beta_7)^2\\over (t-\\gamma_7)^3}.NEWLINE\\]NEWLINE Then Verdure has shown that NEWLINE\\[NEWLINEK\\bigl(E_t^{(p)}[p]\\bigr)=K\\Bigl(\\zeta_p,\\root p\\of{a_p(t)}\\Bigr).NEWLINE\\]NEWLINE Let \\(O_K\\) be the ring of integers of \\(K\\) and \\(t\\) an element of \\(O_K\\) such that \\(\\Delta\\bigl(E_t^{(p)}\\bigr)\\neq 0\\). In this paper, the author has proved that the extension \\(K\\bigl(E_t^{(p)}[p]\\bigr)/K(\\zeta_p)\\) is unramified outside the set of primes dividing \\(Q_p(t)\\). As a consequence of his result, for some quadratic fields \\(K\\), he gives examples of unramified Kummer extensions over \\(K(\\zeta_p)\\) of degree \\(p\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866997$74E8D6E3-3822-49B0-96DD-9A1495DC0926","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a04bb99fe9e995501f09ee73a8b6729e77dacf5f","datavalue":{"value":{"entity-type":"item","numeric-id":495821,"id":"Q495821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866997$01ABC203-3510-4FAF-92D6-38D21C87A1CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13d21388329db45d77af51f6e824d91c2a217421","datavalue":{"value":{"entity-type":"item","numeric-id":2942537,"id":"Q2942537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"819bafb7c1b9548b7df1afd5b5a2a211213c6a49","datavalue":{"value":{"amount":"+0.8850691318511963","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":"Q2866997$8F0F83E5-337F-4DF0-8807-0038492B8CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b347107f8af7f3159bbc5fcb3e432caf900b35","datavalue":{"value":{"entity-type":"item","numeric-id":739279,"id":"Q739279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be4a216d4a2e30e31ddccd1d0dee500d0119bbd7","datavalue":{"value":{"amount":"+0.8803417682647705","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":"Q2866997$8B7B4CBD-2309-4B83-9232-915B678F3732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"996efd16bbc608e3ae28e7fe9933b49658dffe3d","datavalue":{"value":{"entity-type":"item","numeric-id":2839759,"id":"Q2839759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f26425749f352bedbf5c65356f6923180c25e6a2","datavalue":{"value":{"amount":"+0.8120616674423218","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":"Q2866997$F0B7CB93-5EF4-4B67-B4D3-5C7952612B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67754b49cbb97a00e215e5fa8e1c9abed655ee2f","datavalue":{"value":{"entity-type":"item","numeric-id":4906020,"id":"Q4906020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70ee1359563c93fc85832eee42bd043407433119","datavalue":{"value":{"amount":"+0.802825391292572","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":"Q2866997$3F01D9FE-B91F-419A-B4B1-665FF3CCEA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27007ba88da827ea027eb565a02a44df2ec2949e","datavalue":{"value":{"entity-type":"item","numeric-id":1429145,"id":"Q1429145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb62b0f06ed83a120d9e8549f210a92f68eed4a","datavalue":{"value":{"amount":"+0.7865480780601501","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":"Q2866997$4B091944-4624-4749-BCC1-0A94550B295D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kummer generators and torsion points of elliptic curves with bad reduction at some primes","badges":[]}}}}}