{"entities":{"Q1382860":{"pageid":1393600,"ns":120,"title":"Item:Q1382860","lastrevid":71597517,"modified":"2026-04-13T23:18:13Z","type":"item","id":"Q1382860","labels":{"en":{"language":"en","value":"Kummer's lemma for some cyclotomic fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1130814"}},"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":"Q1382860$4D0C3D80-D943-40CA-BAAC-A3598A017A94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"441ca9f0d351324d5d592e38aa773d571192cb29","datavalue":{"value":{"text":"Kummer's lemma for some cyclotomic fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1382860$1330100A-2375-450D-B297-CA712F828E0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d60562fd23dc4cc023df1c92fdcf393113160e7","datavalue":{"value":"0974.11039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382860$CB8A37F8-7DF6-4B4B-A49E-CB405B1DDBA4","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":"Q1382860$955BEB67-477A-4215-975E-1692850B170C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e81735ffae0dc240f9c7908f9071cba228792fc1","datavalue":{"value":{"entity-type":"item","numeric-id":172432,"id":"Q172432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382860$99545238-F1BF-42EA-B7D0-A96C6C4D584B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be3408172cb7c4f5c35f2c1bb457af9e14f903e6","datavalue":{"value":{"time":"+2001-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1382860$0AD683C8-D052-4F62-8FFA-B39BAFB3B32C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6f0d4e299418051766335f8a4d24154c1a8bfd17","datavalue":{"value":"Let \\(K_f\\) denote the cyclotomic field with conductor \\(f\\) and let \\(p\\) be an odd prime. When is a unit \\(\\epsilon\\in K_f\\) a \\(p\\)th power in \\(K_f\\)? If \\(f=p\\), the following condition guarantees that this is the case: \\(\\epsilon\\) is congruent to a rational integer mod \\(p^{M+1}\\), where \\(M\\) is the highest exponent of \\(p\\) occurring in the prime factorizations of the numbers \\(L_p(1,\\chi)\\) for even nonprincipal characters \\(\\chi\\) of \\(K_p\\). Here \\(L_p(s,\\chi)\\) denotes the \\(p\\)-adic \\(L\\)-function. This result was proved by L. C. Washington; it is a generalization of a classical theorem, known as Kummer's lemma (in which \\(M=0\\), that is, \\(p\\) is regular). In a subsequent article [J. Number Theory 40, 165-173 (1992; Zbl 0746.11043)] \\textit{L. C. Washington} provided an extension of his result to the case \\(f=p^n\\), \\(n\\geq 1\\). The present author finds another extension. He takes \\(f=mp\\), where \\(p\\) does not divide \\(m\\varphi (m)\\) and \\(p\\) is congruent to 1 modulo the exponent of Gal\\((K_m/\\mathbb{Q})\\) (\\(\\varphi\\) denotes Euler's function). His proof uses the same idea but requires a more elaborate calculation. A crucial ingredient is the well-known explicit expression for \\(L_p(1,\\chi)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1382860$DAB74301-79D6-4BA7-8F45-8F9F7893E7D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33596e09702254c39edd592e961d4cba7cfc6c47","datavalue":{"value":"11R18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382860$6FC6E4A3-E60B-41F4-BCCB-07E07390D018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f4be43e4d3a36713afeec76035eb55b0d3950c7","datavalue":{"value":"11R27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382860$7BBD50A6-59A4-4CA3-9E3A-222CEC362C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"60812a381dd95773e68c54b90aa92d52a1e9cecb","datavalue":{"value":"11R42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382860$F9B1BCFF-D82D-45C7-AD51-F1763489A789","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a10993f2763bc5cbc51d39f88ea64cd6a179300e","datavalue":{"value":"1130814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382860$1267E156-09B9-47CD-90A8-6CD01A44C0EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2e9e94c19b9ac086ce133ec444210289edd8f59","datavalue":{"value":"cyclotomic field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1382860$B6C70386-4F10-45D6-A7B3-C1909ED430C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b130f3bf5f602d8ffa7cb62927b54b0f8236c27","datavalue":{"value":"Kummer's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1382860$B06E428E-9EE5-413A-932C-CCC56F4A4ED6","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":"Q1382860$871A6E47-62EB-4175-90E3-3696C1A29817","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25d2439a6267f54f30632739b99c50abb3c8f23d","datavalue":{"value":"https://doi.org/10.3836/tjm/1270042115","type":"string"},"datatype":"url"},"type":"statement","id":"Q1382860$0757DD28-50B4-4161-A39C-F09AD28700E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b5ed2dfaec80d2e058c3007c7e250d58ef90cccf","datavalue":{"value":"W1969573472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382860$38919C19-D7D6-436C-8968-21D464F5B430","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"30aa996523061ca3d1254568937d259ca7f548bc","datavalue":{"value":"Q124799888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382860$48AD9142-0A7F-4B83-87EE-444E8B06E9AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3276e8daa781192c302f68ef42284537297bb41b","datavalue":{"value":"10.3836/TJM/1270042115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382860$AD65BBE3-A0BA-4771-AC95-6B0D7CF46286","rank":"normal"}],"P1643":[{"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":"df141867a09a40944776b9150eaa818f7f1698f1","datavalue":{"value":{"amount":"+0.8858074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1382860$C95843C4-4519-4784-8BC3-F45018189F1C","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":"7a56d710b39ff9eca9158673178e03b7ffbcfc9e","datavalue":{"value":{"amount":"+0.82624626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1382860$4A4566FA-F64A-40CF-8F39-51FE752D57D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0513c2fb02b22f12a7269ae8b7279e85fa211477","datavalue":{"value":{"entity-type":"item","numeric-id":706157,"id":"Q706157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bf917d870ad9f0db77367b1cf806edad45f52d2","datavalue":{"value":{"amount":"+0.7555648","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1382860$9D6FCF04-52E5-4E0B-81A5-FA244FC4F172","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":"79adb8c0172aece741c1e175e0db4a26d47aa3d3","datavalue":{"value":{"amount":"+0.7182075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1382860$F8114116-055E-4885-A038-86A5119A10E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5fee38b98e97b9852b31a0c86ee357810da0005","datavalue":{"value":{"entity-type":"item","numeric-id":1849679,"id":"Q1849679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbda995cde9686e8496d4f6da526132b445f2d26","datavalue":{"value":{"amount":"+0.7068392","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1382860$E711664A-8DE2-415D-B7CF-DB805A76AB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef05701d0118a42ba37bffbca3873793462b3a97","datavalue":{"value":{"entity-type":"item","numeric-id":5306717,"id":"Q5306717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0e5de07207e251eafbef7bac89578c18149db5a","datavalue":{"value":{"amount":"+0.7008127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1382860$39E0925E-D234-40EE-841F-CB4274187286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ad83d9f131fe46e81ef77fb818bc12625d19cfa","datavalue":{"value":{"entity-type":"item","numeric-id":4722161,"id":"Q4722161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34c07a834b12242c7b8ae3ffc1686cb3dfe7a144","datavalue":{"value":{"amount":"+0.69289696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1382860$2506ECD4-A2D9-4C0A-B004-626C335565D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffc12289af78c1401a28f47dc17794d1cc3b0a9f","datavalue":{"value":{"entity-type":"item","numeric-id":1061797,"id":"Q1061797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb8aea2d4d555a4bce2137bdb8e55d86036d11e8","datavalue":{"value":{"amount":"+0.69286156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1382860$34BAD243-7968-453F-ADBB-C0DAC269F856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd1f6cea2b3603a74b8ed02560e24b96fae2cbf3","datavalue":{"value":{"entity-type":"item","numeric-id":4724724,"id":"Q4724724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d43c92edf2ad0acbaa37a72affe88fe635a61d02","datavalue":{"value":{"amount":"+0.6884632","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1382860$F40D007A-1D6B-4BEE-9C7D-04AE3E9A9D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"281b3698482dc945ac76e1ab1532dd046bb56029","datavalue":{"value":{"entity-type":"item","numeric-id":2966159,"id":"Q2966159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9924264baa27ada7d19cda5352610d1060969adf","datavalue":{"value":{"amount":"+0.6863407","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1382860$019B14C7-FD91-49BC-A828-6EE9EDA909A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kummer's lemma for some cyclotomic fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Kummer%27s_lemma_for_some_cyclotomic_fields"}}}}}