{"entities":{"Q958634":{"pageid":960482,"ns":120,"title":"Item:Q958634","lastrevid":65640555,"modified":"2026-04-12T03:59:26Z","type":"item","id":"Q958634","labels":{"en":{"language":"en","value":"On the Galois module structure of cyclic Kummer extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5378812"}},"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":"Q958634$C6502729-CF16-4F82-9711-35C3E7EF5430","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1c24bc272a95d0060bc00565f8f45bfff571580","datavalue":{"value":{"text":"On the Galois module structure of cyclic Kummer extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q958634$A788605F-2278-413C-9EC7-3D1D58CA4DB3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f3398ffca7cdbb7f759433cf7ab20a2945ced26","datavalue":{"value":"1179.11038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958634$86819CC0-C76F-4AFC-A6A5-2B0766C19A83","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e15c5ab48859479f3a32d7a8a5d85d2ca85d71e9","datavalue":{"value":{"entity-type":"item","numeric-id":958633,"id":"Q958633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958634$4D9C8BBE-9AC6-454F-A517-048A0A516FCB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958634$CF776FB1-FF8D-4946-884F-F1C926128A76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85c956bb62834fd3366db6abe30b39dc8a24e17e","datavalue":{"value":{"time":"+2008-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q958634$75B19683-760F-4D64-8546-BCEF5C6A210F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"467dc878f604a7ac367dd42ac3ef9b75a603ff0d","datavalue":{"value":"Let \\(K/k\\) be a finite Galois extension of fields with Galois group \\(G\\). Then the Normal Basis Theorem says that \\(K\\) is a free rank \\(1\\) module over the group algebra \\(k[G]\\). Now suppose that \\(K\\) and \\(k\\) are either number fields or \\(p\\)-adic fields, and let \\(\\mathfrak{O}_{K}\\) and \\(\\mathfrak{O}_{k}\\) respectively denote their rings of integers. Let \\(\\mathfrak{A} := \\{ \\lambda \\in k[G] \\mid \\lambda \\mathfrak{O}_{K} \\subseteq \\mathfrak{O}_{K} \\}\\) be the associated order. Then a natural problem is to determine \\(\\mathfrak{A}\\) and the structure of \\(\\mathfrak{O}_{K}\\) as a (left) \\(\\mathfrak{A}\\)-module. When \\(K/k\\) is (at most) tamely ramified, \\(\\mathfrak{O}_{K}\\) is free (resp.\\ locally free) over \\(\\mathfrak{A} = \\mathfrak{O}_{k}[G] \\) in the \\(p\\)-adic case (resp.\\ number field case). However, the situation is somewhat more complicated when \\(K/k\\) is wildly ramified; in particular \\(\\mathfrak{O}_{k}[G] \\subsetneq \\mathfrak{A}\\).  The first part of the paper under review considers situation in which \\(K/k\\) is a totally and wildly ramified cyclic Kummer extension of \\(p\\)-adic fields of odd prime power degree \\(p^{n}\\). Suppose that \\(K=k(\\alpha)\\) where \\(\\alpha^{p^{n}} \\in \\mathfrak{O}_{k}\\) and \\((\\mathrm{val}_{K}(\\alpha-1),p)=1\\). In [\\textit{Y.\\ Miyata}, Math. Proc. Camb. Philos. Soc. 123, No. 2, 199--212 (1998; Zbl 1073.11525)], the author gave a necessary and sufficient condition for \\(\\mathfrak{O}_{K}\\) to be free (necessarily of rank \\(1\\)) over \\(\\mathfrak{A}\\). Note that every intermediate field of \\(K/k\\) is of the form \\(K_{l} := k(\\alpha^{p^{n-l}})\\) with \\(0 \\leq l \\leq n\\). Let \\(\\mathfrak{O}_{l}\\) denote the ring of integers of \\(K_{l}\\) and let \\(\\mathfrak{A}_{l}\\) be the associated order of \\(K_{l}/k\\) contained in the group algebra \\(k[\\mathrm{Gal}(K_{l}/k)]\\). Theorem 4 of the paper under review gives a condition for \\(\\mathfrak{O}_{l}\\) to be free over \\(\\mathfrak{A}_{l}\\) for \\textit{every} \\(l\\). This condition involves the first ramification number \\(c_{1}\\) of \\(K/k\\) and is as follows: there exist \\(m\\) with \\(0 \\leq m < n\\) and \\(a_{0}\\) dividing \\(p-1\\) such that \\(c_{1} \\equiv a_{0}(p^{m} + p^{m-1} + \\cdots + 1) \\mod p^{n}\\). In Theorem 6, the author then goes on to give an explicit description of \\(\\mathfrak{A}\\), which allows him to show that \\(\\mathfrak{A}\\) is stable under the action of \\(C:=\\mathrm{Aut}(G) \\cong (\\mathbb{Z}/p^{n}\\mathbb{Z})^{\\times}\\).  Now let \\(k\\) be an arbitrary number field and \\(G\\) be a finite abelian group. Suppose that \\(K/k\\) is a tamely ramified Galois extension with \\(\\mathrm{Gal}(K/k) \\cong G\\). Then \\(\\mathfrak{O}_{K}\\) determines a class \\((\\mathfrak{O}_{K})\\) in the locally free class group \\(\\mathrm{Cl}(\\mathfrak{O}_{k}[G])\\). Let \\(R(\\mathfrak{O}_{k}[G])\\) denote the subset of all such classes. In [\\textit{L.\\ R.\\ McCulloh}, J. Reine Angew. Math. 375/376, 259--306 (1987; Zbl 0619.12008)], this set of ``realizable classes'' was determined and is shown to be a subgroup of \\(\\mathrm{Cl}(\\mathfrak{O}_{k}[G])\\).  In the second part of the paper under review, the author adapts McCulloh's methods to consider the following situation. Let \\(G\\) be a cyclic group of odd prime power degree \\(p^{n}\\), let \\(k\\) be a number field containing a primitive \\(p^{n}\\)th root of unity and let \\(\\mathfrak{A}\\) be a fixed order in \\(k[G]\\). Let \\(R(\\mathfrak{A})\\) be the subset of \\(\\mathrm{Cl}(\\mathfrak{A})\\) of classes realized by rings of integers \\(\\mathfrak{O}_{K}\\) of wildly ramified extensions \\(K/k\\), with \\(\\mathrm{Gal}(K/k) \\cong G\\), whose completions at the primes above \\(p\\) are of the form considered in the first part of the paper, and for which \\(\\mathfrak{O}_{K}\\) is locally free over \\(\\mathfrak{A}\\). Theorem 9 gives an adelic description of \\(R(\\mathfrak{A})\\) as a coset of a certain subgroup in \\(\\mathrm{Cl}(\\mathfrak{A})\\). The final result concerns \\(R(\\mathfrak{A}[\\mu_{E}])\\), the image of \\(R(\\mathfrak{A})\\) in \\(\\mathrm{Cl}(\\mathfrak{A}[\\mu_{E}])\\), where \\(\\mathfrak{A}[\\mu_{E}]\\) is the quotient of \\(\\mathfrak{A}\\) obtained by restricting to the faithful characters of \\(G\\). Theorem 11 shows that \\(R(\\mathfrak{A}[\\mu_{E}])\\) contains a certain coset of \\(\\mathrm{Cl}(\\mathfrak{A}[\\mu_{E}])^{S_{C}}\\), where \\(S_{C}\\) is the Stickelberger ideal contained in \\(\\mathbb{Z}[C]\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q958634$D9763374-D7DB-4936-B321-BBBBD0851C49","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5be609b924c7fcf940e90e396ae180ef21c829f5","datavalue":{"value":{"entity-type":"item","numeric-id":351772,"id":"Q351772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958634$25750132-28DB-4B79-90EB-E868841F41E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d3cf58d4d35e28957f6e5110937e95cf1eac137c","datavalue":{"value":"11R33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958634$B5E8C143-8932-42AE-9D3A-412B8546E1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24e5b7f8ca20d94f3699aee4e716913978234845","datavalue":{"value":"11S23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958634$B3F06871-F0B5-4730-9292-A4E163DE910E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cff2a8bb677d745f1a43ab901dff197eb4f5d9a1","datavalue":{"value":"5378812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958634$E3310331-A4A5-40ED-9350-5FD5DD109874","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cff4a33e3db0079d72140831886d50a108b277f9","datavalue":{"value":"Galois module structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q958634$0FBDD3F6-0E1A-4BE0-8436-42C7014EFAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5f598c111d19fc20e356d2b89ece51954ebe05e","datavalue":{"value":"local field","type":"string"},"datatype":"string"},"type":"statement","id":"Q958634$AFB835D9-6BAD-4424-8462-5545975E3AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cd3203d3c232274215c2e15163285d084153b6a","datavalue":{"value":"free module","type":"string"},"datatype":"string"},"type":"statement","id":"Q958634$E9CAA8B2-256B-4CCC-BEC6-304B445A6991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec0a6d413942ebb7f397ccff4f0a48e6a62e832d","datavalue":{"value":"isomorphism class","type":"string"},"datatype":"string"},"type":"statement","id":"Q958634$EE921A08-18E9-411D-90E4-5D0D9681EF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc299b417a20e9fe45a1e76e4ddadae5d19f873e","datavalue":{"value":"Stickelberger ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q958634$23DAD193-F7E5-4732-8889-C634F6F5E8B2","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":"Q958634$4434BD25-A81B-46D5-B17B-319CCFB2DC03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7f158d094a091b0ece8d770d351574723fee2dd","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2008.06.034","type":"string"},"datatype":"url"},"type":"statement","id":"Q958634$90A8EB03-582A-4551-ACC3-188E1AE22F7E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"429589288d462c500563d841759ee28f1e308e5f","datavalue":{"value":"W2036244368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958634$1BDF7DA0-D5B6-4FD2-A132-9F920A28BEDE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0931aacfc1d104570c96025cea1ab2551c1aeddd","datavalue":{"value":{"entity-type":"item","numeric-id":5644060,"id":"Q5644060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958634$24F728C3-F3C9-4B8B-9FE2-DA9397F1004C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a05d314bf438e134444b553ea8b9eb108444daf7","datavalue":{"value":{"entity-type":"item","numeric-id":4075554,"id":"Q4075554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958634$D90D4C68-BDFD-42E7-95F0-9B8AAB58A648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"108ed15a8b4672a8db405341d8087ffd7ee2a7f1","datavalue":{"value":{"entity-type":"item","numeric-id":3735800,"id":"Q3735800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958634$2247179B-91BF-4B3D-8682-1F1767F01EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac32602788a4b7a90e1218ad77c83193a9233d01","datavalue":{"value":{"entity-type":"item","numeric-id":3755541,"id":"Q3755541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958634$1FF8DEE4-8071-46CB-85EC-45C883A0A65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad4c963bb5e3ee3c8cab70a4a79111dca42d2037","datavalue":{"value":{"entity-type":"item","numeric-id":4204232,"id":"Q4204232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958634$45DB81D4-AF09-4FF0-AE2E-58578687FC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f5835e2e3056acfba1c9cda3e0a4d2cae54912","datavalue":{"value":{"entity-type":"item","numeric-id":4385130,"id":"Q4385130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958634$96E107A0-4A00-4C1A-B3E4-4AAB3EAA48A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d09981c11e56c9c60d718e39a6e94ef2f06304","datavalue":{"value":{"entity-type":"item","numeric-id":1886834,"id":"Q1886834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958634$D521B311-41EA-4CC9-8346-E067218E951B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4a5f4db6f13e068d35eaafc340e9a75e3faff8","datavalue":{"value":{"entity-type":"item","numeric-id":5581791,"id":"Q5581791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958634$6A1BF037-07AF-44CA-8392-9D60EFCC4851","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"418f9a6b2592e90f99cb9c6cf8f0e0e48219aba6","datavalue":{"value":"10.1016/J.JALGEBRA.2008.06.034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958634$2D56FAD9-1D10-44F9-8B7F-3D205D181F90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"017994d8adb1ba5748f695fc7fedb9e367bbd643","datavalue":{"value":{"entity-type":"item","numeric-id":4385130,"id":"Q4385130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44cd92c348cd0f267f317721442aadb0425a3a6b","datavalue":{"value":{"amount":"+0.8627709150314331","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":"Q958634$318FD3E5-A63C-4B1A-B3EA-B4B0376565DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61016807517232d6c694510669a3c3f0e40a4315","datavalue":{"value":{"entity-type":"item","numeric-id":3516841,"id":"Q3516841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"059b2b40945664ce42eca4e3fc20df6cf6beb085","datavalue":{"value":{"amount":"+0.8553392887115479","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":"Q958634$A2E78A88-4DC5-4609-83AD-77BAEEE79412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0be87b292e6ec18103e6167263c76e1d2cd295da","datavalue":{"value":{"entity-type":"item","numeric-id":3755541,"id":"Q3755541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4f47c7adb78064ebccdc161a889ebcd6f807c15","datavalue":{"value":{"amount":"+0.8546069264411926","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":"Q958634$4844E63D-5422-41C6-ACC1-43D6CE46E999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e44179482e7c9fd6ea5ed7d43f48696e1ae86a","datavalue":{"value":{"entity-type":"item","numeric-id":5916448,"id":"Q5916448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1337eebbb0220c95cde9404ff706b40aa6846338","datavalue":{"value":{"amount":"+0.8520177602767944","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":"Q958634$4B47B3F4-AB1E-4FE1-A130-5A36634C3BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b281ca1de633dd6ef089452eb254458a8829cbd4","datavalue":{"value":{"entity-type":"item","numeric-id":1904230,"id":"Q1904230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b5222c7655b33a9251d7cc2a901bc0ea4c961e4","datavalue":{"value":{"amount":"+0.8447698354721069","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":"Q958634$B1C01E55-4896-4F40-8219-FF1C6AD212E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Galois module structure of cyclic Kummer extensions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_Galois_module_structure_of_cyclic_Kummer_extensions"}}}}}