{"entities":{"Q852534":{"pageid":854382,"ns":120,"title":"Item:Q852534","lastrevid":64875060,"modified":"2026-04-11T22:48:25Z","type":"item","id":"Q852534","labels":{"en":{"language":"en","value":"Construction of \\(\\mathbb Z_p\\) with prescribed Iwasawa \\(\\lambda\\)-invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5072775"}},"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":"Q852534$A3D4E73F-F2DF-4149-BC2D-2367A7763F44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90eb1666e935936e092635e5c654fdc0a6a46e16","datavalue":{"value":{"text":"Construction of \\(\\mathbb Z_p\\) with prescribed Iwasawa \\(\\lambda\\)-invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q852534$D066F6CA-6F0E-4AB5-9F66-62C3FA88725D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e582f717b33ad1da37a4ac2e96882f66278aac6a","datavalue":{"value":"1145.11074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q852534$AF07E3CD-31FD-44DF-8470-9A42FBB3E92D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"443a019f9fe51dcf4e3766cd8f9a4c0de70b021c","datavalue":{"value":{"entity-type":"item","numeric-id":852531,"id":"Q852531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q852534$28757BE1-7853-4953-9572-E51BD01617F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b5b8bc3f77cd06678cb314490b93e02d1671752","datavalue":{"value":{"entity-type":"item","numeric-id":852532,"id":"Q852532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q852534$2185FC5A-3FBC-4695-A695-3DA5E4A2E914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02a8bbd8388ada4810fb43cc215f22a1f6b8d9e8","datavalue":{"value":{"entity-type":"item","numeric-id":852533,"id":"Q852533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q852534$51074E95-E7E5-49ED-A5A6-F2BB31A53C5D","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":"Q852534$77812BD3-BD92-4A56-83C1-79B38A54D14C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e0e5bf6d0a9be8dc3d53decc24225862e3e6f9c","datavalue":{"value":{"time":"+2006-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q852534$85B1FA0E-D6C5-4B5C-A7B8-EBE47588F545","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dda2b801b59c7d4324311af99b9a474aced277da","datavalue":{"value":"Let \\(K/k\\) be a \\(\\mathbb{Z}_p\\)-extension of a number field \\(k\\) (\\(p\\) a fixed prime number) and let \\(k_n\\) be its layers. For any \\(n\\) let \\(A(k_n)\\) be the \\(p\\)-part of the ideal class group of \\(k_n\\,\\). Then a celebrated theorem of Iwasawa states that there exist non-negative integers \\(\\mu(K/k)\\), \\(\\lambda(K/k)\\) and \\(\\nu(K/k)\\) such that   \\[  | A(k_n)| = p^{\\mu(K/k)p^n +\\lambda(K/k)n +\\nu(K/k)}\\quad \\text{for any } n\\gg 0. \\]   A natural problem is the one of finding a \\(\\mathbb{Z}_p\\)-extension with prescribed Iwasawa \\(\\mu\\) and \\(\\lambda\\)-invariants. The case \\(\\mu\\geq 0\\) and \\(\\lambda =0\\) has been solved in \\textit{M. Ozaki} [J. Math. Soc. Japan 56, No.~3, 787--801 (2004; Zbl 1142.11368)] and the present paper deals with the case \\(\\mu=0\\) and \\(\\lambda \\geq 0\\).  Under the hypothesis of the existence of certain quadratic imaginary fields with prescribed \\(\\lambda\\)-invariants, using class field theory and Kida's formula the authors are able to prove the existence of CM fields \\(k\\) with cyclotomic \\(\\mathbb{Z}_p\\)-extension \\(k_\\infty\\) such that   \\[  \\varprojlim_n A(k_n) \\simeq \\mathbb{Z}_p^m \\;\\text{ i.e. } \\mu(k_\\infty/k)=0\\;\\text{ and} \\;\\lambda(k_\\infty/k)=m \\text{ (any } m). \\]   Due to the limited amounts of computations currently avaliable for the \\(\\lambda\\)-invariants of quadratic imaginary fields, the result is completely proved only for \\(p=2\\), 3 and 5.","type":"string"},"datatype":"string"},"type":"statement","id":"Q852534$23B1A0F6-D316-401F-9696-3286926E1244","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":"Q852534$BA160B0D-303A-416E-AEF3-0F29B9A865A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4991d60e07c8d9a9bf6ca12e61e8f2f85c1f64c7","datavalue":{"value":"11R23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q852534$A3992413-A60C-403C-A221-9D6204D0AB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"de7f3c1190f7fe7db561a67d5059a061b3cbbffa","datavalue":{"value":"11R29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q852534$6EABB925-2CFA-4F51-BEC0-BAA9F31F65D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08ced0ad8a317644d2862a8dd74dddba5b7be958","datavalue":{"value":"5072775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q852534$8C66A43A-FE8C-4B8B-8995-6E8F19E16844","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":"Q852534$BAE259CA-8019-4AB6-96BB-AE032696C83E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1bbc390ef0d5d34ab7e13ee6604f7a870ad614d","datavalue":{"value":"https://doi.org/10.1016/j.jnt.2005.09.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q852534$90B088CA-E60E-4934-BC0E-260B68BE39EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"835f785f821b81587044f490bfa88d64954a3243","datavalue":{"value":"W2028179178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q852534$62CB70D7-E1A6-4EA1-96E2-66F2D51BC7C7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b20e78fe05c7ebe8e0c7ff9630da14fbe9457ef8","datavalue":{"value":{"entity-type":"item","numeric-id":3913494,"id":"Q3913494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q852534$D3775916-0C16-46D2-A7E4-730CCBB4D679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"878b16a2a7f2cbaf2cfcc3d96ec259e92d8dee7b","datavalue":{"value":{"entity-type":"item","numeric-id":1144081,"id":"Q1144081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q852534$0BFE2CAA-06A4-4697-B7B9-6EBCF5E190E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e76aeb29bc461cacbe3a49f83d7cdb4d381c0156","datavalue":{"value":{"entity-type":"item","numeric-id":768109,"id":"Q768109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q852534$CD22FA55-40B3-4BB2-B548-F5C4396B1811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ba89cb88d96f718206e161e1d883b73b2ffee39","datavalue":{"value":{"entity-type":"item","numeric-id":3262274,"id":"Q3262274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q852534$646B8C3B-917F-4468-B85A-FA2F98B7703B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"644428175a093cb8feecf7e88b499153115438c1","datavalue":{"value":{"entity-type":"item","numeric-id":1258331,"id":"Q1258331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q852534$F4888430-AAB7-45A6-AD32-3F1BE1E3E284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d8b19582996e4a81d1a02d9c68143f649ab59ab","datavalue":{"value":{"entity-type":"item","numeric-id":1149990,"id":"Q1149990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q852534$0D40A3BF-FC92-45E4-AD50-D253BDE0894C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c8f1e6374c9ca941c02696bca59ee9e0a0ad5a9","datavalue":{"value":{"entity-type":"item","numeric-id":1885103,"id":"Q1885103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q852534$1E6561D1-EFA1-447E-8915-4E2B5BC1AE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b30d5e572a2001443c05483b553f3cfd7bc29775","datavalue":{"value":{"entity-type":"item","numeric-id":5690489,"id":"Q5690489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q852534$8F1101EE-42C3-4EA0-821D-7EC70CCD2A76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7bf0215912c627cd2cb74c444e386ed48c7c3047","datavalue":{"value":"10.1016/J.JNT.2005.09.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q852534$0ED083DE-698F-45C7-8296-ADF46D22ED1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a363f097267ddd34fe082bea1b27ddd9bf559cc","datavalue":{"value":{"entity-type":"item","numeric-id":4266152,"id":"Q4266152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f22b015fc2ac769ebc016a9792958fc536a01292","datavalue":{"value":{"amount":"+0.8338044","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":"Q852534$F87BCD08-7887-4802-82EA-83FF0BFDDF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeb2776560f3eaa391161950768406e8855f2354","datavalue":{"value":{"entity-type":"item","numeric-id":4763933,"id":"Q4763933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af7b7f9b1b1d1f86428485c445cf014b9e0ac713","datavalue":{"value":{"amount":"+0.7856549","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":"Q852534$92115910-3FC3-4514-8D3C-5C02CCF5D84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dda19900a3cb189e74355d16b8981f5f686a2778","datavalue":{"value":{"entity-type":"item","numeric-id":3981080,"id":"Q3981080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce5b8dfa80e5344d4205929c131256f7c9737103","datavalue":{"value":{"amount":"+0.78529716","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":"Q852534$AEEA23BB-0D77-4BCA-8F1A-C876E0A07641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"063c621bd812d17ff06870a0cdb7a62db35e8b65","datavalue":{"value":{"entity-type":"item","numeric-id":4541490,"id":"Q4541490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9eabf6879d57ae252b09e132732f3fe61f4e786","datavalue":{"value":{"amount":"+0.77991885","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":"Q852534$31752E86-3494-47C2-8C9E-BFAB6C36210C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bce673554f3980783a622055a6891abd72703895","datavalue":{"value":{"entity-type":"item","numeric-id":581454,"id":"Q581454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb2da13effb094b4ffab3d4e1029c8ab247080e8","datavalue":{"value":{"amount":"+0.7741963","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":"Q852534$EF2A8E27-2047-4222-ADF2-EAA0317517F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7dc616941644a6d6dcd0a09d7bd7b89df2d1e80","datavalue":{"value":{"entity-type":"item","numeric-id":690140,"id":"Q690140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74c53669aa9c6aaa6e31d94f33874ccbc56f5d93","datavalue":{"value":{"amount":"+0.77407986","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":"Q852534$D6C818BC-B9B9-4CC4-8C04-D569EEDA1616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23ea2c93a61455404b3139711cb7c2b8e29de766","datavalue":{"value":{"entity-type":"item","numeric-id":2573738,"id":"Q2573738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfcbeda864816a6ef31ce2efef514e4b0bdf43a5","datavalue":{"value":{"amount":"+0.7697689","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":"Q852534$A5F8AAF4-B256-4682-BFD0-56B0A29E34AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2f3dab7cb81e5affcaf6216e004a735ce5d7b0c","datavalue":{"value":{"entity-type":"item","numeric-id":1708065,"id":"Q1708065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28023125d81487154cc6c3b0769db876bf88e61a","datavalue":{"value":{"amount":"+0.7645669","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":"Q852534$1B131139-5118-46C0-BAEF-B77F8243039F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe2cb4b3b24b5c52cc4fe06fdf4fe9bebcdd0ad5","datavalue":{"value":{"entity-type":"item","numeric-id":1385015,"id":"Q1385015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d235cfb0be05c1e1e471846d617de2589573258","datavalue":{"value":{"amount":"+0.76009846","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":"Q852534$710BC9CD-FF7F-480E-B4A8-3842322BCFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e1e39c324c6575ef396dd5a796605ec4157428f","datavalue":{"value":{"entity-type":"item","numeric-id":2660317,"id":"Q2660317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2571ab79f6fa0052855c903590200e82bb8aeea7","datavalue":{"value":{"amount":"+0.75804913","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":"Q852534$E98CDDE2-DD5C-4C22-A104-AF8472829D5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Construction of \\(\\mathbb Z p\\) with prescribed Iwasawa \\(\\lambda\\)-invariants","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Construction_of_%5C(%5Cmathbb_Z_p%5C)_with_prescribed_Iwasawa_%5C(%5Clambda%5C)-invariants"}}}}}