{"entities":{"Q1821147":{"pageid":1831889,"ns":120,"title":"Item:Q1821147","lastrevid":69038697,"modified":"2026-04-13T03:56:43Z","type":"item","id":"Q1821147","labels":{"en":{"language":"en","value":"On the maximal \\(p\\)-ramified \\(p\\)-abelian extensions over \\(\\mathbb Z^d_p\\)-extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3997932"}},"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":"Q1821147$948C9DCF-164D-4561-9A9F-5F696728DE8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10210730917271d7a3c065fc2228f81df2d18e87","datavalue":{"value":{"text":"On the maximal \\(p\\)-ramified \\(p\\)-abelian extensions over \\(\\mathbb Z^d_p\\)-extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1821147$79965647-6902-48ED-9318-61871B81ABB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd7c1a5c540eb1e9f196b9f40a04e5ee1bc8079b","datavalue":{"value":"0616.12003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821147$18902D0C-AB4E-48E0-AF0B-72EF9FD9CE2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"003e6dbafd77609cd7cc324b225c977e0ff39a0d","datavalue":{"value":{"entity-type":"item","numeric-id":802655,"id":"Q802655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821147$6018E6D7-8969-402D-987E-8D131B70911A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"77dc2fb917d9ddfc7ec1da3e21f74c52714e1a70","datavalue":{"value":{"entity-type":"item","numeric-id":172164,"id":"Q172164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821147$8CFB7D92-E160-4017-B778-E8CE5538AEAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1821147$06CB6DA0-3555-4213-83AA-D7EC8C60F11A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"203b88ed49e414d4e6de987916948d0bb63cd99c","datavalue":{"value":"https://projecteuclid.org/euclid.kjm/1250520876","type":"string"},"datatype":"url"},"type":"statement","id":"Q1821147$070401E5-07F3-4E8F-87FF-831A5E3C7878","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f9b7e62ed0408100323d0c7fe2bb402e46536ec4","datavalue":{"value":"Let \\(p\\) be an odd prime, let \\(k\\) be a number field, and let \\(k_\\infty/k\\) be a \\(\\mathbb Z^d_p\\)-extension, so \\(G=\\text{Gal}(k_\\infty/k)\\simeq \\mathbb Z^d_p\\). Let \\(\\tilde X(k_\\infty)\\) denote the Galois group of the maximal abelian \\(p\\)-extension of \\(k_\\infty\\) unramified outside the primes lying above \\(p\\). Let \\(\\Lambda_G\\) denote the completed \\(\\mathbb Z^d_p\\)-group ring of \\(G\\) and \\(\\rho(k_\\infty)\\) the rank of \\(\\tilde X(k_\\infty)\\) as a \\(\\Lambda_G\\)-module. Let \\(r_2(k)\\) be the number of complex places of \\(k\\). The author considers the question of when \\(\\rho(k_\\infty)=r_2(k)\\). \\textit{V. A. Babaitsev} [Math. USSR, Izv. 19, 1--12 (1982); translation from Izv. Akad. Nauk SSSR, Ser. Mat. 45, 691--703 (1981; Zbl 0495.12012)] and \\textit{R. Greenberg} have shown this is the case for almost all \\(\\mathbb Z_p\\)-extensions of \\(k\\), and also when Leopoldt's conjecture holds for \\(k\\) [Invent. Math. 47, 85--99 (1978; Zbl 0403.12004)].    In the present paper, the author proves the following. Assume \\(d=1\\), \\(k\\) contains a primitive \\(p\\)-th root of unity, no prime of \\(k\\) above \\(p\\) splits completely in \\(k_\\infty/k\\), and Iwasawa's invariant \\(\\mu(k_\\infty/k)=0\\). Then \\(\\rho(k_\\infty)=r_2(k)\\).   The author also studies the behavior of \\(\\rho(k_\\infty H_n)\\) where \\(H_n\\) runs through the sequence of fields in a \\(\\mathbb Z_p\\)-extension \\(H_\\infty/k\\) disjoint from the \\(\\mathbb Z^d_p\\)-extension \\(k_\\infty/k\\), and shows that there exist non-negative integers \\(r\\) and \\(c\\) such that \\(\\rho(k_\\infty H_n)=r p^n+c\\) for all sufficiently large \\(n\\). Conditions implying \\(c=0\\) are given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821147$424847F7-A580-452E-ADD9-A216B2F4D4E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4991d60e07c8d9a9bf6ca12e61e8f2f85c1f64c7","datavalue":{"value":"11R23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821147$41B642F5-422A-4E41-9C6E-CA45092C0FD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e48a035c8f5e4d0086e721e094092ad84759432e","datavalue":{"value":"3997932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821147$73CB2854-3309-4CB5-A257-843A598472E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81de39553caa2c042cc65d6781dcb2c26750423d","datavalue":{"value":"Iwasawa theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821147$9F92EEAF-03CF-4EA8-AE75-42625425DAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c708e75b11fac2437c1604a5024b3fef95a4efc","datavalue":{"value":"\\(\\mathbb Z^d_p\\)-extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821147$A905957F-9E55-424C-8560-8AF51B748056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52a7e253365656719a7b0df4cf8e4b2746bff6b1","datavalue":{"value":"Galois group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821147$D39B3D96-F7F1-40C9-A3DC-590DF77650A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f83f40bef236179689d9c07228ef21b9a7bb55fd","datavalue":{"value":"maximal abelian p-extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821147$D3C7ED57-3FAB-4541-9A76-5A76E4A8835A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8810208ae8178dedb2bff31495d9e1da592b5a65","datavalue":{"value":"Zp-group ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821147$96EA7C8E-478D-408D-866F-6235F8AA3378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0231ee147428c0239ebd2fcc09cd90b465bbcf4","datavalue":{"value":"Zp-extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821147$6BDF2D3F-BC2A-4231-8DAE-5EF091BC68EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8005c0b3425c246d1c35f49331619ccfe7df5d30","datavalue":{"value":"Iwasawa's invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821147$44FBF191-64CE-408B-B9E2-6904768F0EC6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0598b585e504530f99474420eb7c8800cf7c9592","datavalue":{"value":{"entity-type":"item","numeric-id":590691,"id":"Q590691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821147$E5B60E38-41C1-42E9-AD58-61E6AB1A292D","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":"Q1821147$13A0DF4B-3E5B-46ED-AE67-0ACA7B5CEF19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"339ceeec5502d7ac1c7b38b142a865ce78bb5d92","datavalue":{"value":"W1487518337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821147$5346C974-2BEF-4B26-ACD4-2D00AF89FC09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d5573e6c3846813b9efa1bcae964882e09b0e91","datavalue":{"value":"10.1215/KJM/1250520876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821147$743C41C5-0804-4F6C-9F82-E27247604727","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21aeccbe28bbde61ddde4c8ae3b05a05494fe2cd","datavalue":{"value":{"entity-type":"item","numeric-id":2927747,"id":"Q2927747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"216d1e0e08d6627753a19ee87433505e1ef00ffa","datavalue":{"value":{"amount":"+0.73811567","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1821147$E9DE9822-7943-4829-BBDF-3A22E695E84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac10a24e4fe337d8fe4be2f799c5f42b655b6f16","datavalue":{"value":{"entity-type":"item","numeric-id":809136,"id":"Q809136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1426d504225a0259d76726f5c057a90bd20d3987","datavalue":{"value":{"amount":"+0.7290488","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1821147$23CDD8A2-CCF0-4351-A5C3-2B671839CF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7299c694c0f3a9859ed50f19c099f577fb9e74f","datavalue":{"value":{"entity-type":"item","numeric-id":1384454,"id":"Q1384454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccca259c181d3165c7892c017b7e47ef4da22638","datavalue":{"value":{"amount":"+0.7248692","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1821147$25CBCC70-F4AE-41D3-99E3-17862CC2B95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"613c23281ee6d55851b2df46ff734e92fb9fdd41","datavalue":{"value":{"entity-type":"item","numeric-id":790176,"id":"Q790176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41f23c4c083a4b3cb65aee37ad20e259d53fb9b0","datavalue":{"value":{"amount":"+0.7200279","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1821147$BA5449E7-02C4-4E2B-A80A-1B50011A4F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ccbdd2fa390fdb17406e2c718adfe414c18b238","datavalue":{"value":{"entity-type":"item","numeric-id":3979974,"id":"Q3979974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4378441445f3bf5365e2cfe24f68e204ec447b42","datavalue":{"value":{"amount":"+0.71032023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1821147$FEA769DA-F65F-4A6A-A4CB-6363220D4A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1de4a7d9fa691ed87c5049aa74cc24c3a5548eaa","datavalue":{"value":{"entity-type":"item","numeric-id":3724434,"id":"Q3724434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6da4defad5f60e3e25c4f44079ec4c7f61001b7","datavalue":{"value":{"amount":"+0.7101709","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1821147$D08AB850-1798-46C4-A3A2-6C883B787786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea54cd216635baf01162f47007c7004b7727cf20","datavalue":{"value":{"entity-type":"item","numeric-id":1352948,"id":"Q1352948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24ec1d9aa490dc9e86fb2e2634804794bced1423","datavalue":{"value":{"amount":"+0.6981437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1821147$39D749A8-DB9D-4902-BBA4-AE46F5B557B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ebb33ae6ebf75640a6aba314d3785ceeaee8ef2","datavalue":{"value":{"entity-type":"item","numeric-id":2695705,"id":"Q2695705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2f873f1fd87d3f86f1dab772716225b2c7ab93f","datavalue":{"value":{"amount":"+0.69440126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1821147$AC6045C5-F50F-4F7A-BBB4-3B1C05EB9B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cbbcf36b7be08789a394f5aea3f099b5689bdf8","datavalue":{"value":{"entity-type":"item","numeric-id":2225638,"id":"Q2225638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0474d1cfea47701d7f951a164776c4dab2903b2b","datavalue":{"value":{"amount":"+0.69257927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1821147$70FD4788-F470-4A9D-AF92-6316D4021958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab475cb36ac8160495fd77eae5dbe73356d5a271","datavalue":{"value":{"entity-type":"item","numeric-id":1946857,"id":"Q1946857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a849aa8bfbf3e482a73687d2ad3e8d04dfa2aa5d","datavalue":{"value":{"amount":"+0.691983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1821147$7EBF2EF0-64F2-4946-BECA-962219F7D2F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the maximal \\(p\\)-ramified \\(p\\)-abelian extensions over \\(\\mathbb Z^d p\\)-extensions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_maximal_%5C(p%5C)-ramified_%5C(p%5C)-abelian_extensions_over_%5C(%5Cmathbb_Z%5Ed_p%5C)-extensions"}}}}}