{"entities":{"Q2785291":{"pageid":2796029,"ns":120,"title":"Item:Q2785291","lastrevid":46468128,"modified":"2025-12-24T20:42:24Z","type":"item","id":"Q2785291","labels":{"en":{"language":"en","value":"On the Iwasawa invariants of certain real abelian fields. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 980778"}},"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":"Q2785291$43BB0F2C-51D3-4EA3-A51B-54402BA5A459","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3a1e1047da179c98a2d31c65d8467573f30dca4","datavalue":{"value":"0881.11075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2785291$620E1A02-7FD3-41F1-BB61-D643024FDA71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7bbdf6bedcf17e1a735f006fc426e3540219ff02","datavalue":{"value":"10.1142/S0129167X96000384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2785291$E5C5A85E-2B46-4643-B208-19C4A0D6B7EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55e3758e57c8ff08e7f1d1cfcce559ff5cfa0c64","datavalue":{"value":{"entity-type":"item","numeric-id":177346,"id":"Q177346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2785291$D57DE29B-EA2C-4AD6-8E91-414F99A85188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c58e3d00de072c5350c4023114f3794524dceede","datavalue":{"value":{"entity-type":"item","numeric-id":1429807,"id":"Q1429807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2785291$78FE6EFC-C23D-4F1F-BAE0-7BE8D0987104","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"76f77c70b20c18f78607ac63c70e565ed2ed2d7c","datavalue":{"value":{"entity-type":"item","numeric-id":2706843,"id":"Q2706843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2785291$B3A55DA1-0192-439B-99AE-FD05EE9724DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c801a535faf34d401397663289d383bec15e5ca","datavalue":{"value":{"time":"+1997-04-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2785291$C90B1A08-EE92-4EF8-9571-A312571E1B45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4991d60e07c8d9a9bf6ca12e61e8f2f85c1f64c7","datavalue":{"value":"11R23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2785291$5872F027-E48C-4908-90CC-38F19A41FDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c58c91ba6ac947e2fd708917bdc5cad0e229b528","datavalue":{"value":"11R80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2785291$631A2626-E67B-480D-87A4-846B4AAFB360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a96ec27960548a095ff7d83af50617655333860","datavalue":{"value":"11R11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2785291$2037061C-FF63-4D35-99AB-AD829188FD8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9dac1f37601219e626570636d22d74f1c87ebaff","datavalue":{"value":"980778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2785291$DB60614C-7630-468A-9326-D6CF22CA8573","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81de39553caa2c042cc65d6781dcb2c26750423d","datavalue":{"value":"Iwasawa theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2785291$9489FB06-6295-4C94-9E5B-0645A5ED7AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2408797b3e672b9d078cc4d3091344295280d8b","datavalue":{"value":"Greenberg's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q2785291$A117605A-F6B8-4C14-95FF-BC6F9BD3104D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e01d66b7c5feded545edcd2990088351d0f56a7","datavalue":{"value":"real abelian fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q2785291$AD881DF8-9B8C-4F79-BEC1-A6DD70812D11","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":"Q2785291$5568A322-B100-4CF0-B6C2-FC15F3BD4675","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e609200a95b04c2093a4f72bd4a35c66892da7c","datavalue":{"value":"https://doi.org/10.1142/s0129167x96000384","type":"string"},"datatype":"url"},"type":"statement","id":"Q2785291$A29A6D6E-D54D-41FA-B9F8-295BD31FF124","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b69070bccf4a4ca890c10a5ede0c01ff1b5b0bec","datavalue":{"value":"W2039849847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2785291$38C9966F-E439-4480-8CD0-2460A040A597","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad8f6b026ebf8d31b83a628f0afd1c305538ec4b","datavalue":{"value":{"text":"On the Iwasawa invariants of certain real abelian fields. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2785291$7EAA7355-0510-4A1C-AF2F-F212631BFD88","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"134e9385a07c91e8b6d54f5d40bcb76c8a9a8166","datavalue":{"value":"Let \\(k\\) be a totally real number field and \\(p\\) a prime number. R. Greenberg conjectured that the Iwasawa invariant \\(\\lambda_p(k)=0\\) for the cyclotomic \\(\\mathbb{Z}_p\\)-extension of \\(k\\). The authors give a computational method for verifying this conjecture when \\(k/\\mathbb{Q}\\) is abelian. In particular, they prove that \\(\\lambda_3(k)=0\\) for all real quadratic fields \\(\\mathbb{Q}(\\sqrt{m})\\) with \\(1<m<10000\\). This result has also been obtained by \\textit{J. Kraft} and \\textit{R. Schoof} [Compos. Math. 97, 135-155 (1995; Zbl 0840.11043); erratum 103, 241 (1996; Zbl 0857.11056)] for the fields in which 3 is not split. The present method is computationally faster than that of Kraft and Schoof, though this latter method obtains the \\(\\mathbb{Z}_3[[T]]\\)-structure of the class group. NEWLINENEWLINENEWLINEThe authors assume for simplicity that \\(p\\) is an odd prime such that the exponent of \\(\\Delta=\\text{Gal}(k/\\mathbb{Q})\\) divides \\(p-1\\). Let \\(\\chi\\) be a nontrivial character of \\(\\Delta\\) and let \\(L_p(s,\\chi)\\) be the corresponding \\(p\\)-adic \\(L\\)-function. Let \\(f\\) be the conductor of \\(\\chi\\) and let \\(q=\\text{lcm}(p,f)\\). Let \\(g_{\\chi}(T)\\in \\mathbb{Z}_p[[T]]\\) be such that \\(g_{\\chi}((1+q)^{1-s}-1)=L_p(s,\\chi)\\) and write \\(g_{\\chi}(T)=P_{\\chi}(T)U(T)\\), where \\(U(T)\\) is a unit in \\(\\mathbb{Z}_p[[T]]\\) and \\(P_{\\chi}(T)\\) is a distinguished polynomial. Factor \\(P_{\\chi}(T)=P_1(T)^{e_1}\\cdots P_r(T)^{e_r}\\) into irreducible polynomials in \\(\\mathbb{Z}_p[T]\\). Let \\(\\omega_n(T)=(1+T)^{p^n}-1\\) and let \\(p^{a_{i,n}}\\) be the exponent of \\(\\mathbb{Z}_p[[T]]/(P_i, \\omega_n)\\). Define \\(X_{i,n}(T)\\in \\mathbb{Z}_p[T]\\) by \\(X_{i,n}P_i\\equiv p^{a_{i,n}} \\pmod {\\omega_n}\\) and choose \\(Y_{i,n}(T)\\in \\mathbb{Z}[T]\\) congruent to \\(X_{i,n}\\) mod \\(p^{a_{i,n}}\\). The authors define a certain cyclotomic unit \\(c_{i,n}\\) of \\(k_n\\), the \\(n\\)th level of the \\(\\mathbb{Z}_p\\)-extension of \\(k\\), and prove that (when \\(\\chi(p)\\neq 1\\) and \\(\\chi\\omega^{-1}(p)\\neq 1\\), where \\(\\omega\\) is the Teichm\u00fcller character; the other cases require slight modifications) \\(\\lambda_{\\chi}=0\\) if and only if for each \\(i\\) with \\(1\\leq i\\leq r\\), there exists \\(n\\geq 0\\) such that \\((c_{i,n})^{Y_{i,n}(T)}\\not\\in (k_n^{\\times})^{p^{a_{i,n}}}\\). This condition can be checked using rational arithmetic by working modulo a prime ideal of degree 1.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2785291$557C5101-2598-4B92-91BB-231F4DC7DD65","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":"Q2785291$B28A1292-CF9E-4FD5-9BE5-B845737E7837","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2360aa31d62e2d4690d2e4fe93b0d67ce2ba4d24","datavalue":{"value":{"entity-type":"item","numeric-id":1365340,"id":"Q1365340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b7caacede09d9802e29be4b53a34561b7013bf0","datavalue":{"value":{"amount":"+0.9051569700241088","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":"Q2785291$3CD1A378-E6BC-4D4E-B9F7-F111BD0F346F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"281f3b2d1dff2063f1257e387bae53911e9b1bc6","datavalue":{"value":{"entity-type":"item","numeric-id":1429808,"id":"Q1429808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cc7ae1d26494061e43e156dbc57d090a9a9d80d","datavalue":{"value":{"amount":"+0.8958518505096436","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":"Q2785291$6E4159F8-0BC3-4880-8D87-260FCFA67429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d22e011466579a86459b2d08c959e851e34fb69","datavalue":{"value":{"entity-type":"item","numeric-id":1911548,"id":"Q1911548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d224739ce95c8f263aa69cbf307d287f8c2bc0c","datavalue":{"value":{"amount":"+0.8788157105445862","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":"Q2785291$C27DD1FB-FAD6-41BE-BB6F-F32D5A74594C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2785291","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2785291"}}}}}