{"entities":{"Q921047":{"pageid":922895,"ns":120,"title":"Item:Q921047","lastrevid":49418695,"modified":"2026-01-07T03:15:59Z","type":"item","id":"Q921047","labels":{"en":{"language":"en","value":"On Vandiver's conjecture and \\({\\mathbb{Z}}_ p\\)-extensions of \\({\\mathbb{Q}}(\\zeta_{p^ n})\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4164996"}},"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":"Q921047$5B8E7AB7-AA9C-4C86-9FBD-91E7B868904D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fadb0a1ff1d39a283ebcdc5e9aa4798644a322e8","datavalue":{"value":{"text":"On Vandiver's conjecture and \\({\\mathbb{Z}}_ p\\)-extensions of \\({\\mathbb{Q}}(\\zeta_{p^ n})\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q921047$3645CB03-1E5A-4479-9F7D-33B0D46365C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ceb58ecf12f19505b2b052666e8c968a1160e9d","datavalue":{"value":"0709.11058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921047$8175416A-0F5F-4BA6-B3A7-7226474FA2C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4e36635dbc9d6fe11e2b037e1eb91079fafdf2b","datavalue":{"value":"10.1016/0022-314X(89)90091-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921047$A0B30F6E-5B16-4C0A-AD5F-1271E944475E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b0f95806de1f74c6b07e1956350b8a2fadb95f1","datavalue":{"value":{"entity-type":"item","numeric-id":218256,"id":"Q218256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921047$C769BD24-C4CD-4FD5-850D-20024FAF40C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b35ce66b4f42732f900eed8bc1e0fd54ace854ac","datavalue":{"value":{"entity-type":"item","numeric-id":921045,"id":"Q921045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921047$30EF02B5-C7EA-4AAE-85F6-D5A452E19FA8","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":"Q921047$64B9A5D5-C269-4265-80B1-74398B425DD4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q921047$61FBD9A7-18B8-44BB-BAA7-9DE4BE4CFE97","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d25e1bf1cec04ad63731c9a5873f99719f115c96","datavalue":{"value":"Let \\(K_ n={\\mathbb{Q}}[\\zeta_{n+1}]\\), where \\(\\zeta_{n+1}\\) is a primitive \\(p^{n+1}\\)-th root of unity, p an odd prime, and let \\(K_ n^+\\) be the maximal totally real subfield of K. Vandiver's conjecture is that p does not divide \\(h_ 0^+\\), the class number of \\(K_ 0^+\\). Let \\(R_ n={\\mathcal O}_{K_ n}[1/p]\\); the authors relate Vandiver's conjecture to the structure of \\({\\mathbb{Z}}_ p\\)-Galois extensions of \\(R_ 0\\), as follows. They first prove that if \\(C_ n\\) is the p-Sylow subgroup of the ideal class group of \\(R_ n\\), then the canonical map \\(C_ n\\to C_ m\\) is injective for any \\(m>n\\) iff every \\({\\mathbb{Z}}_ p\\)-extension of \\(R_ n\\) has normal basis. They use this to show: Vandiver's conjecture implies that each \\({\\mathbb{Z}}_ p\\)-extension of \\(R_ n\\) has normal basis for all n, and conversely provided that the Iwasawa invariant \\(\\lambda^+\\) of the cyclotomic \\({\\mathbb{Z}}_ p\\)-extension of \\(K_ 0^+\\) is zero. Finally they prove that Vandiver's conjecture is equivalent to the property that each cyclic extension of \\(K_ 0\\) lying in \\(H^-\\) is contained in a \\({\\mathbb{Z}}_ p\\)-extension of \\(K_ 0\\), where H is the Hilbert class field of \\(K_ 0\\) with Galois group \\(G=G^+\\oplus G^-\\) and \\(H^- =H^{G^+}\\). These results strengthen the plausibility of Vandiver's conjecture because it is known from other work of the authors [J. Number Theory 32, 131-150 (1989; cf. the preceding review)] that in the group of \\({\\mathbb{Z}}_ p\\)-extensions of \\(R_ n\\), the group of \\({\\mathbb{Z}}_ p\\)- extensions with normal basis has finite index.","type":"string"},"datatype":"string"},"type":"statement","id":"Q921047$B9616D5D-B5B4-485B-9CAF-2FE5E80453B9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fcfeb0ee86d374add7d9de7d2940211fc301bb41","datavalue":{"value":{"entity-type":"item","numeric-id":439068,"id":"Q439068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921047$BBCA4DAD-8424-4313-8D97-BD13982C0919","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33596e09702254c39edd592e961d4cba7cfc6c47","datavalue":{"value":"11R18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921047$F116D661-CE89-42FB-B1EB-15B49313A861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4991d60e07c8d9a9bf6ca12e61e8f2f85c1f64c7","datavalue":{"value":"11R23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921047$58E3E746-AC4C-408B-87A4-224AA7AD99E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55c5bc0b1ab5c60048bbafcb2aaa4acdefcb65ed","datavalue":{"value":"4164996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921047$777E564C-051C-4FB1-869E-D9129E20C8B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cf9575ffacf3a256c6c85e319bb39891f1a226f","datavalue":{"value":"maximal totally real subfield","type":"string"},"datatype":"string"},"type":"statement","id":"Q921047$CA992365-FD7F-4DCC-AF44-8033F57B67FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d78d9bdeefbc3c2a35457b87e2e17849296cccf7","datavalue":{"value":"Vandiver's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q921047$31DE2AB9-58E8-490B-9BA5-AC19C4B90E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca541973fe96d22ad8da1bac9ef8885230724137","datavalue":{"value":"class number","type":"string"},"datatype":"string"},"type":"statement","id":"Q921047$049CCEE4-3F3B-4735-A2F6-7886126A6D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eb5b926eb763f26e1111338d32f4b1ef752160a","datavalue":{"value":"ideal class group","type":"string"},"datatype":"string"},"type":"statement","id":"Q921047$F14E4D2A-BD3F-4B46-8F53-00B01D7929AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35e50875f3a033b7504a8f8bf92bd63cf064e94b","datavalue":{"value":"Iwasawa invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q921047$3827A6F8-BA85-497B-B6AB-5976FA910C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9020d9fe267de960f6f44092dd751393d3305c3c","datavalue":{"value":"Hilbert class field","type":"string"},"datatype":"string"},"type":"statement","id":"Q921047$A3BE7B6A-A5B3-4BD5-9C63-859A1D39E1E3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"929862791033f658550d21ed70e98fa087c3c66f","datavalue":{"value":"Q123196031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921047$AB89869D-8D55-4D44-86C1-4621B6A4D1FA","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":"Q921047$A7CAE518-958C-4295-A590-E58527EFE80E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc6271e0837ba8ac999d9e61345354f03189d5a","datavalue":{"value":{"entity-type":"item","numeric-id":5518494,"id":"Q5518494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921047$BE2ECA64-36F5-4062-AF6F-199947016559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a942580c615a216ca704e1b875b13e65250eecc","datavalue":{"value":{"entity-type":"item","numeric-id":2544230,"id":"Q2544230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921047$787B2104-F9FE-4268-A64D-3A0FB2C0C81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db5fa891a8d71fd4930fdf3a32061d27e1ba7426","datavalue":{"value":{"entity-type":"item","numeric-id":5593889,"id":"Q5593889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921047$F7F2C9BD-83C2-47C5-A6EB-D2F20AB5D12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be454d57dcb755f64358d83fd48d618b905957ff","datavalue":{"value":{"entity-type":"item","numeric-id":4099720,"id":"Q4099720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921047$CB8AFE72-0F97-4521-815B-7EF83EC13409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79ede24fa25498c5406ce31fecbeaa496698ab2","datavalue":{"value":{"entity-type":"item","numeric-id":5518497,"id":"Q5518497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921047$95A72217-0537-41E9-8EC7-F81327808B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72b7cc4479c8d6bf17cb1be3201ff90c9c899ba7","datavalue":{"value":{"entity-type":"item","numeric-id":1844872,"id":"Q1844872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921047$A239DABA-9507-42A4-AF17-A06854264EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1780c55726261ccc8789f9de88cab5dfb36eb182","datavalue":{"value":{"entity-type":"item","numeric-id":3794281,"id":"Q3794281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921047$6562A514-751B-4552-B4A3-4C424CAEA9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2440dab4b8fb509173b8e49b73803899fbb692d","datavalue":{"value":{"entity-type":"item","numeric-id":1099222,"id":"Q1099222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921047$67B23BC1-7C81-45DE-BBD1-817D2313A51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbdbefb703f088310c551316f5d6a144bddce28e","datavalue":{"value":{"entity-type":"item","numeric-id":921046,"id":"Q921046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921047$2418DF5E-4ACA-40CA-B5AA-782B4F825116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"108ed15a8b4672a8db405341d8087ffd7ee2a7f1","datavalue":{"value":{"entity-type":"item","numeric-id":3735800,"id":"Q3735800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921047$86DE8A72-006F-4CBC-906E-94476DEE1BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43d03ed71298ee9649c6d5be8aa186910c728ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3943047,"id":"Q3943047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921047$FD1056B2-BFD5-4986-B9C5-F3763B941B12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71b9c9ac3fce94e6a4555db3cf538dbed82e2651","datavalue":{"value":"https://doi.org/10.1016/0022-314x(89)90091-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q921047$FA86441C-4121-48A7-B00C-5635B9D9DDD7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce332221c2848dcee79580a51202e5a8c1d038ac","datavalue":{"value":"W2007681078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921047$E3043C13-DD08-4FAC-89FE-052144D3E0BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d254d2345b9f3d7f80a7cb4aa9335ed64426eab","datavalue":{"value":{"entity-type":"item","numeric-id":3677841,"id":"Q3677841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"888c54862248c8f4af123a58b7e4b148c0030daf","datavalue":{"value":{"amount":"+0.9124855995178224","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":"Q921047$CC588D49-B986-417B-926B-270A56111CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67311925583f7b0c82d69af10744d979907f59e","datavalue":{"value":{"entity-type":"item","numeric-id":1907019,"id":"Q1907019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba55244dc8c1185429b8a2fbb985a230822aceac","datavalue":{"value":{"amount":"+0.8109833002090454","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":"Q921047$A9BA69C5-7A91-4068-B7A1-DC8C6DF87A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a320e0e9da57ed0a76ca13e3be3aa2d3e6397ca8","datavalue":{"value":{"entity-type":"item","numeric-id":1337546,"id":"Q1337546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba55244dc8c1185429b8a2fbb985a230822aceac","datavalue":{"value":{"amount":"+0.8109833002090454","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":"Q921047$690708CF-6FBA-48EF-B131-1C1D907D444B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef497a412d05b33dbcdf7ba72af4b9624884b26b","datavalue":{"value":{"entity-type":"item","numeric-id":3298286,"id":"Q3298286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac8d708bf336239261e19401e9f1dccf12b746d8","datavalue":{"value":{"amount":"+0.8086940050125122","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":"Q921047$569355C9-93D9-463E-BFE7-05F82670136E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5360e22a5e29bf19c52d02b96bf5f82c8fdbda7","datavalue":{"value":{"entity-type":"item","numeric-id":4933682,"id":"Q4933682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bab81d4cac73ff62770b44eb6bc2927f1e753407","datavalue":{"value":{"amount":"+0.8017706274986267","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":"Q921047$362A475B-FFB7-46E0-AE93-EA21693112BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:921047","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:921047"}}}}}