{"entities":{"Q1313302":{"pageid":1324052,"ns":120,"title":"Item:Q1313302","lastrevid":67147041,"modified":"2026-04-12T15:36:41Z","type":"item","id":"Q1313302","labels":{"en":{"language":"en","value":"Some remarks on Leopoldt's conjecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 490677"}},"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":"Q1313302$2582BFB6-BBBE-461B-85C1-E289284F8EFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a74ba7614faf1d1146ea10304f627c302db3a7f0","datavalue":{"value":{"text":"Some remarks on Leopoldt's conjecture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1313302$0179B8DF-F489-414C-9486-90CC30CDAB6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6905ed474a16e65f4a710cca43f4310a445c875b","datavalue":{"value":"0802.11042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313302$0EE87FA2-9E6C-48D4-A941-13B0B9935621","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40732bf47c56e453cb93af73719e6a66eb80bf24","datavalue":{"value":"10.1007/BF02567064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313302$2DC20A08-BB65-47F9-8E22-D18A9A62E304","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40b17d5f7f89f259ca130f83341a71e451311549","datavalue":{"value":{"entity-type":"item","numeric-id":1313301,"id":"Q1313301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313302$E771D808-91AB-4517-B3E1-3E80D361E127","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":"Q1313302$34F000C0-EAC2-4BDE-B533-94D3A4BC2350","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"198e1cf6b5241864422b78fe5a16d94ea3d08eab","datavalue":{"value":{"time":"+1994-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1313302$79A1A886-5FC5-4834-9C95-63CBDCFD26FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"57d6305a2dfdeef028355b8a0e3745e9c75e26af","datavalue":{"value":"https://eudml.org/doc/155789","type":"string"},"datatype":"url"},"type":"statement","id":"Q1313302$051C2A57-2E31-4C55-96E4-9B179E271442","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8a60c6de3548df09626d2f62c24605f3aba96919","datavalue":{"value":"Let \\(p\\) be an odd prime. For an algebraic number field \\(k\\) of finite degree over \\(\\mathbb{Q}\\) let \\(E_ k\\) be the group of units of \\(k\\) and for a positive integer \\(m\\) let \\(E_ k (p^ m)= \\{\\varepsilon\\in E_ k\\): \\(\\varepsilon\\equiv 1\\pmod {p^ m}\\}\\). The following statement is considered to be Leopoldt's conjecture for \\(k\\) and \\(p\\) (denoted by \\(\\text{LC} (k,p)\\)): ``For each positive integer \\(a\\) there exists a positive integer \\(m\\) such that \\(E_ k (p^ m) \\subseteq E_ k^{p^ a}\\)''.   The author investigates this conjecture \\(\\text{LC} (K,p)\\) for a finite extension \\(K/k\\) such that \\(p\\) does not divide the degree of \\(K/k\\). He deals with the cases \\(K/k\\) is a Galois extension and a cyclic extension of prime power degree in Sections 1 and 2. The following main Theorem is proved in Section 3:   ``Let \\(q\\) be an odd prime, \\(K/k\\) a finite abelian extension of degree a power of \\(q\\) such that \\(K\\not\\ni e^{2\\pi i/p}\\), and \\(q^ e\\) \\((e\\geq 1)\\) be the exponent of \\(\\text{Gal} (K/k)\\). Assume \\(p\\) is a primitive root modulo \\(q\\) if \\(e=1\\), or modulo \\(q^ 2\\) if \\(e\\geq 2\\), and no prime dividing \\(p\\) splits completely in \\(K(e^{2\\pi i/p} )/K\\). Assume that \\(\\text{LC} (k,p)\\) holds and there exists a positive integer \\(m\\) such that  \\[ \\text{rank } {{E_ M(p^ m) M^ p} \\over {M^ p}} < [M:k] (1-q^{- 1}) \\]  for all cyclic subextensions \\(M\\) of \\(K/k\\). Then, \\(\\text{LC} (K,p)\\) holds.''   At the conclusion a generalization (Theorem 4.2) of a theorem of \\textit{J. W. Sands} [Can. Math. Bull. 31, 338-346 (1988; Zbl 0648.12004)] (Theorem 4.8) is mentioned.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313302$2997E94E-6B69-4C7B-8013-D834A82B4133","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c5a3b3d29cc932d17941d548c95677f8c0ae4b32","datavalue":{"value":"11R20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313302$6F703400-EB74-498B-B7D5-EACAF74FEC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f4be43e4d3a36713afeec76035eb55b0d3950c7","datavalue":{"value":"11R27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313302$DE0B1395-8348-4F98-AC8C-34766078C8F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a23557ec150e3d5dd8e10af728574b5da152e1c8","datavalue":{"value":"490677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313302$AE7F86DD-98FC-4947-AAFB-30C06BB804C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b29433166beee8181f566e7905192df9a08c337e","datavalue":{"value":"Leopoldt's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313302$26CBDDF8-2BA0-4328-A2C8-BF0649F68761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a5c94b2cdbf7b245559c75eea33a8a72bb2a96e","datavalue":{"value":"Galois extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313302$832B2689-8504-4F5D-AA0C-2E6A1DAD577F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a568a6865897e822beaee5bb7b3344c65a25ab8f","datavalue":{"value":"cyclic extension of prime power degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313302$20EA1AD1-A9A5-4759-BADE-31685AAE431B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"11c6ee72db6a1595c302ec495a8cbae324d7c3a3","datavalue":{"value":{"entity-type":"item","numeric-id":551312,"id":"Q551312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313302$D50897D8-A4E9-4BB9-B3CF-3692B3160D75","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":"Q1313302$B4B9290D-2636-48F6-A84F-C9330B38967F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b117645b6826b7b6fab919890099f55ba7222b38","datavalue":{"value":"Q122927471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313302$DA95BBED-84CD-4213-B554-06AC2235E264","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":"Q1313302$B2F0B5F8-D969-4A10-9655-E20DDF3F2444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e006770694824d6333cd9dba6ba0499d221718c8","datavalue":{"value":{"entity-type":"item","numeric-id":1090366,"id":"Q1090366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313302$BE739E6C-0323-422E-B07C-E3C622B8B612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2841573489dace4602520e0003f108ce4eb6881e","datavalue":{"value":{"entity-type":"item","numeric-id":790176,"id":"Q790176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313302$DA4FD22D-5760-43F4-BEE1-21A8AE92CAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4882c2e2a3d4831bf6bab186ddb532760c6cadf4","datavalue":{"value":{"entity-type":"item","numeric-id":1119967,"id":"Q1119967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313302$02A64E6B-5733-451D-9F77-3179D9080BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa376820f9eb46cef94ffdca26bf10efcd2ee492","datavalue":{"value":{"entity-type":"item","numeric-id":4722161,"id":"Q4722161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313302$5566D6E1-36D4-47E7-9E73-04E0350D49A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb99f802600cc8521be49bd7dd6e065f4b5d5227","datavalue":{"value":{"entity-type":"item","numeric-id":914744,"id":"Q914744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313302$185615F5-6A8D-4A5F-9936-D535464E4A71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e61a6d416ca79b3a5552927356419f794881855","datavalue":{"value":{"entity-type":"item","numeric-id":2565545,"id":"Q2565545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fe5e761785478997f1dfdbade1dd56724e39ae1","datavalue":{"value":{"amount":"+0.9024527072906494","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":"Q1313302$ABFD025D-7B9E-4D1B-8A1B-01CCDE4B30F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1de4a7d9fa691ed87c5049aa74cc24c3a5548eaa","datavalue":{"value":{"entity-type":"item","numeric-id":3724434,"id":"Q3724434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3985d9ac6053a05e3ba25b818487d7a378ce6e14","datavalue":{"value":{"amount":"+0.8412430286407471","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":"Q1313302$467D0413-4EDF-44C5-9387-7EA93B9D67E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"613c23281ee6d55851b2df46ff734e92fb9fdd41","datavalue":{"value":{"entity-type":"item","numeric-id":790176,"id":"Q790176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bdc66790ecaa97e29f077e37fa5eaae6f8ce633","datavalue":{"value":{"amount":"+0.8397598266601562","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":"Q1313302$4CB3EB4D-3EA4-42D1-9D9A-E63EC8CB0AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f16f8994b68910028bdaab2e34ad9966f1160c77","datavalue":{"value":{"entity-type":"item","numeric-id":3760628,"id":"Q3760628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1c0a32c75b4178ef46a475db4153699c14ca095","datavalue":{"value":{"amount":"+0.8356536030769348","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":"Q1313302$2EC69854-8964-4C35-88AF-E48D7C47477D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9fc5c662f7df3a8ada3c2e419dcbf75f09d6be8","datavalue":{"value":{"entity-type":"item","numeric-id":914744,"id":"Q914744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f1e55385e60d5186f1d2868678f44070ca759b6","datavalue":{"value":{"amount":"+0.8326499462127686","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":"Q1313302$1C0BC581-54E5-472A-B3A1-7F652831B1E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some remarks on Leopoldt's conjecture","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_remarks_on_Leopoldt%27s_conjecture"}}}}}