{"entities":{"Q706157":{"pageid":708006,"ns":120,"title":"Item:Q706157","lastrevid":63832545,"modified":"2026-04-11T15:51:00Z","type":"item","id":"Q706157","labels":{"en":{"language":"en","value":"On the Kummer-Leopoldt constant of a number field"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2132039"}},"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":"Q706157$FB1413E9-B961-487E-84C7-5835FAB5F49F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4f2e64d690a6d80f8d8455a33fca99c9959d419","datavalue":{"value":{"text":"On the Kummer-Leopoldt constant of a number field","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q706157$D93E4DEA-21E3-4873-A730-FC72DF8E5728","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c158909a9dd74f958348ef5751987f8465f1a695","datavalue":{"value":"1081.11071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706157$F5EC26EE-996A-4816-812E-2D65C383F32E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f8e3ba63b8767efbc23244ce841d262c81eb8c2","datavalue":{"value":{"entity-type":"item","numeric-id":558155,"id":"Q558155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706157$49DBA92B-BBE7-4275-A7BD-0C859539EE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0424b804b6c0462a294ad996ef9a1af8eac1e579","datavalue":{"value":{"entity-type":"item","numeric-id":204772,"id":"Q204772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706157$89C79B1D-1F44-4DE7-B734-CD8D029DD178","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ccf4732529e8c1929b9b7c946ba3218942108f00","datavalue":{"value":{"entity-type":"item","numeric-id":167493,"id":"Q167493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706157$38355B4A-59FE-49FF-AAF1-A5DFAA0EE971","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e272cf8580ce7515f1e53e9a1828f3e19dd5ac02","datavalue":{"value":{"time":"+2005-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q706157$0631DCC1-343D-4C75-A66A-0A2B0C188F66","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"178d317090d90a938480ff494a167d7256ff773f","datavalue":{"value":"Kummer's Lemma states that if \\(p\\) is a regular prime, then a unit in the \\(p\\)th cyclotomic field that is congruent to an integer mod \\(p\\) is a \\(p\\)th power. This can be rephrased as saying that a unit that is locally a \\(p\\)th power at the prime above \\(p\\) is a global \\(p\\)th power. This phenomenon has been studied in various settings by several authors, including \\textit{B. Angl\u00e8s} [Acta Arith. 98, No.~1, 33--51 (2001; Zbl 1002.11076)], \\textit{F. Lorenz} [Algebra Anal. 10, No. 6, 144--155 (1998); translation in St. Petersb. Math. J. 10, No.~6, 1005--1013 (1999; Zbl 0936.11063)], \\textit{M. Ozaki} [Acta Arith. 81, No.~1, 37--44 (1997; Zbl 0873.11059)], \\textit{T. Shimada} [Tokyo J. Math. 20, No.~2, 419--426 (1997; Zbl 0974.11039)], and the reviewer [Ill. J. Math. 23, No.~4, 635--647 (1979; Zbl 0427.12004); J. Number Theory 40, No.~2, 165--173 (1992; Zbl 0746.11043)].  The present paper considers the case of a totally real number field \\(F\\) and an odd prime \\(p\\). The Kummer-Leopoldt constant \\(\\kappa\\) is defined to be the smallest integer \\(c\\), if it exists, with the following property: if \\(n\\) is sufficiently large and \\(u\\) is a unit of \\(F\\) that is a \\(p^{n+c}\\)th power locally at all primes dividing \\(p\\), then \\(u\\) is a global \\(p^n\\)th power. If Leopoldt's conjecture is true, then \\(\\kappa\\) exists. It is shown that \\(p^\\kappa\\) is the exponent of a certain Iwasawa module arising from work of \\textit{F. Bertrandias} and \\textit{J.-J. Payan} [Ann. Sci. \u00c9c. Norm. Sup\u00e9r., IV. S\u00e9r. 5, 517--543 (1972; Zbl 0246.12005)]. Moreover, an upper bound for \\(\\kappa\\) is given in terms of the \\(p\\)-adic regulator. The behavior of the Kummer-Leopoldt constant, especially its vanishing, in cyclotomic \\(\\mathbb Z_p\\)-extensions is studied and related to certain Iwasawa \\(\\lambda\\)-invariants.","type":"string"},"datatype":"string"},"type":"statement","id":"Q706157$4B058028-93CD-44AC-882F-83DA6A7043E5","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":"Q706157$3D8D9091-A74A-4B28-AC50-055E1D3E7AC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4991d60e07c8d9a9bf6ca12e61e8f2f85c1f64c7","datavalue":{"value":"11R23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706157$D95299D8-EA61-445F-8257-E67473299250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f4be43e4d3a36713afeec76035eb55b0d3950c7","datavalue":{"value":"11R27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706157$D7DDCE25-1E6E-4FA5-8B4C-3283F7F37FEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82b9058601209a66ce4e8fa57e19dbdd86359ce3","datavalue":{"value":"2132039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706157$66C01D93-3216-461A-8D22-539F29D1B7FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b130f3bf5f602d8ffa7cb62927b54b0f8236c27","datavalue":{"value":"Kummer's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q706157$E67B1894-6C98-40C0-9BB8-00914DD99209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81de39553caa2c042cc65d6781dcb2c26750423d","datavalue":{"value":"Iwasawa theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q706157$5604DA11-E699-45F0-9D69-09D1EEACCBE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5aab801a105586e5be61c6f435b6d038089bdef9","datavalue":{"value":"units","type":"string"},"datatype":"string"},"type":"statement","id":"Q706157$43FEC962-A014-40D7-A174-01125E0336FA","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":"Q706157$CCCBB233-9908-4F93-AB2C-19A5A2A6918B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d7a1a413ba16ecfd3ac5f0cad5b64377414fda1","datavalue":{"value":"https://doi.org/10.1007/s00229-004-0482-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q706157$C38CC945-596B-41DA-900F-9F2FB2235520","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e5a43837dd86f14b6e6e8e20651bb9968ccce62","datavalue":{"value":"W2151930469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706157$AC6CA78A-4F02-4C44-9772-21F1FD106DA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e74885868583719d2a952188c556947e3d8f67f","datavalue":{"value":"10.1007/S00229-004-0482-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706157$9B0D404E-D1D6-48C7-942E-8F0B4996AF24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cdebca189e4a543af79f356ebfc7deae7c0f393","datavalue":{"value":{"entity-type":"item","numeric-id":3133116,"id":"Q3133116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"662467c0387a562b4db8e504cfb60648523e7e47","datavalue":{"value":{"amount":"+0.8635932803153992","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":"Q706157$6FEB2826-6917-4AB4-A5DF-698E18729F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b5db6c8cf914a7b5602a07a4a0dd53c0e656db2","datavalue":{"value":{"entity-type":"item","numeric-id":1183261,"id":"Q1183261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0577aa8d9aac57ec85a26f079d4f61415c185ec","datavalue":{"value":{"amount":"+0.8325430750846863","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":"Q706157$0ACFF409-37F9-4A2F-82BB-BBF1902BBBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"378c9a96c71e6ba498fc248f42ce59e6efd87080","datavalue":{"value":{"entity-type":"item","numeric-id":4345845,"id":"Q4345845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c67e910cce2eea981d450a1d4d1e93254120be9","datavalue":{"value":{"amount":"+0.8301078081130981","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":"Q706157$DA33FF23-3E07-418E-9F8C-56FAE2256E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c373559108de1a5749471e462b832aa6ff950e39","datavalue":{"value":{"entity-type":"item","numeric-id":1313302,"id":"Q1313302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed5cb5bb9f2ae753e513e7f437ce29d6c740db2d","datavalue":{"value":{"amount":"+0.8301077485084534","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":"Q706157$2D67A859-BAE2-4CA5-B2D8-076E3548C366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e93fd138cb4baab4913704b775fa176bc7da665b","datavalue":{"value":{"entity-type":"item","numeric-id":1382860,"id":"Q1382860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05be2b6fce4d6ce75dea6a78d75ac6936594c0da","datavalue":{"value":{"amount":"+0.80583655834198","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":"Q706157$AC3150CB-6383-4828-BAFF-5CC5ED2FEC34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Kummer-Leopoldt constant of a number field","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_Kummer-Leopoldt_constant_of_a_number_field"}}}}}