{"entities":{"Q2717613":{"pageid":2728352,"ns":120,"title":"Item:Q2717613","lastrevid":47621461,"modified":"2026-01-02T06:04:51Z","type":"item","id":"Q2717613","labels":{"en":{"language":"en","value":"Units and norm residue symbol"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1605209"}},"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":"Q2717613$EAB05A38-E236-47D2-80AE-5B4F380D07A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e497e56da15e06ea41294369e8a3d28dba6b54c","datavalue":{"value":{"text":"Units and norm residue symbol","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2717613$312221C5-3A28-4D55-B2F6-6CFD0EA4373A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"077f9d4135d5eebc7e794a8bc5087024957797d5","datavalue":{"value":"1002.11076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2717613$279BDBD4-2421-4013-9CBF-FBBED2974E38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bc390d6c07fee9daec71f87f5976ea14e28e344","datavalue":{"value":{"entity-type":"item","numeric-id":175283,"id":"Q175283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2717613$D71D1C7F-8747-4250-8C58-0619BBCB8E7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d7c377eb9eca9d4544de709b24b4ac445c513847","datavalue":{"value":{"entity-type":"item","numeric-id":2590509,"id":"Q2590509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2717613$A0EBA402-CB16-4346-BDE7-F359ED7F80C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"06eab7b8fdb4da09120309408d2523975ca56178","datavalue":{"value":{"time":"+2001-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2717613$F820C71F-C2C3-4B2D-B969-0AE8645FA51E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33596e09702254c39edd592e961d4cba7cfc6c47","datavalue":{"value":"11R18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2717613$1B3B00AE-B368-47BC-B18E-36770C275A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b2accb57c4f6d8612edc3fe6c9dd2ea40016db3f","datavalue":{"value":"11B68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2717613$3ED87081-DE82-47B8-9DE7-9A929D525B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"927be37c039040f8ceeada7985a7f70c0cbbb782","datavalue":{"value":"11S31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2717613$C3740AE8-C731-4D18-80D9-98F951FC40EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f4be43e4d3a36713afeec76035eb55b0d3950c7","datavalue":{"value":"11R27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2717613$D5F2107C-706A-4B36-9CE5-E34501BDE3D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73ee567fffe6a5c9d9abbff894e02c9899d88d0e","datavalue":{"value":"1605209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2717613$471D2AD3-229F-45E3-8C1F-BACDECDA5B24","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"510c72eee4c6e50b70f437353bb568211746f652","datavalue":{"value":"Terjanian conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q2717613$80378979-A6E7-4A4D-BA86-C33C6BBD19DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a18ffa867608fabea4616be3affaa33f47889856","datavalue":{"value":"Kummer system of congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2717613$192D98C5-44C8-4083-8E93-2796BEF3DA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73c4ed30d5c174510cfaa9586855f64c9c226655","datavalue":{"value":"Lubin-Tate theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2717613$D552F64D-38CC-4E05-95C3-072299A11644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6baa1ae5e80ba384aa62d1bed566e6113138cdf2","datavalue":{"value":"group of units","type":"string"},"datatype":"string"},"type":"statement","id":"Q2717613$A8E86A6E-668C-4F6E-B409-7539D46E92AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28dbb111ce2c9f02ce022842f74095e4cf4e6b09","datavalue":{"value":"group of cyclotomic units","type":"string"},"datatype":"string"},"type":"statement","id":"Q2717613$0F6E38D7-21B6-46B0-B8B1-74201835B68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dec15a34107bb38ef5f5abc2a1c884061b0ae0d7","datavalue":{"value":"Bernoulli number","type":"string"},"datatype":"string"},"type":"statement","id":"Q2717613$1D763A06-B165-42AE-BEC2-E62B41C79D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"210b1745e51c88c7732953474b18c52875ed4fcd","datavalue":{"value":"Mirimanoff polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q2717613$20E2FE9A-4EAC-49D9-8849-3B372C2E5CFA","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":"Q2717613$56BEA088-7AEA-4E08-9FF0-086F6619DD7F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e45aaaeac98005740b174fe7c58247b38fa563c6","datavalue":{"value":"https://doi.org/10.4064/aa98-1-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2717613$CDABF553-B0A9-471E-BA2F-DA0587C0E3C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92cca7d71b46c89ecc82644bc0e73108d7492f05","datavalue":{"value":"W1983418878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2717613$78697B2E-D20D-4312-8826-8E3E6C1D21CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1efac12e72d5f7aefed0dc5f8c851d1f5fd4c1b3","datavalue":{"value":"10.4064/AA98-1-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2717613$BE4B4ED6-BB81-4E6B-842D-92C1841CA7D8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"daca1563fd87d59cbdd6bd51be75d6627451a070","datavalue":{"value":"Let \\(p\\geq 5\\) be a prime. Let \\(K=\\mathbb Q_p(\\zeta_p)\\), where \\(\\zeta_p\\) is a \\(p\\)th primitive root of unity. Let \\(U_K\\) and \\({\\mathfrak p}_K\\) be the group of units and the maximal ideal of the integral closure of \\(\\mathbb Z_p\\) in \\(K\\), respectively. Let \\(U_K^{(n)}=1+{\\mathfrak p}_K^n\\) and \\(V=\\mathbb Q(\\zeta_p)\\cap U_K\\). For any \\(B\\subseteq V\\), let \\(B^{\\text{Kum}}=B\\cap\\mu_{p-1}U_K^{(p)}\\), where \\(\\mu_{p-1}\\) is the group of \\((p-1)\\)th roots of unity. Then \\({\\mathcal V}=V/V ^{\\text{Kum}} \\) is a \\(\\mathbb F_p[G]\\)-module, where \\(\\mathbb F_p=\\mathbb Z/p\\mathbb Z\\) and \\(G\\) is the Galois group of \\(\\mathbb Q(\\zeta _p)/\\mathbb Q\\). For any \\(\\mathbb F_p[G]\\)-module \\(A\\) and any \\(1\\leq i\\leq p-1\\), let \\(A(i)\\) mean the \\(i\\)th component of \\(A\\), i.e. \\(A(i)=\\{a\\in A:\\forall \\sigma \\in G, \\sigma (a)=\\omega ^i(\\sigma)a\\}\\), where \\(\\omega\\) is the Teichm\u00fcller character. For any \\(\\mathbb F_p[G]\\)-submodule \\(B\\) of \\({\\mathcal V}\\), let \\(B^\\perp\\) be the orthogonal of \\(B\\) with respect to the norm residue symbol. NEWLINENEWLINENEWLINEUsing Lubin-Tate theory, the author proves that for any \\(1\\leq i\\leq p-1\\) and for any \\(\\mathbb F_p[G]\\)-submodule \\(B\\) of \\({\\mathcal V}\\), we have NEWLINE\\[NEWLINE\\dim_{F_p} B^\\perp (i)+\\dim_{F_p} B(p-i)=1.NEWLINE\\]NEWLINE As a corollary he obtain the following result for the group of units \\(E_F\\) and the group of cyclotomic units \\( \\text{Cyc}_F \\) of a real subfield \\(F\\neq\\mathbb Q\\) of \\(\\mathbb Q(\\zeta _p)\\): NEWLINE\\[NEWLINE\\dim_{F_p}\\frac{( \\text{Cyc}_F/\\text{Cyc}_F^{\\text{Kum}})^\\perp} {(E_F/E_F^{\\text{Kum}})^\\perp} (i)= \\dim_{F_p} \\frac{E_F}{\\text{Cyc}_FE_F^{\\text{Kum}} }(p-i).NEWLINE\\]NEWLINE Another result of the paper concerns the Terjanian conjecture. The author shows that this conjecture is equivalent to the statement that the Kummer system of congruences \\(B_{2j}M_{p-2j}\\equiv 0\\pmod p\\), \\(1\\leq j\\leq (p-3)/2\\), has only trivial solutions. Here \\(B_{2j}\\) is the Bernoulli number and \\(M_{p-2j}\\) is the Mirimanoff polynomial. Let \\(i(p)\\) be the index of irregularity of \\(p\\). He proves that if Terjanian's conjecture is false then \\(2^{p-1}\\equiv 1\\pmod {p^2}\\), \\(B_{p-3}\\equiv 0\\pmod p\\), and \\(i(p)\\geq\\sqrt p-2\\). NEWLINENEWLINENEWLINEFinally, using a class number congruence obtained by Mets\u00e4nkyl\u00e4, the author shows that the condition \\(E_F^{\\text{Kum}} =(E_F)^p\\) in Kummer's lemma is equivalent to \\(\\frac{R_p(F)}{\\sqrt{d(F)}}\\not\\equiv 0\\pmod p\\), where \\(d(F)\\) and \\(R_p(F)\\) are the discriminant and the \\(p\\)-adic regulator of \\(F\\), respectively.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2717613$972F5B19-72A1-48F5-9D8F-7C14BD14039C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e466d31610203b310097bb60442c095ae547e074","datavalue":{"value":{"entity-type":"item","numeric-id":250310,"id":"Q250310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2717613$56AE9A21-95E0-4D24-AF22-89AC26460EDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f457a89e38d083e808b38261499932eb986763e","datavalue":{"value":{"entity-type":"item","numeric-id":4871322,"id":"Q4871322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e798c056e344126dcbbf1542fbd54320341f8fc","datavalue":{"value":{"amount":"+0.8233416080474854","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":"Q2717613$89F85A07-7503-4D60-9390-A92CC8299845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"868a668c199da1dab373f38dba573c18dcd9b846","datavalue":{"value":{"entity-type":"item","numeric-id":4338443,"id":"Q4338443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e798c056e344126dcbbf1542fbd54320341f8fc","datavalue":{"value":{"amount":"+0.8233416080474854","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":"Q2717613$4EAC1A2A-774A-4E0B-BA07-931F278AFCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39ea6a2cd31b96cbb47ccfca3ef8921ffe58ce6a","datavalue":{"value":{"entity-type":"item","numeric-id":4347544,"id":"Q4347544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b5912d4ac7879e27714d42d25d3243ebba12ac","datavalue":{"value":{"amount":"+0.8114926815032959","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":"Q2717613$273DE1C8-4480-4855-BB9D-FC29B48B1CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad3d454a9178ee55a3e11473cee219dac9c17a69","datavalue":{"value":{"entity-type":"item","numeric-id":3726221,"id":"Q3726221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0efe45773b731f53701e0c53d9eb67885ea2300c","datavalue":{"value":{"amount":"+0.8078694343566895","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":"Q2717613$B03FB1DB-6778-4658-AE34-4A17443A2881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef497a412d05b33dbcdf7ba72af4b9624884b26b","datavalue":{"value":{"entity-type":"item","numeric-id":3298286,"id":"Q3298286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff07a85eb75640356c41928a245f3de4cb32abd9","datavalue":{"value":{"amount":"+0.7971417307853699","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":"Q2717613$0F52F712-60BF-42D8-B8E2-E9DE8E0321B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2717613","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2717613"}}}}}