{"entities":{"Q1803372":{"pageid":1814114,"ns":120,"title":"Item:Q1803372","lastrevid":73632207,"modified":"2026-04-14T16:43:37Z","type":"item","id":"Q1803372","labels":{"en":{"language":"en","value":"On a construction of \\(p\\)-units in abelian fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 220740"}},"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":"Q1803372$6E167D25-FFC9-4DBC-B4CE-C486C06AE8B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c5c4eb56ec845acd83a69638733683c1cceeef0","datavalue":{"value":{"text":"On a construction of \\(p\\)-units in abelian fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1803372$E857DADA-6AD9-404D-A4AD-BD6ADCF7DF16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44f30089ef39d94b33f5e62d629deff4a49d6e7f","datavalue":{"value":"0772.11043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803372$5E939D07-7E1A-4225-A824-76F69DF8166C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e0e56be92e21aa313447c4f08c20a3a80556d2b","datavalue":{"value":"10.1007/BF01232030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803372$2590A936-C0F8-48C8-B299-FF43BA06B280","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"78c924ab2a87a282c80efa85079613d2f7e99dd9","datavalue":{"value":{"entity-type":"item","numeric-id":163162,"id":"Q163162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803372$B5E5FC6B-0AFC-43C1-93D0-1C953B36E516","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1803372$E8C5A2B1-C54A-4F75-81E9-825D923B597D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d1ff5fca85e3f1f011eec96bdac2109d6e8f0c6","datavalue":{"value":"https://eudml.org/doc/144024","type":"string"},"datatype":"url"},"type":"statement","id":"Q1803372$AC7D4AC7-72D8-4D51-9E58-1C3735AA5276","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"de09aab61e1226530159dfe014c4790e5ebdca33","datavalue":{"value":"For a fixed prime \\(p\\) and a number field \\(K\\), let \\(E_ p(K)\\) denote the group of \\(p\\)-units of \\(K\\), i.e., elements of \\(K\\) that are locally units at all finite places of \\(K\\) outside \\(S_ p(K)\\), the set of prime ideals above \\(p\\). Let \\(L\\) be an abelian field of conductor \\(f\\) and assume that \\(p\\) splits completely in \\(L\\). An important \\(p\\)-unit of \\(L\\) is obtained by means of the Gauss sum \\(\\tau(\\chi^{-1})\\), where \\(\\chi\\) is the power residue character modulo \\({\\mathfrak P}\\in S_ p(\\mathbb{Q}(\\zeta_ f))\\) (\\(\\zeta_ f\\) a primitive \\(f\\)th root of 1). In fact, \\(\\tau(\\chi^{- 1})^ f\\) is an element of the splitting field of \\(p\\) in \\(\\mathbb{Q}(\\zeta_ f)\\) and its norm in \\(L\\) is such a \\(p\\)-unit.   The author introduces ``cyclotomic \\(p\\)-units'' \\(\\kappa(L)\\) of \\(L\\) whose role for the plus-part (even part) of the class group of \\(L\\) is in some sense analogous to that played by the above \\(p\\)-unit for the minus-part. The construction of \\(\\kappa(L)\\) stems for a ``wild'' variant of a method of F. Thaine, V. A. Kolyvagin and others.   To give an idea of this construction, let \\(p>2\\) and, for \\(i\\geq 0\\), let \\(L_ i\\subset L(\\zeta_{p^{i+1}})\\) be the unique extension of \\(L\\) which is of degree \\(p^ i\\) and linearly disjoint with \\(L(\\zeta_ p)\\). Let \\(\\gamma_ i\\) be the generator of the Galois group of \\(L_ i/L\\). Put  \\[ \\alpha_ i=N_{\\mathbb{Q}(\\zeta_{fp^{i+1}})/L_ i} (1- \\zeta_{fp^{i+1}}). \\]  Then \\(N_{L_ i/L}(\\alpha_ i)=1\\) and Hilbert's theorem 90 yields an element \\(\\beta\\in L_ i^ \\times\\) such that \\(\\beta_ i^{\\gamma_ i-1}=\\alpha_ i\\). The element \\(\\kappa_ i=N_{L_ i/L} (\\beta_ i)\\) is well-defined modulo \\(p^ i\\)th powers, and by letting \\(i\\) vary one defines (after a normalisation) \\(\\kappa(L)\\) to be the projective limit of \\(\\gamma_ i\\). This \\(p\\)-unit \\(\\kappa(L)\\) is actually not an element of \\(E_ p(L)\\) but, rather, of \\(E_ p(L)\\otimes_ \\mathbb{Z} \\mathbb{Z}_ p\\), where \\(\\mathbb{Z}_ p\\) denotes the ring of \\(p\\)-adic integers.   The author's main result gives the \\({\\mathfrak p}\\)-ordinals of \\(\\kappa(L)\\), for all \\({\\mathfrak p}\\in S_ p(L)\\), in terms of a \\(p\\)-adic logarithm. The proof is a consequence of a more general result depending on the theory of Coleman power series. As applications the author proves a weak analogue of Stickelberger's theorem for real fields (he conjectures a stronger analogue) and provides, again for real \\(L\\), a construction of \\(\\text{Gal}(L/\\mathbb{Q})\\)-submodules of finite index in the group of ideals of \\(L\\) supported on \\(S_ p(L)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803372$6A12B52A-EEC3-4917-9A35-C26253C72A4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c5a3b3d29cc932d17941d548c95677f8c0ae4b32","datavalue":{"value":"11R20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803372$2BEC8193-5E0E-4EB1-A082-A33AE4072D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33596e09702254c39edd592e961d4cba7cfc6c47","datavalue":{"value":"11R18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803372$3D06792F-B49F-4471-9B16-19EAF0C98F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"de7f3c1190f7fe7db561a67d5059a061b3cbbffa","datavalue":{"value":"11R29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803372$7CD4D7FB-9DE1-46DC-A2AF-F25039F5B0EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2116c373a4b644da8951b44b9361bb444ab4cde","datavalue":{"value":"220740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803372$869FDBD3-5E9D-419D-8D02-FD1914E4D3A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74f3964f7c023988fa2068d85d83a0703fc05b6a","datavalue":{"value":"group of \\(p\\)-units","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803372$568A173E-D484-4921-9EFC-0A93C6D6009C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c419747130bee2c9b00824fbc58a506c8834ffc9","datavalue":{"value":"Gauss sum","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803372$6436FEC0-D2C1-424C-A637-4068531C277C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd1da017c23d5a284df21e53f406f73f488b6ca0","datavalue":{"value":"cyclotomic \\(p\\)-units","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803372$FD17AA3E-7C24-49CD-9233-0FA6328218A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891b0557a52ce04b2689537aa0c52513b0521f40","datavalue":{"value":"cyclotomic fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803372$5590167D-17D9-4C43-B5BB-27E5BAAEEE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fd9d05358f40faa43b69c868f1b0627804051ca","datavalue":{"value":"class groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803372$83AF9048-8F2E-46BC-AED2-228E4093D088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0932298fd70fcf3c59e27bd27a5d24657f28382a","datavalue":{"value":"Stickelberger's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803372$72DF3161-6BE7-4022-878D-8EBEE15DA8B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79dc41ca39232e5cd7e39594ea322059e4d2587a","datavalue":{"value":{"entity-type":"item","numeric-id":908959,"id":"Q908959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803372$7B5FFE07-393B-4E77-9A26-C2398218170F","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":"Q1803372$47393897-4402-42A0-9616-93A6DED585C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6275ef191a7d6a18542bb6c32199b68087697768","datavalue":{"value":{"entity-type":"item","numeric-id":5557119,"id":"Q5557119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803372$2CB784D1-D2BE-4569-A526-50AA28326903","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":"Q1803372$92B38DFC-EBB6-4FE3-9422-18771DCA4395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bef92bf0ecd171d9827cb9f1a27bbf5f649a078","datavalue":{"value":{"entity-type":"item","numeric-id":1257044,"id":"Q1257044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803372$AA5802CB-6D5D-4D60-9E85-0E01DB23BBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73567b7fce6003706743d41d05b0ae0abceb58f0","datavalue":{"value":{"entity-type":"item","numeric-id":797632,"id":"Q797632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803372$406C2A1C-10DC-44CE-8E6D-3DFD9CCE1CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cae505d0ebc8ce4a428d79de9d0192697b896de6","datavalue":{"value":{"entity-type":"item","numeric-id":3958543,"id":"Q3958543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803372$3BEB7184-E7F2-4DE4-9208-BEB8AFB5019C","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":"Q1803372$6C326774-5F5B-4693-B136-884EC6384B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2076a4918a0cc8dd81cc36b177a045d82ac06753","datavalue":{"value":{"entity-type":"item","numeric-id":1115911,"id":"Q1115911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803372$7D4E2BEF-6B82-4F20-921C-934B3FB6772C","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":"Q1803372$91782E8F-7D48-4AB3-B320-C73A4022EC79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e228b167a3fa2bf19e71bffa4ddaec31cff7237","datavalue":{"value":{"entity-type":"item","numeric-id":1320501,"id":"Q1320501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"222ae466f274157136bf91592da0c19dc29fd03b","datavalue":{"value":{"amount":"+0.8247357606887817","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":"Q1803372$653DE569-FDDA-424D-B123-CBC3A75EF3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15884f34338f4a09f2f92aa79e6ed215e58a3eee","datavalue":{"value":{"entity-type":"item","numeric-id":749603,"id":"Q749603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a07dc6ccf74eea6fe056237af7704ff18a0a6972","datavalue":{"value":{"amount":"+0.8244902491569519","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":"Q1803372$0FE3B12B-9395-4DCA-B785-53D361DED49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"022b0bef179d996a59e2914cbe7f8b41929b27a2","datavalue":{"value":{"entity-type":"item","numeric-id":4325431,"id":"Q4325431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d084ce99bef27a84673f16ed095f5e1aec72c05","datavalue":{"value":{"amount":"+0.8141974806785583","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":"Q1803372$06204E1B-62D0-4A39-8FB5-1BB97F6812EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d4d3415fc8301aaef657029b01d46a2cc0f4030","datavalue":{"value":{"entity-type":"item","numeric-id":706162,"id":"Q706162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a850988dea8fb57488df9fa28c36f32f203670b4","datavalue":{"value":{"amount":"+0.8141968846321106","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":"Q1803372$1D59093C-C64C-46C5-82C5-EED6BC9677D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bb0c7189db79e53cd1363b855d7385cd3af816c","datavalue":{"value":{"entity-type":"item","numeric-id":798706,"id":"Q798706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1153db4f1bd47fe13bf192b3aaa38f296cb4150c","datavalue":{"value":{"amount":"+0.8016396760940552","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":"Q1803372$F1027AE1-3608-4581-B59A-5C69C20EA77D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a construction of \\(p\\)-units in abelian fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_construction_of_%5C(p%5C)-units_in_abelian_fields"}}}}}