{"entities":{"Q670637":{"pageid":672486,"ns":120,"title":"Item:Q670637","lastrevid":53385767,"modified":"2026-01-24T21:03:58Z","type":"item","id":"Q670637","labels":{"en":{"language":"en","value":"On the class semigroup of the cyclotomic \\(\\mathbb Z_p\\)-extension of the rational numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7037589"}},"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":"Q670637$BF654148-81ED-4AF3-A71B-1157BD04B21B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4995165afb659d6b0ac3b6e538f8c812eceb5297","datavalue":{"value":{"text":"On the class semigroup of the cyclotomic \\(\\mathbb Z_p\\)-extension of the rational numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q670637$A2803A49-8886-4631-9C09-A275DB6164E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d5e2207aabd7af43751aa9e65add876bf3e5dfd","datavalue":{"value":"1426.11126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q670637$47C2EFD6-754B-44FA-BB81-6D3ADB838F86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"676414fa5a514de5da24842d14a82727dd021b63","datavalue":{"value":"10.1216/JCA-2019-11-1-69","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q670637$C90CCA5F-8DFD-463B-A650-2A163E7401A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d824ccc48ff94950da0f9077781058f3c479337e","datavalue":{"value":{"entity-type":"item","numeric-id":296568,"id":"Q296568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670637$2A1BB1F2-0BCA-48F7-9BF2-381A3F1388A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc24e6a497bd079ab1236ac4cc7152a3e249308e","datavalue":{"value":{"entity-type":"item","numeric-id":372607,"id":"Q372607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670637$9B09A614-1EDA-45A4-8975-269116AAD3C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61a4e95b669aa0544c870f6199b25a894770db84","datavalue":{"value":{"entity-type":"item","numeric-id":262654,"id":"Q262654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670637$9CBF5A35-A8E0-49D5-8A59-FB5E9AC0F970","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9dc5cebdcc6e7f765a3223544a9d2c2b5eef3c81","datavalue":{"value":{"time":"+2019-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q670637$97B18E3F-B26D-4D0F-B972-738DDD1192E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b3b535e671c65a97cc5ca6206ceec701a424ba0","datavalue":{"value":"https://projecteuclid.org/euclid.jca/1552464133","type":"string"},"datatype":"url"},"type":"statement","id":"Q670637$82DBE77D-82F1-4999-8B74-7B6C7D886AD8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8c402c28790689195e0ef4207f8b659364922d48","datavalue":{"value":"For a commutative ring \\(R\\) we let \\(F_R\\), \\(I_R\\) and \\(P_R\\) be the sets of all non-zero fractional, invertible and principal ideals of \\(R\\), respectively. The quotient \\(\\mathrm{Cl}_R := I_R / P_R\\) is called the class group of \\(R\\) and is very frequently studied. The quotient \\(S_R := F_R / P_R\\) is a commutative monoid and is called the class semigroup of \\(R\\).  Let \\(p\\) be a prime. In this paper the authors study the case where \\(R = \\mathcal{O}\\) is the ring of integers in the cyclotomic \\(\\mathbb Z_p\\)-extension \\(\\mathbb Q_{\\infty}\\) of \\(\\mathbb Q\\). Then \\(\\mathcal{O}\\) is not Dedekind, but it is still a Pr\u00fcfer domain of finite character. The latter means that every non-zero ideal of \\(\\mathcal{O}\\) is contained in only finitely many maximal ideals. It is shown that the complements \\(F_{\\mathcal{O}} \\setminus I_{\\mathcal{O}}\\) and \\(S_{\\mathcal{O}} \\setminus \\mathrm{Cl}_{\\mathcal{O}}\\) are in fact groups, where multiplication is induced by the usual multiplication of ideals. The unit element of \\(F_{\\mathcal{O}} \\setminus I_{\\mathcal{O}}\\) and \\(S_{\\mathcal{O}} \\setminus \\mathrm{Cl}_{\\mathcal{O}}\\) is the unique maximal ideal \\(\\mathfrak{p}\\) of \\(\\mathcal{O}\\) above \\(p\\) and its class \\([\\mathfrak p]\\) in \\(S_{\\mathcal{O}}\\), respectively. These groups are therefore subsemigroups, but not submonoids of \\(F_{\\mathcal{O}}\\) and \\(S_{\\mathcal{O}}\\), respectively.  Moreover, one has an isomorphism \\[ S_{\\mathcal{O}} \\setminus \\mathrm{Cl}_{\\mathcal{O}} \\simeq \\mathrm{Cl}_{\\mathcal{O}} \\times \\mathbb R / \\mathbb Z[1/p] \\] as \\(\\Gamma\\)-modules, where \\(\\Gamma := \\mathrm{Gal}(\\mathbb Q_{\\infty} / \\mathbb Q)\\) acts trivially on the second factor.  The main step in the proof is to show that every non-zero ideal \\(I\\) of \\(\\mathcal{O}\\) is of the from \\(I = \\mathfrak{a} \\mathfrak{p}^{\\alpha}\\), where \\(\\mathfrak{a}\\) is an invertible ideal and \\(\\alpha \\in \\mathbb R\\). Here, the expression \\(\\mathfrak{p}^{\\alpha}\\) means the following: For each non-negative integer \\(n\\) denote the \\(n\\)-th layer of the \\(\\mathbb Z_p\\)-extension \\(\\mathbb Q_{\\infty}/\\mathbb Q\\) by \\(\\mathbb Q_n\\) and let \\(\\mathfrak{p}_n\\) be the unique maximal ideal above \\(p\\) in \\(\\mathbb Q_n\\). Set \\(\\alpha_n := \\lfloor p^n \\alpha + 1 \\rfloor\\). Then \\[ \\mathfrak{p}^{\\alpha} = \\bigcup_{n=0}^{\\infty} \\mathfrak{p}_n^{\\alpha_n}. \\] Note that \\(\\mathfrak{p}^{0} = \\mathfrak{p}\\). One can show that the ideals \\(\\mathfrak{p}^{\\alpha}\\) are not invertible, and that one has \\(\\mathfrak{p}^{\\alpha + \\beta} = \\mathfrak{p}^{\\alpha} \\mathfrak{p}^{\\beta}\\). In order to establish the above displayed isomorphism, one finally has to show that \\([\\mathfrak{p}^{\\alpha}] = [\\mathfrak{p}]\\) if and only if \\(\\alpha \\in \\mathbb Z[1/p]\\).  We point out that the authors [J. Pure Appl. Algebra 223, No. 9, 3665--3680 (2019; Zbl 1470.11282)] have meanwhile generalized this to arbitrary number fields (albeit with some mild concessions as the final step requires the ideals \\(\\mathfrak{p}_n\\) to be principal).","type":"string"},"datatype":"string"},"type":"statement","id":"Q670637$13F8E4A3-40B9-43C1-A7B6-70D0DBAF9104","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bbb05639dd8acf989058b50b654e8b5fc060130f","datavalue":{"value":{"entity-type":"item","numeric-id":323739,"id":"Q323739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670637$CF5F8EC3-6FD7-4053-92BA-886FFC35582C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4991d60e07c8d9a9bf6ca12e61e8f2f85c1f64c7","datavalue":{"value":"11R23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q670637$6CED46F8-5CE4-4436-855B-53B98A56A763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"de7f3c1190f7fe7db561a67d5059a061b3cbbffa","datavalue":{"value":"11R29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q670637$1400A0AE-D243-4B32-A359-BED94EA844C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f7c9d38bcd3a0714adc8eaa3644182f410f014c","datavalue":{"value":"7037589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q670637$1AEAFB2F-CC0D-44AF-98E3-7DB4ED6106AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef2e467c18b731a3e1c79f56cb83fa17e48a6c45","datavalue":{"value":"class semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q670637$4D7C8607-688A-4648-9F74-326947677338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dee559072239ac89695f6cd8c38174139245fda","datavalue":{"value":"class group","type":"string"},"datatype":"string"},"type":"statement","id":"Q670637$EBC90CEF-9F72-4E24-A472-B38929561FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc408274ab7ac46cb86d79862de0da4be8513b07","datavalue":{"value":"cyclotomic extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q670637$838E7062-D514-44EA-8099-95E8F39779E7","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":"Q670637$780CAE6B-04DE-41C2-8031-5D064A0D7428","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"806dfbfc22dff124428b43ecc50dc069410c5f52","datavalue":{"value":{"entity-type":"item","numeric-id":1922901,"id":"Q1922901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670637$363B1EC0-A927-4A27-A62B-7AB08DACC4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7106361c35ed4b634f6c007914c0376aa57e0996","datavalue":{"value":{"entity-type":"item","numeric-id":4519203,"id":"Q4519203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670637$52BCFCDD-5EE1-4268-BF9D-20B77FB52664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94d4fb2573b1baf40185893dde6b5213a3445374","datavalue":{"value":{"entity-type":"item","numeric-id":5936928,"id":"Q5936928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670637$1393D84C-C2C9-4890-B68A-7832F27AF9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54d57d42eb33982377a4c977d116125b256ac5d","datavalue":{"value":{"entity-type":"item","numeric-id":1817272,"id":"Q1817272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670637$86ACB016-B55F-4FA4-A33E-F6884C822221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2aec97b7ec7141daa64f9af597324eb69877bf","datavalue":{"value":{"entity-type":"item","numeric-id":4312699,"id":"Q4312699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670637$7A72526F-4834-490D-BFE2-838C58D68ADA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc07d0e12f79b3abd4db2ad6c36fc3d4214f4db4","datavalue":{"value":"W2922098255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q670637$D723F15B-7B1B-4ACB-8F27-0F151913DD18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f19415c9926f601b1828eb4b18403f8e094f9d3","datavalue":{"value":{"entity-type":"item","numeric-id":2421329,"id":"Q2421329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06034b04add7e6c8fe1f51aa38465010b7a9232d","datavalue":{"value":{"amount":"+0.8140612244606018","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":"Q670637$E105E37C-4A6A-43EA-B217-C73A14702D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58c030c9d27fe20f03ec098f1c1fe7c6e19ee99d","datavalue":{"value":{"entity-type":"item","numeric-id":961448,"id":"Q961448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fff17d2ce2c41da10d9d60287ba9ea86eccaa31","datavalue":{"value":{"amount":"+0.8019445538520813","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":"Q670637$D694AF83-8040-40CB-BBEC-820F6564FFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"191d955ad9d56819346f4c97a4e6eaafdd0ba331","datavalue":{"value":{"entity-type":"item","numeric-id":482853,"id":"Q482853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fce4f0cb1fb5550784a8eb6bc1e822a7d04a5998","datavalue":{"value":{"amount":"+0.7908822298049927","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":"Q670637$2D4C4C52-B939-4502-BF17-5F6734837930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"975c88ab7d7d7ba66c171a5092e3ce287fcddfad","datavalue":{"value":{"entity-type":"item","numeric-id":1078240,"id":"Q1078240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99b279fd0459e20405b4dc261bf920fb8e3b1f23","datavalue":{"value":{"amount":"+0.7821260094642639","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":"Q670637$E810B610-0B62-4C66-99C2-F7847BE566C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d5f6c69aac517ea9a7abc9b9b39542ace321862","datavalue":{"value":{"entity-type":"item","numeric-id":609394,"id":"Q609394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"922d0dbecc2d8848bd61ee17884d52dcb63926eb","datavalue":{"value":{"amount":"+0.7719161510467529","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":"Q670637$7DDABC28-ECDB-44D0-A6C9-A3C73B741E68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:670637","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:670637"}}}}}