{"entities":{"Q740926":{"pageid":742775,"ns":120,"title":"Item:Q740926","lastrevid":64025808,"modified":"2026-04-11T17:08:38Z","type":"item","id":"Q740926","labels":{"en":{"language":"en","value":"On first layers of \\(\\mathbb Z_p\\)-extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341847"}},"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":"Q740926$FB349DF7-E62F-4852-B345-6C87162978F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd6c0cb1bdb6bbaf70ae7ed0922470deff05b930","datavalue":{"value":{"text":"On first layers of \\(\\mathbb Z_p\\)-extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q740926$74F0FDC7-B89E-415E-B582-C525C0B3430B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a80a1e3bd74ba28e9c3e6cefeacb4fef078c5cd","datavalue":{"value":"1318.11143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q740926$76D7CFD9-8BE3-4DCF-A0BE-8FE01F580F90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e59cd0c81f9468c35430823a4a4a54f7a720846e","datavalue":{"value":{"entity-type":"item","numeric-id":185785,"id":"Q185785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740926$51BF547E-E01C-4C50-B14A-4F5CE1A22729","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":"Q740926$5566809F-EEFD-47AF-AB85-4210F0E7A415","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d460cc5018b7d6687b87ccaaf2ba1aff43b53078","datavalue":{"value":{"time":"+2014-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q740926$E253BB97-8086-459A-A430-288A0B9EC5C7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f92eb33baa387de316e38a75258c30c0bee68694","datavalue":{"value":"An extension \\(K/k\\) of a number field \\(k\\) is called a \\(\\mathbb Z_p\\)-extension if \\(K/k\\) is normal with Galois group \\(\\mathbb Z_p\\), the group of \\(p\\)-adic integers. For any such \\(\\mathbb Z_p\\)-extension \\(K/k\\), let \\(k_n\\) denote the unique subextension of \\(K\\) with degree \\(p^n\\) over \\(k\\). This article deals with the classical problem of characterizing the first layers \\(k_n/k\\) of a \\(\\mathbb Z_p\\)-extension \\(K/k\\).  Now fix a \\(\\mathbb Z_p\\)-extension \\(K/k\\) and let \\(\\Theta_k\\) denote the group of all \\(\\alpha \\in k^\\times\\) for which \\(k(\\alpha^{1/p})\\) is a subfield of some \\(\\mathbb Z_p\\)-extension of \\(k\\). The main theorem squeezes the group \\(\\Theta_k/k^{\\times\\,p}\\) between the images of two homomorphisms \\(\\pi_1\\) and \\(\\pi_2\\) (depending on \\(k\\)), which are defined as follows. Let \\(k_\\infty^{\\mathrm{cyc}}/k\\) denote the cyclotomic \\(\\mathbb Z_p\\)-extension of \\(k\\); fix and a topological generator \\(\\tau\\) of its Galois group, and let \\(T\\) be an indeterminate such that the correspondence \\(T \\leftrightarrow \\tau-1\\) identifies the ring \\(\\mathbb Z[T,(1+T)^{-1}]\\) with the integral group ring \\(\\mathbb Z[\\text{Gal}(k_\\infty^{\\mathrm{cyc}}/k)]\\). Let \\(a_n\\) denote a nonzero element of the \\(n\\)-th layer \\(k_n\\) of \\(K/k\\) and let \\(N_n\\) denote the norm map \\(k_n^\\times \\longrightarrow k^\\times\\). The homomorphism \\(\\pi_1\\) sends the element \\((a_n \\cdot Tk_n^{\\times\\,p^n} k^{\\times\\,p^m})_n\\) in the inverse limit of \\(k_n^\\times/(Tk_n^{\\times\\,p^n} k^{\\times\\,p^m})\\) to the coset \\(N_1(a_1) \\cdot k^{\\times\\,p} \\in k^\\times/k^{\\times\\,p}\\), and \\(\\pi_2\\) is a homomorphism from the inverse limit of \\(k_n^\\times/(T-p^m)k_n^\\times \\cdot k^{\\times\\,p^{m-1}}\\) to \\(k^\\times/k^{\\times\\,p}\\) defined in a similar way; both inverse limits are defined with respect to the norm maps between the finite layers \\(k_n\\).  The inclusions in the main result \\(\\text{im}\\;\\pi_1 \\subseteq \\Theta_k/k^{\\times\\,p} \\subseteq \\text{im}\\;\\pi_2\\) are not known to be strict for a single example. It is proved that if \\(k\\) is the field of \\(p^m\\)-th roots of unity satisfying the Kummer-Vandiver conjecture, then the first inclusion is an equality, and the image may be given explicitly in terms of cyclotomic units. For fields in which the images of \\(\\pi_1\\) and \\(\\pi_2\\) coincide, the Coleman map may be used to give a complete description of the first layers of the \\(\\mathbb Z_p\\)-extensions of \\(k\\). The proof borrows techniques from an article by \\textit{F. Bertrandias} and \\textit{J.-J. Payan} [Ann. Sci. \u00c9c. Norm. Sup\u00e9r. (4) 5, 517--543 (1972; Zbl 0246.12005)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q740926$05A6407D-8B60-44DA-A0D1-12A2FCB82416","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ec9c6d4bf0e63d71e537eddb0a4ac9a7327d4346","datavalue":{"value":{"entity-type":"item","numeric-id":380409,"id":"Q380409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740926$7575FCC7-9F5B-4720-A536-B5F4FACC2CB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f4be43e4d3a36713afeec76035eb55b0d3950c7","datavalue":{"value":"11R27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q740926$AA4AFE20-D984-414D-911B-82CBDF8E1CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"de7f3c1190f7fe7db561a67d5059a061b3cbbffa","datavalue":{"value":"11R29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q740926$34D2C598-9211-46A3-B502-4EFC92B8E7A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5b56afb75636256590f92136e3f3f05a016d06f","datavalue":{"value":"6341847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q740926$7C3298A1-4142-4301-B667-EEB75B5243EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73a88c075980aa04a9e64ae3545b418dd6bd4820","datavalue":{"value":"\\(\\mathbb Z_p\\)-extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q740926$85F19C4B-3FA9-46C0-88DF-F7DA10E9E42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d78d9bdeefbc3c2a35457b87e2e17849296cccf7","datavalue":{"value":"Vandiver's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q740926$93DC9367-F6A2-4944-A6E4-41C0DBF8DD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b29433166beee8181f566e7905192df9a08c337e","datavalue":{"value":"Leopoldt's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q740926$D808446D-5532-47FA-8CEA-F01D7D3D716B","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":"Q740926$CEF5629B-80E1-4A48-ABC3-E15832FE68CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6e6ed9c291e22dcfb892cc3015d68400f3707d9","datavalue":{"value":"https://doi.org/10.1016/j.jnt.2013.05.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q740926$3F8940F1-D191-41E7-A3A8-0160ACEDBA7E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9ce5ae13d756e591b1db0381cdf673b864ee555","datavalue":{"value":"W2035291523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q740926$409C5AA0-B4A4-4DDC-BA59-0617110497ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57979992cefce3a020907f3249d60ed1f1c04179","datavalue":{"value":{"entity-type":"item","numeric-id":5658156,"id":"Q5658156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740926$57D88C77-99AB-442D-9C37-C2783875D2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc8ac9db58c8b1e6179c037e4ff731338cbdefec","datavalue":{"value":{"entity-type":"item","numeric-id":1137612,"id":"Q1137612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740926$F69CFB3C-7898-455E-B103-D2D6BBF86719","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":"Q740926$CD9051C9-01DA-4926-8C67-F43778A71C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a73f4b7b6dadf69ec5411d707c4f0600488f17c","datavalue":{"value":{"entity-type":"item","numeric-id":1252896,"id":"Q1252896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740926$644621F7-66B3-4D84-BAB7-3EE8586DA0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6b451df7e74fea968e52996d4a0dcc7b0059c6","datavalue":{"value":{"entity-type":"item","numeric-id":1154503,"id":"Q1154503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740926$58548B04-6DF2-4D1C-824B-20AC0D8CB91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7062e0fecac9d6414f1fbefe8b5193d903227923","datavalue":{"value":{"entity-type":"item","numeric-id":1306691,"id":"Q1306691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740926$3C640EA0-796F-4372-AAAB-1C9A6AF2F59F","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":"Q740926$320323B9-46C0-460C-BE58-560F3E3A9A1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78fd77597c22619905bbaed5459935e6558d8451","datavalue":{"value":"10.1016/J.JNT.2013.05.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q740926$25FC525F-F349-4F44-9D9E-E64CFA70DEFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"866394fabed8171879d78c5dbc01e83c3f592976","datavalue":{"value":{"entity-type":"item","numeric-id":3094888,"id":"Q3094888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"250daadaf00f544ff271d8525c568d263c93b90d","datavalue":{"value":{"amount":"+0.98279816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q740926$6BA18D5D-25A1-4CA3-A9ED-54F9224C28BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f301098dbde332905323ccc6cd724ae9ee0948f6","datavalue":{"value":{"entity-type":"item","numeric-id":3394394,"id":"Q3394394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ead899bb90e253db5abbcb15a007b10105d0dedc","datavalue":{"value":{"amount":"+0.9805042","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q740926$7378A223-58A9-4A69-9851-F2D7F0C4B5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0ad29fdf053599442e70b2987c36b58748e80f2","datavalue":{"value":{"entity-type":"item","numeric-id":5043988,"id":"Q5043988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b97a545df454e453ef846c5781460b817edb562","datavalue":{"value":{"amount":"+0.94604796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q740926$ADD25C15-F490-43C3-BDB2-36C8821E8184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97c8780b7fee3a7dc1a4c7d63efeabea81577120","datavalue":{"value":{"entity-type":"item","numeric-id":1294052,"id":"Q1294052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"737f1169fa9fca881956c86fa1c0c0e4a3bb9f3f","datavalue":{"value":{"amount":"+0.9362807","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q740926$887B8C82-76ED-4661-9BEC-739AFD7F8F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25c429d251733186695457c2024c4295dd84ae1b","datavalue":{"value":{"entity-type":"item","numeric-id":2516872,"id":"Q2516872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"579bc8b3179d963c13168c3a5c3c3e9313f5ab1e","datavalue":{"value":{"amount":"+0.92839515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q740926$DF881961-C382-4AA8-BC59-7BDC57EECC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a299ee77f54f1537db3b351106eef56cbbfb53e8","datavalue":{"value":{"entity-type":"item","numeric-id":741676,"id":"Q741676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a25b46b6798555974fab1d7f31f5a7b2540c7897","datavalue":{"value":{"amount":"+0.92125195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q740926$B0F83618-9611-43B6-8070-9763D5D9AED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3122ed3df852e390429c9373841612f468235a5","datavalue":{"value":{"entity-type":"item","numeric-id":5928554,"id":"Q5928554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4279eb7ec94b06c0c58e63e8a3e6cacb0ce63d40","datavalue":{"value":{"amount":"+0.89805096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q740926$BDF8954A-844F-4DE4-9F4B-DB1AFBA15822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c366720e353a3d2e36c3b20e0a737739ce3b331","datavalue":{"value":{"entity-type":"item","numeric-id":2381151,"id":"Q2381151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b536e2300f76cd1102ac1cc235091c460ef09fbd","datavalue":{"value":{"amount":"+0.89689326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q740926$0274F097-D6A1-4E98-9040-0AF59EFBCC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44c0f91471acbd0ee81d6dcb7c2dac8ca6f68242","datavalue":{"value":{"entity-type":"item","numeric-id":4487340,"id":"Q4487340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6196cd37c08b6e8143cf5ce0b1a9becafd1efb6e","datavalue":{"value":{"amount":"+0.88251126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q740926$57C5AF86-7BE5-420D-88BE-C3A036605D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5332b20439c4cc1c73808ad986569bb141c75ee","datavalue":{"value":{"entity-type":"item","numeric-id":4954922,"id":"Q4954922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"402bfdb50d7fa45c4cb99b7efae88317900feb93","datavalue":{"value":{"amount":"+0.8813659","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q740926$DAD65FFD-5430-4677-8606-A18ECA6C235A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On first layers of \\(\\mathbb Z p\\)-extensions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_first_layers_of_%5C(%5Cmathbb_Z_p%5C)-extensions"}}}}}