{"entities":{"Q1280733":{"pageid":1291483,"ns":120,"title":"Item:Q1280733","lastrevid":68361621,"modified":"2026-04-12T23:11:49Z","type":"item","id":"Q1280733","labels":{"en":{"language":"en","value":"On the ideal class groups of the maximal real subfields of number fields with all roots of unity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1264484"}},"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":"Q1280733$8C5FDDA5-32B9-4D8F-94FD-997AC43BDEA8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4f53b0d343a78ca6304545666d2bfa0588658e0","datavalue":{"value":{"text":"On the ideal class groups of the maximal real subfields of number fields with all roots of unity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1280733$9B1FF0C5-1F9C-4AA9-8CDD-10C63DA263B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7f66fe07b965160b8fffc9e1c4d70aeb890726d","datavalue":{"value":"0949.11055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280733$992248F1-2FC9-4275-AD9B-1874B2F28D0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24d33a3a0f3ac87503ec36eddd903719380e625e","datavalue":{"value":"10.1007/PL00011159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280733$F16AD0C1-006E-4E32-A268-D10B70B8D219","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15289bfccc27fbf1a984a0d6852f68f31d868cb1","datavalue":{"value":{"entity-type":"item","numeric-id":321869,"id":"Q321869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1280733$4DAA86FC-C551-4E68-8950-ED59292CF1AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"26780b1287f0091cd789fa2d15704011bf65df86","datavalue":{"value":{"entity-type":"item","numeric-id":171275,"id":"Q171275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1280733$1FADCC8E-1682-4AF8-BF7B-76F7E87C798D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f3874e79ee38a0977d37b90aebc56f50f1835ed","datavalue":{"value":{"time":"+1999-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":"Q1280733$E2C0B5C6-F7A0-42E3-B442-6551FF737B04","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"61f8af57fe8e4508e6653ef11d2b54f36d85b70f","datavalue":{"value":"Let \\(k\\) be a totally real number field and \\(k_\\infty= \\bigcup_{n>0} k(\\mu_n)\\) be the field obtained by adjoining all the roots of unity to \\(k\\), and \\(k_\\infty^+\\) the maximal real subfield of \\(k_\\infty\\). In this paper, the author shows the nice main result that the ideal class group \\(C_{k_\\infty^+}\\) of \\(k_\\infty^+\\) is trivial. The point of the proof is that \\(k_\\infty\\) contains all \\(\\mu_l\\) for any prime \\(l\\). By choosing a ``special'' prime \\(l\\) (infinitely many such primes exist), the author succeeds in making a specific ideal class capitulate in a totally real subfield of the field obtained by adjoining \\(\\mu_l\\). On the other hand, as the author mentions, we know that the ideal class group \\(C_{k_\\infty}\\) is generated by infinitely many elements [e.g. \\textit{A. Brumer}, J. Pure Appl. Algebra 20, 107-111 (1981; Zbl 0476.12006), \\textit{K. Horie}, Compos. Math. 74, 1-14 (1990; Zbl 0701.11063), or the preprint of M. Kurihara referred to as [11] in the paper under review].    This result reminds us of Greenberg's conjecture, which states that the ideal class group of the cyclotomic \\(\\mathbb{Z}_p\\)-extension of \\(k\\) is trivial [\\textit{R. Greenberg}, Am. J. Math. 98, 263-284 (1976; Zbl 0334.12013)]. Actually, the author applies his method to the conjecture, and proves some results on the existence of infinitely many real abelian extensions of degree divisible by \\(p^n\\) for which Greenberg's conjecture for \\(p\\) is true, where \\(p\\) is a fixed odd prime and \\(n\\) is any natural number.    Further, in an Appendix, the author shows as a CM-analogue of the main theorem that \\(C_{Kk^{ab}}\\) is trivial if \\(k\\) is an imaginary quadratic field and \\(k^{ab}\\) is the maximal abelian extension of \\(k\\), and \\(K\\) is any number field. As an immediate consequence of it, the author obtains a conjecture of Gras [Conjecture 0.5 in \\textit{G. Gras}, J. Number Theory 62, 403-421 (1997; Zbl 0869.11088)] is valid for number fields including an imaginary quadratic field.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280733$7617C463-C617-4346-ABBF-316ADE52D7F4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8fd224a9a9b43e90b30cf17eb21780461332a324","datavalue":{"value":{"entity-type":"item","numeric-id":588627,"id":"Q588627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1280733$C06F54ED-C944-456B-9396-120CCB1D27B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4991d60e07c8d9a9bf6ca12e61e8f2f85c1f64c7","datavalue":{"value":"11R23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280733$364AA06C-1A48-4EDD-BF1D-93CDBB2C1972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"de7f3c1190f7fe7db561a67d5059a061b3cbbffa","datavalue":{"value":"11R29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280733$329F2F54-CB77-4405-B0E3-B2E6EDAB68C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c58c91ba6ac947e2fd708917bdc5cad0e229b528","datavalue":{"value":"11R80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280733$13B23B33-1BC1-496C-A088-55CDAD09D3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6c8c38e3821711a95703abcc2630cc0d5683ad9a","datavalue":{"value":"11R34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280733$60488493-4E78-4614-9737-576D2F58CD20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a0ee8c324920177e197444829675aa91988bfa4","datavalue":{"value":"1264484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280733$F5B99FE1-C956-412B-BD80-1965CD4B2B04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81de39553caa2c042cc65d6781dcb2c26750423d","datavalue":{"value":"Iwasawa theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280733$45FD3E92-4CCD-4658-8508-9471F2B247E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fd9d05358f40faa43b69c868f1b0627804051ca","datavalue":{"value":"class groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280733$82ADE232-FC8B-4760-B3B1-8AD2A4818253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdc897b7c4a81aeb93e48827172e15a702da68e5","datavalue":{"value":"maximal real subfields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280733$AA2E8F73-9455-4BCE-87E3-9555664565C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"074d72856bbbfa7f24bef96160f16fc09511824f","datavalue":{"value":"Galois cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280733$6AE18F6C-9EFF-4BA8-8F51-E648CE4D372E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"775ef01221ff9d2f8ce333b0daf022ed5b71923c","datavalue":{"value":"existence of infinitely many real abelian extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280733$054F8091-08FD-48A9-A929-1DD73855F2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2408797b3e672b9d078cc4d3091344295280d8b","datavalue":{"value":"Greenberg's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280733$EA7B01FF-2F3B-4104-90B4-772E1A466232","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":"Q1280733$CE953767-8EF3-4B76-8BAF-67FE4AA7D795","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c60ffa848ef9b08e7fe3647b2a691914289b9e4b","datavalue":{"value":"https://doi.org/10.1007/pl00011159","type":"string"},"datatype":"url"},"type":"statement","id":"Q1280733$26C86AB6-CDEB-49C1-90DC-31392A8FBAC3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6bd14ede01a45bd3ec792d8a3a37877dc20ab418","datavalue":{"value":"W2084003094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280733$FEACEB5A-83A5-40ED-ACEA-8F5F105FD3C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8111aba5832f8f14ee302ab29c326e56f407fd9","datavalue":{"value":{"entity-type":"item","numeric-id":2035081,"id":"Q2035081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddfa01b76db535c1a5dc32801f832b20df6e7412","datavalue":{"value":{"amount":"+0.8187457919120789","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":"Q1280733$EC8C322E-5BC7-4B36-9DDE-247FB6D0E5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7299c694c0f3a9859ed50f19c099f577fb9e74f","datavalue":{"value":{"entity-type":"item","numeric-id":1384454,"id":"Q1384454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"701b5624335e15514560b0899e58d6a333c686e1","datavalue":{"value":{"amount":"+0.8136752843856812","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":"Q1280733$650037C6-4336-4D0B-9BBA-C5E07CEE72ED","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":"23192b22b3e596a435fb93974dfa85ca8ee1f7d6","datavalue":{"value":{"amount":"+0.8110436797142029","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":"Q1280733$8D8C79E4-7DD8-4F13-8F8F-199ACC4F3022","rank":"normal"},{"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":"a26e400b814d11a65d90bb1fa50fbbb1eedae2a5","datavalue":{"value":{"amount":"+0.8053424954414368","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":"Q1280733$F561A6C7-01AA-499A-A137-698CC1928874","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the ideal class groups of the maximal real subfields of number fields with all roots of unity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_ideal_class_groups_of_the_maximal_real_subfields_of_number_fields_with_all_roots_of_unity"}}}}}