{"entities":{"Q6057739":{"pageid":13191894,"ns":120,"title":"Item:Q6057739","lastrevid":58654317,"modified":"2026-04-06T04:57:25Z","type":"item","id":"Q6057739","labels":{"en":{"language":"en","value":"A ruled residue theorem for function fields of elliptic curves"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7755436"}},"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":"Q6057739$10CA31B8-C811-4E41-99C9-338BEFC81BFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"366f8b7f2cbdcff75ee8eeb3afe69d1869c06e7b","datavalue":{"value":{"text":"A ruled residue theorem for function fields of elliptic curves","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6057739$897CBDCD-7256-41A1-B8BE-29DC4EF0C152","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50640ad6b9609f2e6c91e7a05ece5b94b6ea863d","datavalue":{"value":{"entity-type":"item","numeric-id":216831,"id":"Q216831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057739$BC774EF7-6FBA-4AB9-BC58-EF49196DBB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e57db8838ebbd3cbb5e61b4873f47ec4869227f","datavalue":{"value":{"entity-type":"item","numeric-id":1984240,"id":"Q1984240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057739$C695F4CC-3FAA-4288-9AFB-A9972F54D5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79801d08d02a8e8a94fb7cd654ad67fc8af5c353","datavalue":{"value":{"entity-type":"item","numeric-id":2031693,"id":"Q2031693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057739$B442EC67-8BDB-4007-B8AF-D2894DBCF957","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057739$E18098A5-CF96-470B-851E-69318DDB43C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a51e00d704ac90af595af3eaa88c34179dc3493d","datavalue":{"value":{"time":"+2023-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6057739$82FCA4D3-1498-41E0-B58A-DA093A86F6A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82760fe5979a31904128c1cb6e2ddfa56742fd4d","datavalue":{"value":"https://arxiv.org/abs/2303.02100","type":"string"},"datatype":"url"},"type":"statement","id":"Q6057739$9D624419-9DFB-4B8D-A87D-DFDF17DFB66E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"29e60652dd42c9ffccf6a2d34ce02fc57f00c5b3","datavalue":{"value":"Let \\(E\\) be a field. In this paper, the authors consider function fields in one variable \\(F\\) over \\(E\\) and the extensions of a valuation \\(v\\) on \\(E\\) to valuations \\(w\\) on \\(F\\). The extension \\(F/E\\) is called {\\em ruled} if \\(F=E'(x)\\) for some finite extension \\(E'/E\\) and some \\(x\\in F\\).  \\textit{J. Ohm} proved in [Proc. Am. Math. Soc. 89, 16--18 (1983; Zbl 0523.12021)] the {\\em Ruled Residue Theorem:} if \\(F/E\\) is ruled, then for any extension \\(w\\) of \\(v\\) to \\(F\\), the residue field extension \\(Fw/Ev\\) is either algebraic or ruled.  An extension of \\(v\\) to \\(F\\) is called {\\em residually transcendental} if the residue field extension \\(Fw/Ev\\) is transcendental. The set of residually transcendental extensions of \\(v\\) to \\(F\\) is denoted by \\(\\Omega_v(F)\\) and the subset of \\(\\Omega_v(F)\\) of the extensions \\(w\\) for which \\(Fw/Ev\\) is not ruled is denoted by \\(\\Omega^*_v(F)\\).  When the valued group \\(vE={\\mathbb Z}\\), we have that \\(\\Omega^*_v(F)\\) is finite. An extension of this result is that when \\(vE\\) is arbitrary and \\(F/E\\) is the function field of a conic of characteristic other than \\(2\\), then \\(|\\Omega^*_v(F)|\\leq 1\\). The objective of this paper is to obtain the same conclusion when \\(F/E\\) is the function field of an elliptic curve and the characteristic is different from \\(2\\) and \\(3\\) and \\(vE\\) is arbitrary. The function field \\(F/E\\) is called {\\em elliptic} if \\(F/E\\) has genus one and there exists a prime divisor of degree one.  It is shown that if \\(F/E\\) is elliptic in a valuation \\(v\\) with \\(v(6)= 0\\), then there can be at most one residually transcendental extension \\(w\\) of \\(v\\) to \\(F\\), such that \\(Fw/Ev\\) is not ruled.  Consider \\(a,b\\in E\\) and \\(\\Delta_{a,b}=4a^3+27b^2\\). If \\(\\Delta_{a,b} \\neq 0\\), then \\(Y^2=X^3+aX+b\\) is an elliptic curve over \\(E\\), and its function filed is given by \\(E(X)[\\sqrt{X^3+aX+b}]\\). We say that \\(F/E\\) is {\\em of good reduction with respect to \\(v\\)} if there exist \\(a,b\\in {\\mathcal O}_v\\) with \\(\\Delta_{a,b}\\in {\\mathcal O}_v^*\\) such that \\(F\\cong E(X)[\\sqrt{X^3+aX+b}]\\), where \\({\\mathcal O}_v\\) denotes the valuation ring of \\(v\\). The extension \\(F/E\\) is said of {\\em potential good reduction with respect to \\(v\\)} if there exists a finite field extension \\(E'/E\\) such that \\(FE'/E'\\) is of good reduction with respect to some extension of \\(v\\) from \\(E\\) to \\(E'\\).  The main result, Theorem 7.2, considers \\(F/E\\) an elliptic function field and \\(v\\) a valuation on \\(E\\) with \\(v(6)= 0\\). (a) If \\(F/E\\) is of good reduction with respect to \\(v\\), then \\(|\\Omega^*_v(F)|=1\\) and for \\(w\\in \\Omega^*_v(F)\\) we have that \\(Fw/Ev\\) is an elliptic function field. (b) If \\(F/E\\) is of potential good reduction but not of good reduction with respect to \\(v\\), then \\(\\Omega^*_v(F)=\\emptyset\\). (c) If \\(F/E\\) is not of potential good reduction with respect to \\(v\\), then \\(|\\Omega^*_v(F)|\\leq 1\\). Moreover, if \\(|\\Omega^*_v(F)|=1\\), then for \\(w\\in \\Omega^*_v(F)\\) we have that \\(Fw/Ev\\) is the function field of a smooth conic over \\(Ev\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6057739$0C8CC9AE-7B44-4010-8D1A-BD6D62C2216A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f0e90d891131f9887cf439663f26d1846e6a057a","datavalue":{"value":{"entity-type":"item","numeric-id":214730,"id":"Q214730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057739$0632EA6D-4CF0-4D0F-A58B-DD040BDD8211","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"603df56cdd358180c16ebf969d05eb1c25886aaf","datavalue":{"value":"12F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6057739$6C7465EE-DE56-46D8-B370-C52D8D8E4974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4deb61fce34fc499fde62b817d2aab883af2358e","datavalue":{"value":"12J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6057739$E197F948-662B-4882-B156-20FE16FB5595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d67a4131a98d31a20748b3bb895c9f3c6bd64f8d","datavalue":{"value":"12J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6057739$3616DACB-F602-4984-881D-DE9BFE39A7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d47f0f7476488dd6b6b2436fba2dc33e26dfd17","datavalue":{"value":"14H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6057739$A8E8FF24-D50A-4EC9-BB25-DC1B233536F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28d3bec2f6e07bd25e07bd6f80d073cd0bf2c7d8","datavalue":{"value":"16H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6057739$32C220C1-F3A1-4795-823A-44CA8471DD2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41354a0715c2492fc6d0e0eacb568acf46ed18ca","datavalue":{"value":"7755436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6057739$4A68C8D3-A0E1-46CA-88B5-D42A5DD32ACA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2aaab3d8847179472aa7fd7608710ba87c5a9ef1","datavalue":{"value":"valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6057739$97116F85-E07B-4257-A25B-87073880CFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b312df12ab97ee4287d5b42f0f4320ac01e4d440","datavalue":{"value":"residue field extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q6057739$D8FA3AEE-436A-4E76-A8FE-791358617E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2131b8c88313ebd206282dc94c70dbea75b470ac","datavalue":{"value":"Gauss extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q6057739$CF2D6DF1-D038-4A91-B7B3-4577CD8B2CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db0c9a1c448c2d2fd676ea3fbdf69f9b70a881a3","datavalue":{"value":"rational function field","type":"string"},"datatype":"string"},"type":"statement","id":"Q6057739$1C54FA8C-1639-40A2-A811-B1054DFC2FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e66cfdea1b1c272b853b49082a68d9d95d84eb88","datavalue":{"value":"function field in one variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q6057739$239978A4-D39E-4400-BF5C-6FAA56322780","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":"Q6057739$B53E016D-E44C-4F5E-8746-8FA553E079D0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"302a14d6a6a3c562656b7581482dc13f5fe34e11","datavalue":{"value":"Q122481634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6057739$2B538A7F-FE20-4834-A37D-7681F4930C80","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db0b2dbe66e504f17b01516e8469fa0ac3bcc1c4","datavalue":{"value":"W4385566590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6057739$5EBABC7B-A40D-48A4-9A53-2A74843EA305","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e597bd7dbbbabf05a45ebf43e7e53b4157d2b6fb","datavalue":{"value":{"entity-type":"item","numeric-id":2510042,"id":"Q2510042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057739$919472C5-F52D-494F-8DC2-C7449F34DA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a70530f9a544f709147af09b009a636bb5f80474","datavalue":{"value":{"entity-type":"item","numeric-id":1996072,"id":"Q1996072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057739$C42A1BD4-DFE4-4C6A-AB0D-5ADB5E603EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab447084d38f0b5ccaf49bff1917a9486bfb76b","datavalue":{"value":{"entity-type":"item","numeric-id":1006832,"id":"Q1006832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057739$080F0AC3-F5AE-42EF-AA20-7C36BE64D096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba72c9a41921ad15c44f894d7826777809a53833","datavalue":{"value":{"entity-type":"item","numeric-id":5691951,"id":"Q5691951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057739$876814D2-F377-499F-A717-A0582D34D001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a3ebb39b047f8c934166b0fd3e224d9f16829f0","datavalue":{"value":{"entity-type":"item","numeric-id":5484519,"id":"Q5484519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057739$B915DE38-DC5E-4E07-B961-12B957F07DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ff96cb006e6450aa831883e17d511df767b8a2e","datavalue":{"value":{"entity-type":"item","numeric-id":5523732,"id":"Q5523732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057739$50499202-4FA3-4F7C-ADB0-2D13F671F3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2acab526282f257e6bcff15e147450c9f26d2113","datavalue":{"value":{"entity-type":"item","numeric-id":3674782,"id":"Q3674782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057739$1599A1C1-9161-4E99-97E1-1E7CEBE6907D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4a4e33bc984e10083bf975b94c5bb45c9713b29","datavalue":{"value":{"entity-type":"item","numeric-id":818804,"id":"Q818804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057739$FFF301BB-20E2-4BF3-99FF-2F798D66319C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3dde55224e078b04cd943ba22ab09bfadd285d18","datavalue":{"value":"10.1016/J.JPAA.2023.107492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6057739$FAB88627-2C3A-46C1-85BB-2593F490ED8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfb623f4034e65c5bc634441a062a858931a06db","datavalue":{"value":{"entity-type":"item","numeric-id":1996072,"id":"Q1996072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ed703e933c1333c1564b38191e4f9510e28c402","datavalue":{"value":{"amount":"+0.864808201789856","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":"Q6057739$2A6F3864-26D2-4A87-A9E8-4A0F7AAA1C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a41b80bcc25b6261b6ec91de7cd4f60a78b0f73","datavalue":{"value":{"entity-type":"item","numeric-id":3645063,"id":"Q3645063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5be85d205e9bf0bda558de114d0899c69e466a7c","datavalue":{"value":{"amount":"+0.8584112524986267","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":"Q6057739$B90F656E-8575-4C3A-A561-1CE87B059ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9d3cdfee7724003aa46510dc0a21420bb46e5b9","datavalue":{"value":{"entity-type":"item","numeric-id":6139848,"id":"Q6139848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e33414e7d55c584eb57aa7311f82fed50b610ab","datavalue":{"value":{"amount":"+0.8544721603393555","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":"Q6057739$EDD9DC38-F815-4FA5-AAEB-1B7A08DE9A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f90ce33dd765f897f124ca9d3db5a3d328a97618","datavalue":{"value":{"entity-type":"item","numeric-id":6103355,"id":"Q6103355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2565d916e1f76ddca47c460d9b0207c962e2a89","datavalue":{"value":{"amount":"+0.8361898064613342","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":"Q6057739$CF87560E-1AB6-4633-AACF-23CE1943369B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c830683b0e78d4d5ac2dcd977a87fabffbe82570","datavalue":{"value":{"entity-type":"item","numeric-id":4289466,"id":"Q4289466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"658ae507ccfc602883b06db66765e4fb521d34cf","datavalue":{"value":{"amount":"+0.7946118712425232","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":"Q6057739$5E7779B7-D580-47FB-9901-B5D4257A7044","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6057739","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6057739"}}}}}