{"entities":{"Q482853":{"pageid":484620,"ns":120,"title":"Item:Q482853","lastrevid":62171757,"modified":"2026-04-11T04:14:55Z","type":"item","id":"Q482853","labels":{"en":{"language":"en","value":"On the ideal class groups of the maximal cyclotomic extensions of algebraic number fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6383636"}},"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":"Q482853$87DB1590-B680-45C0-8EC9-7496186D844E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3f19235d9a6c651e4a646dbcae6c75920a8e5fb","datavalue":{"value":{"text":"On the ideal class groups of the maximal cyclotomic extensions of algebraic number fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q482853$B01B2806-0045-4F85-BD37-A09393FFE3AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"154acba9ce191e7119f73f42bb5497225fcd657c","datavalue":{"value":"1332.11096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q482853$5CFD1422-5A97-4F8D-9223-47F7C6284AB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c4dd687faaf886659bf803922ffb1fe23d47a1b","datavalue":{"value":{"entity-type":"item","numeric-id":194939,"id":"Q194939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482853$025A70A7-9A91-45DA-AAEA-723F8A0300E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6db4bd470edb111094f50a346a34a8ff7644b14","datavalue":{"value":{"entity-type":"item","numeric-id":176973,"id":"Q176973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482853$13F53E0C-A761-4DBA-84BC-031354F135DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39d11daed231ddc9c09fdaf1d1bb16c5de77d47a","datavalue":{"value":{"time":"+2015-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q482853$04287929-3735-45F5-9973-11A7B30DCC05","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b712e1d12acbdffead00692dc6f7ceb0e849fe7f","datavalue":{"value":"https://projecteuclid.org/euclid.jmsj/1414090235","type":"string"},"datatype":"url"},"type":"statement","id":"Q482853$9FCD84DD-0993-41E9-A5F9-BC52A09ADD6F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"96128607210804713b5894cca2e75e5574e3b41b","datavalue":{"value":"Let \\(k_0\\subset \\mathbb{C}\\) be a number field. Let \\(k_{\\infty}\\) be the maximal cyclotomic extension of \\(k_0\\) and \\(C_{\\infty}\\) its class group; \\(C_{\\infty}\\) is a direct sum of its \\(p\\)-primary components \\(C_{\\infty}(p)\\) for all prime number \\(p\\): \\(C_{\\infty}=\\bigoplus_pC_{\\infty}(p)\\). Let \\(k_1/k_0\\) be the subextension of \\(k_{\\infty}/k_0\\) obtained by adjoining a primitive \\(4\\)-th root of unity and all primitive \\(l\\)-th root of unity, where \\(l\\) is an odd prime number. Put \\(\\mathfrak{g}=\\operatorname{Gal}(k_{\\infty}/k_1)\\), then \\(\\mathfrak{g}\\) acts naturally on \\(C_{\\infty}\\). The purpose of the paper is to investigate the structure of \\(C_{\\infty}\\) as a \\(\\mathfrak{g}\\)-module.  From now on suppose that \\(k_0\\) is totally real and \\(p\\) is an odd prime number. Let \\(k_{\\infty}^{+}\\) denote the maximal totally real subfield of \\(k_{\\infty}\\). The complex conjugation \\(\\rho\\), which is a generator of \\(\\operatorname{Gal}(k_{\\infty}/k_{\\infty}^{+})\\), acts on \\(C_{\\infty}(p)\\). Let \\(C_{\\infty}(p)^{\\pm}=\\{c\\in C_{\\infty}(p), \\rho(c)=\\pm c\\}\\). Then \\(C_{\\infty}(p)=C_{\\infty}(p)^{+} \\oplus C_{\\infty}(p)^{-}\\), as discrete \\(\\mathfrak{g}\\)-modules. According to a result of \\textit{M. Kurihara} [J. Eur. Math. Soc. (JEMS) 1, No. 1, 35--49 (1999; Zbl 0949.11055)], \\(C_{\\infty}(p)^{+}=\\{0\\}\\). Therefore \\(C_{\\infty}(p)=C_{\\infty}(p)^{-}\\). Let \\(W(p)\\) be the group of all \\(p\\)-power roots of unity. For a pro-\\(p\\) \\(\\mathfrak{g}\\)-module \\(X\\), \\(\\Hom(X, W(p))\\) denotes the set of continuous homomorphisms from \\(X\\) to \\(W(p)\\). The group \\(\\mathfrak{g}\\) acts on \\(\\Hom(X, W(p))\\) by: \\(\\sigma(f)(x)=\\sigma(f(\\sigma^{-1}(x))\\), so that \\(\\Hom(X, W(p))\\) is a discrete \\(\\mathfrak{g}\\)-module. Let \\(\\mathcal{A}_p\\) be the completed group algebra of \\(\\mathfrak{g}\\) over \\(\\mathbb{Z}_p\\) (the ring of \\(p\\)-adic integers), which is a pro-\\(p\\) \\(\\mathfrak{g}\\)-module. Let \\(\\mathfrak{C}_p=\\Hom(\\mathcal{A}_p, W(p))\\). The main result of the paper is: as discrete \\(\\mathfrak{g}\\) modules, \\(C_{\\infty}(p)\\simeq \\bigoplus_{N=1}^{\\infty}\\mathfrak{C}_p\\). The proof uses a characterization of the pro-\\(p\\) \\(\\mathfrak{g}\\) module \\(\\prod_{N=1}^{\\infty}\\mathcal{A}_p\\) in terms of the solvability of embedding problems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q482853$7F928C6E-231E-45F6-89FD-0492B0433E62","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a5c8cce97cca7714699421b416df7836ddc9c049","datavalue":{"value":{"entity-type":"item","numeric-id":351236,"id":"Q351236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482853$7892367A-CCAB-4583-8CB8-CBAFEEE83E6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33596e09702254c39edd592e961d4cba7cfc6c47","datavalue":{"value":"11R18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q482853$5A31C170-5C58-414F-8777-BF0B27236707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4991d60e07c8d9a9bf6ca12e61e8f2f85c1f64c7","datavalue":{"value":"11R23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q482853$47A05397-EB6D-4031-A607-B2647DF8BE77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7dce22fe1f2afb254c668a3c4fc803d76c69d28","datavalue":{"value":"6383636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q482853$62339326-635E-4A2E-9944-E1293EE2FF31","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fd9d05358f40faa43b69c868f1b0627804051ca","datavalue":{"value":"class groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q482853$AE1DA463-F1AE-4801-AD93-4A77D179A172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47971d08cf6bae0ce694ee6ba8176f2e9c28d3f6","datavalue":{"value":"cyclotomic extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q482853$3773BAB9-764E-4C57-9A7C-5B5182DB191C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0e43ada068132611349aeed954e424a5fecabf9","datavalue":{"value":"embedding problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q482853$324319FC-A2B6-4685-97E2-7229F2300DE3","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":"Q482853$F56F1B51-9689-42CA-86CA-A8346F9165FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"283b2afe54470d56883b0c16693aedb1d3c749d0","datavalue":{"value":"W2069295974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q482853$D86906E3-3F51-48D3-8661-6EAD3B3108F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b224267567184d222551091d17570be62bf394","datavalue":{"value":{"entity-type":"item","numeric-id":925102,"id":"Q925102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482853$0C95FCDC-B704-49B4-A525-1CF14895881F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a0ba86e43153a9159b86e5925f38b2af0e951e6","datavalue":{"value":{"entity-type":"item","numeric-id":1160231,"id":"Q1160231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482853$A2D36987-BCAB-411C-AA0A-A00158128398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"190b171e49e5936999b1e871e8636040cf0b3d54","datavalue":{"value":{"entity-type":"item","numeric-id":3478490,"id":"Q3478490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482853$C243FEF9-A061-4725-B502-61E314B751C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3514f746e8e30416c99d4de0792ca91c882f6847","datavalue":{"value":{"entity-type":"item","numeric-id":2651117,"id":"Q2651117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482853$491123C9-285B-4AF6-BAC6-F796613A35D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab9dac30800b78d89d83cf6690eb9e06e6e19226","datavalue":{"value":{"entity-type":"item","numeric-id":771510,"id":"Q771510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482853$69697922-8F56-4D66-88A0-8EF98085A9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"591e9a480cf8bbd1bf7c2d295389036b8df9c1d1","datavalue":{"value":{"entity-type":"item","numeric-id":1280733,"id":"Q1280733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482853$FFBF1612-DB4A-4564-86DA-77D07DA20D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"778f73ab18f4b36a04397039266c9d3f9a113879","datavalue":{"value":{"entity-type":"item","numeric-id":5765649,"id":"Q5765649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482853$9E895D1C-D779-4208-88ED-F483B866CA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40296007b33410ed8801c06557a7aff54caaf29d","datavalue":{"value":{"entity-type":"item","numeric-id":5828054,"id":"Q5828054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482853$BC484366-770A-41E3-9DE4-8DA97A7A97E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc57970a203e1409046e508a2fb1251fbe1b8fd8","datavalue":{"value":{"entity-type":"item","numeric-id":1172674,"id":"Q1172674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482853$4CCCE8CF-6056-4D00-8447-3F5FCE14FC3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5a1d8e4cbf6ee0730b84e148d326932fc2a3fea","datavalue":{"value":"10.2969/JMSJ/06641091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q482853$AA8D040A-8FD2-40BB-B6F5-8B4ED1DD091B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b23aab07b8f2009d49504e94bd71e8559b97bf1","datavalue":{"value":{"entity-type":"item","numeric-id":1431077,"id":"Q1431077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7952998be08c00e5fd1469ff0ae0f13d782edf5c","datavalue":{"value":{"amount":"+0.7989012598991394","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":"Q482853$6EDFBE15-5002-4F07-AE30-EF9B921F6DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4386c37cbcdd80368b9349811a73cd79b972092","datavalue":{"value":{"entity-type":"item","numeric-id":925102,"id":"Q925102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"329d63b24995ba526d9169e2530eacba299264a8","datavalue":{"value":{"amount":"+0.7862914204597473","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":"Q482853$5DE2A7FA-7462-4BD7-BF6B-AE72DB5FFB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf58c0a2fc7753155bfaae5f1c3578dc2bfd153","datavalue":{"value":{"entity-type":"item","numeric-id":1060248,"id":"Q1060248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5442bd528ce345b9340201271e3d07877d5c511f","datavalue":{"value":{"amount":"+0.7813791632652283","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":"Q482853$A3DAFC57-1919-4894-A7E4-4287214292A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bb5d778997e4eb4a5ca0bf9757352d56b4e8cb9","datavalue":{"value":{"entity-type":"item","numeric-id":1280733,"id":"Q1280733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cec3a748fff0fda9576f224fc3192bc22b12125","datavalue":{"value":{"amount":"+0.7760154008865356","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":"Q482853$E0690E8E-0041-4123-A418-35E4C5FC6C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13a68c42a282a9923be84aeeefa7c761a61cadd4","datavalue":{"value":{"entity-type":"item","numeric-id":4396704,"id":"Q4396704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cec3a748fff0fda9576f224fc3192bc22b12125","datavalue":{"value":{"amount":"+0.7760154008865356","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":"Q482853$14FDA283-886E-4025-BF8D-837E85F0FA3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the ideal class groups of the maximal cyclotomic extensions of algebraic number fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_ideal_class_groups_of_the_maximal_cyclotomic_extensions_of_algebraic_number_fields"}}}}}