{"entities":{"Q863960":{"pageid":865808,"ns":120,"title":"Item:Q863960","lastrevid":64988706,"modified":"2026-04-11T23:34:08Z","type":"item","id":"Q863960","labels":{"en":{"language":"en","value":"Analogue of Kida's formula for certain strongly admissible extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5124508"}},"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":"Q863960$EAB742D2-58B7-4DD8-BC99-AC2467A88F16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4fc99ca635bc6929f1a699a13ab44429eafdba6","datavalue":{"value":{"text":"Analogue of Kida's formula for certain strongly admissible extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q863960$7A57035C-5F24-47CC-B4DF-1983FAC2FC41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b96fcb7d1c8c490890fa440b492b5b6a0ffe9236","datavalue":{"value":"1201.11103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863960$84051CE9-A7CE-497E-A1F9-F1B29E2ECC92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"046989ef8886ab93c6a781bf3962afd88c0011e5","datavalue":{"value":{"entity-type":"item","numeric-id":863959,"id":"Q863959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863960$545E03F5-EF22-45BE-8977-00542486F3B9","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":"Q863960$741AA765-3AF1-4E72-A188-4068CB5D1990","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a45291ee8d7b5555553b7864c822d601856c674","datavalue":{"value":{"time":"+2007-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q863960$CCDE2E58-52DA-494D-9F2F-7BD58988D605","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eb31d43813cdc8593320a1f5a4b9cd93a38cbe72","datavalue":{"value":"In classical Iwasawa theory, \\textit{Y. Kida} [J. Number Theory 12, 519--528 (1980; Zbl 0455.12007)] proved a relation of Hurwitz type between the \\(\\lambda\\)-Iwasawa invariants attached to the cyclotomic \\(\\mathbb Z_p\\)-extensions of a finite Galois \\(p\\)-extension \\(L/K\\) of CM-number fields where the \\(\\mu\\)-Iwasawa invariants are zero.  The aim of the paper under review is to find analogous relations for Iwasawa theory of elliptic curves over certain \\(p\\)-adic Galois-Lie extensions, namely for the analogue \\(\\lambda\\)-invariants for the dual Selmer group.   Let \\(F\\) be a number field, \\(p\\) a prime number larger than \\(3\\), \\(E\\) an elliptic curve defined over \\(F\\) without complex multiplication having good ordinary reduction at all primes dividing \\(p\\), and \\(F^{\\mathrm{cyc}}\\) the cyclotomic \\(\\mathbb Z_p\\)-extension of \\(F\\). For a finite set \\(S\\) of places of \\(F\\), let \\(F^S\\) be the maximal extension that is unramified outside \\(S\\) and the infinite primes. A strongly admissible Galois extension \\({\\mathcal N}_\\infty\\) of \\(F\\) is a \\(p\\)-adic Lie extension which contains \\(F^{\\mathrm{cyc}}\\), the dimension of \\(\\mathrm{Gal} ({\\mathcal N}_\\infty/F)\\) is at least \\(2\\), \\({\\mathcal N}_\\infty\\) is contained in \\(F^S\\) for a finite set \\(S\\), and \\(\\mathrm{Gal}({\\mathcal N}_\\infty/F)\\) is a pro-\\(p\\)-group and has no elements of order \\(p\\).   The author considers the following three strongly admissible extensions: the extension \\(F_\\infty:=F(E_{p^{\\infty}})\\) where \\(E_{p^{\\infty}}\\) is the group of \\(p\\)-power torsion points of \\(E\\); \\(K_\\infty\\), the false Tate curve associated to an integer \\(m>1\\), that is, \\(K_\\infty:= F^{\\mathrm{cyc}}\\big(\\bigcup_{n\\geq 1} m^{p^{-n}}\\big)\\); and the compositum \\(F_\\infty \\cdot K_\\infty\\), denoted by \\({\\mathcal F}_\\infty\\). For any of these extensions consider the Pontryagin dual \\({\\mathfrak X}(E/{\\mathcal N}_\\infty)\\) of the Selmer group of \\(E\\). It is a conjecture of Mazur that \\(\\mathfrak X_p(E/F^{\\mathrm{cyc}})\\) is a finitely generated torsion \\(\\Lambda(\\Gamma_F)\\)-module, where \\(\\Gamma_F:= \\mathrm{Gal}(F^ {\\mathrm{cyc}} /F)\\) and \\(\\Lambda(G)\\) denotes the Iwasawa algebra of \\(G\\).   The author proves, under the hypothesis that Mazur's conjecture is true and also that \\(\\mu_E(F):= \\mu({\\mathfrak X} (E/F^{\\mathrm{cyc}}))=0\\), that is, \\({\\mathfrak X}_p(E/F^{\\mathrm{cyc}})\\) is a finitely generated \\({\\mathbb Z}_p\\)-module, that \\({\\mathfrak X}_p(E/{\\mathcal N}_\\infty)\\) is finitely generated over \\(\\Lambda (N_F)\\), where \\(N_F:= \\mathrm{Gal}({\\mathcal N}_\\infty/ F^{\\mathrm{cyc}})\\). In the cyclotomic case, Y. Hachimori and K. Matsuno [J. Algebr. Geom. 8, No. 3, 581--601 (1999; Zbl 1081.11508)] proved an analogue of Kida's formula for a finite Galois \\(p\\)-extension \\(L\\) of \\(F\\) when \\(\\mu_E(F)=0\\). The main results of the paper under review are the corresponding analogues for the change in \\(\\Lambda(N_F)\\)-ranks for the strongly admissible extensions \\({\\mathcal N}_\\infty\\) corresponding to \\(F_ \\infty\\), \\(K_\\infty\\), and \\({\\mathcal F}_\\infty\\).  In the last section some numerical examples are given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q863960$6F62EF41-C83F-4D7C-9EDF-BB93A3F710E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4991d60e07c8d9a9bf6ca12e61e8f2f85c1f64c7","datavalue":{"value":"11R23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863960$D4D321A5-993D-40A1-912A-DE7F12F4ECE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1b466ca590039ea305e8cc047527b117e828a753","datavalue":{"value":"11G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863960$31719D09-8061-435F-8516-93F9AE283BCD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0025ee7d1971f233c5ece0fbb6308d6653d8e171","datavalue":{"value":"5124508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863960$A8918967-AA56-46AF-8204-2E72C65AF018","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":"Q863960$88733803-CDC1-4131-85A2-BE49F6F7BAE9","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":"Q863960$24D1D06B-C749-4ADE-A350-14ECE6378871","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f900bed08dcfa1024934d8695fe9f006ee0a2a8","datavalue":{"value":"https://doi.org/10.1016/j.jnt.2006.02.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q863960$58CCFB87-448F-42F7-8CD6-127F916E7A2D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3f7f4ce7dc71f45baddd42f5be34cafa9bec1cd","datavalue":{"value":"W2094567239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863960$C0433B45-62A7-4C91-82A5-9A69A93A2477","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1e35d2e4b9b66d75141fbacaf403eabb7ffee5a","datavalue":{"value":{"entity-type":"item","numeric-id":1383454,"id":"Q1383454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863960$50AB6DC2-94B8-4FE5-8E0D-B2B7AE6955A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"414c2953440635c0c711ddae4ecfd318898f97a3","datavalue":{"value":{"entity-type":"item","numeric-id":2388280,"id":"Q2388280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863960$4131C53B-1B39-4FC1-AAEF-B45955DEAE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afa2b850627c7424981118bf4c79344e90332a0c","datavalue":{"value":{"entity-type":"item","numeric-id":1911138,"id":"Q1911138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863960$D2AD73C2-6D65-42FF-91E6-3E79FBC4E0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d134da5fead14e10d3f401a4278a6fdce2148a6e","datavalue":{"value":{"entity-type":"item","numeric-id":5932005,"id":"Q5932005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863960$882F6361-1597-4A4D-8DE9-83EEBF28B75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"debcaedb23a980b58c769cf5407079dfa68c1993","datavalue":{"value":{"entity-type":"item","numeric-id":5915425,"id":"Q5915425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863960$A0FC9472-D313-4600-97AE-04916D7F3000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a1d200988b5ecbb574f0d4c8e69cbbb60999631","datavalue":{"value":{"entity-type":"item","numeric-id":1772094,"id":"Q1772094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863960$4DDECA79-00D1-4CF7-913B-392781686CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87c45f7b22e900a21636d52582bf96715aa6b873","datavalue":{"value":{"entity-type":"item","numeric-id":1860719,"id":"Q1860719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863960$857663A7-E2EB-4606-A4E6-8E3C07CACB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60e448c3dee4da8b12adebd8fb8ff233ae175f74","datavalue":{"value":{"entity-type":"item","numeric-id":5940694,"id":"Q5940694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863960$3ED2DFFB-A1DF-4A42-B1F1-C01D94EAD6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14117738472d0e72ae55ecdd3c53ab6a03a49fd6","datavalue":{"value":{"entity-type":"item","numeric-id":3994888,"id":"Q3994888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863960$2A544783-C5DD-4236-B2ED-A907CDBC5994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3249a3af28753aca82ba6c4b9e75d703c7defea6","datavalue":{"value":{"entity-type":"item","numeric-id":4699507,"id":"Q4699507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863960$4D00EA7F-561E-437A-B86A-B04E9C598964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee973c59cb9d6205c902bf21f2da27e228dec30d","datavalue":{"value":{"entity-type":"item","numeric-id":5316109,"id":"Q5316109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863960$D967FCDA-DA14-4E52-9E19-D0312A9AD4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d6490169994d176b5da2ca6195e6b443004b6e6","datavalue":{"value":{"entity-type":"item","numeric-id":1419617,"id":"Q1419617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863960$7717AC3D-7DD7-46B3-AF25-CA9A53D96C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"691be236093420f65d5a12c7394b992fafef076c","datavalue":{"value":{"entity-type":"item","numeric-id":4799176,"id":"Q4799176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863960$60532A07-9BC7-4A9B-B59B-6B2A06508E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dd8a9d2c8ef25f1f03394a8a7f8095131770de6","datavalue":{"value":{"entity-type":"item","numeric-id":4085871,"id":"Q4085871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863960$8D6FDCE7-90FE-4802-8E91-013621DECA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b423f1c912d30d8a0644f5eaa9ab70413bdf0d","datavalue":{"value":{"entity-type":"item","numeric-id":2522116,"id":"Q2522116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863960$6234CAA1-0084-4C15-8007-065E1AFE5F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dad9bce93b41e4b83b7578ed0cd317fd9d6fa985","datavalue":{"value":{"entity-type":"item","numeric-id":2555122,"id":"Q2555122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863960$9301A9F2-46D3-4B69-A643-ECE4E84F2C1B","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":"Q863960$AA009D81-2AFB-472E-A4DC-3031991FE466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"377834cd348bd860c99751706080d4e1c0f35097","datavalue":{"value":{"entity-type":"item","numeric-id":4418839,"id":"Q4418839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863960$1129D993-72D0-42CC-9E41-55B7DF86FAFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24840dd95d7b19b9e2cbe24f992a1318eac9f39e","datavalue":{"value":"10.1016/J.JNT.2006.02.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863960$6F3A70C7-B680-49F0-8EA4-649CB0EACEF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6affbba40b2ed43c10b10f4850e9661b53a2e5","datavalue":{"value":{"entity-type":"item","numeric-id":2155616,"id":"Q2155616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d65c8d8f49da63c9d7ddfd7e14774e96b323abf8","datavalue":{"value":{"amount":"+0.843600332736969","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":"Q863960$92D00D60-0B93-442B-92A4-21F27A840947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d15c9b192d994a57e983d048143f337a8eba4dfe","datavalue":{"value":{"entity-type":"item","numeric-id":4699507,"id":"Q4699507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22e8d9900a597389698410149b0ad816b31e439e","datavalue":{"value":{"amount":"+0.8367012739181519","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":"Q863960$65083EE1-15CB-4150-9D06-C4FFC80B7E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cf792b5dd4f9ea15dfc3c1947c7c4c0bc863ef3","datavalue":{"value":{"entity-type":"item","numeric-id":2369739,"id":"Q2369739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13acaa948abe4c637f5f6b1934a726bf39c12371","datavalue":{"value":{"amount":"+0.8106983304023743","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":"Q863960$B4EEC79C-9007-4FB8-A757-C1A08956FC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90c8700475a424cbe862d362d7bc3f8c28b7879c","datavalue":{"value":{"entity-type":"item","numeric-id":2046865,"id":"Q2046865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fbb1d9a8b5f85322cdd501144d7ad4fd68e7dc5","datavalue":{"value":{"amount":"+0.808369517326355","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":"Q863960$E1B1D3FA-BC9C-4600-8D1B-37A3698D21E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36c85667b8954e120dd48e97213e99dd010f7bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1998899,"id":"Q1998899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db876294269431252914a375af6ec9ced6affd68","datavalue":{"value":{"amount":"+0.8049825429916382","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":"Q863960$7FB6D999-D956-40D7-8A0A-F62F8E4D703C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analogue of Kida's formula for certain strongly admissible extensions","badges":[]}}}}}