{"entities":{"Q868907":{"pageid":870755,"ns":120,"title":"Item:Q868907","lastrevid":64962465,"modified":"2026-04-11T23:24:00Z","type":"item","id":"Q868907","labels":{"en":{"language":"en","value":"On the group of modular units and the ideal class group"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5129754"}},"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":"Q868907$4BC0BFE8-F411-4BBF-9FCA-12486274307A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76b3f5c5d7b05821cfa40b7c993ef9043917cfa0","datavalue":{"value":{"text":"On the group of modular units and the ideal class group","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q868907$8ED0CCDD-1A19-49C1-A8C9-C8C599DF42C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f06db243dbccdb8e9c1f952271f1371167552b7","datavalue":{"value":"1114.11087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868907$026171F5-8186-4D13-9D67-128936A97139","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9de767778d7897ec3fd2efe07a7181046f046f9","datavalue":{"value":{"entity-type":"item","numeric-id":607037,"id":"Q607037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868907$E686F18E-0A39-41E0-BD5D-728C32259282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c19dc689c55f51ee6ccf2c3c0423b4c6127fd51","datavalue":{"value":{"entity-type":"item","numeric-id":466160,"id":"Q466160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868907$6E3FC556-37D7-4D23-B479-CCAD33093BA4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6cac328d206d9ef9b7afb3fb4ca5d1d204199af","datavalue":{"value":{"entity-type":"item","numeric-id":167107,"id":"Q167107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868907$E8D9AA1A-2C81-43EA-AE9D-43C58B12EDE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a3e704c51126050d068b3f11b9ffa0001836f09","datavalue":{"value":{"time":"+2007-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q868907$27D86072-654C-472E-84D0-D4502596AEC3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cdf9c1329d07bc5c99b568f72bfd609ca1667494","datavalue":{"value":"In 1991, \\textit{J. M. Kim, S. Bae} and \\textit{I.-S. Lee} [Isr. J. Math. 75, No. 2--3, 161--165 (1991; Zbl 0765.11042)] proved a remarkable isomorphism concerning cyclotomic fields: if \\(A_n\\) denotes the \\(p\\)-part of the class group of \\(K_n=Q(\\zeta_{p^{n+1}})^+\\) and \\(B_n\\) denotes the quotient of the unit group by the subgroup of cyclotomic units attached to \\(K_n\\), then \\(A_n \\cong B_n\\) for large \\(n\\), provided that the \\(\\lambda\\)-invariant vanishes (as predicted by Greenberg's conjecture). This fact was independently rediscovered by Kraft and Schoof a few years later [see \\textit{J. Kraft} and \\textit{R. Schoof}, Compos. Math. 97, No. 1--2, 135--155 (1995; Zbl 0840.11043)].   In the present paper, the authors give an analogous result in the setting of complex multiplication: \\(k\\) is imaginary quadratic of conductor greater than 4, \\(p\\) is a prime that splits in \\(k\\), and \\(K_n\\) is now the ray class field \\(k(P^{n+1})\\), where \\(P\\) is one of the two prime divisors of \\(p\\) in \\(k\\). There is a close analogue to the group of cyclotomic units, afforded by the group of modular units, and this leads to a definition of a quotient \\(B_n\\) which is quite analogous to the above. The authors prove \\(A_n \\cong B_n\\) for \\(n\\) large, again under the assumption that \\(\\lambda\\) is zero, with the extra hypothesis that \\(P\\) does not split at all in the Hilbert class field of \\(k\\) (which is contained in \\(K_n\\)); so in particular the class group of \\(k\\) must be cyclic. The algebraic part of the argument, which uses a little group cohomology, is similar in style to the arguments of Kim, Bae and Lee. On the analytic side, of course more has to be done, but the existing work of Kubert and Lang on modular units is put to good use.   Reviewer's remark: Komatsu informs me that the leftmost exponent in the statement of Lemma~3 should read \\(h(p-1)/2-1\\) (the last \\(-1\\) was omitted in print). Otherwise the rank of the module will not come out right.","type":"string"},"datatype":"string"},"type":"statement","id":"Q868907$80D29324-5E48-4A7D-B4E4-1649EF36668C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a1052697d1bfdf0e3b4590cb7d303e0f09b1f3e5","datavalue":{"value":{"entity-type":"item","numeric-id":351771,"id":"Q351771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868907$2817D7C4-95C7-44CD-821C-17F152FDD84C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4991d60e07c8d9a9bf6ca12e61e8f2f85c1f64c7","datavalue":{"value":"11R23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868907$7F296376-26A9-4934-9981-02BDC97B4FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"192662b2635db680fdde4eb25b7f89dcd10292cd","datavalue":{"value":"11G16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868907$0AE0A983-4DF6-4FF4-A733-CE62F93489BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2fd527267915e1a67d12e0e59bcbf53f5fc563eb","datavalue":{"value":"5129754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868907$EA5C4238-0BC3-48BA-B099-B913DCEA9B9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4108366b06f7accfca8d2e0299f146e75913c4e8","datavalue":{"value":"complex multiplication","type":"string"},"datatype":"string"},"type":"statement","id":"Q868907$2CD7EA1A-836B-4AA1-8A9B-7322B14C6DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fd9d05358f40faa43b69c868f1b0627804051ca","datavalue":{"value":"class groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q868907$043274B6-9FC3-4E6A-BDEB-434F015CFE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"585136dd4651e19d090d50ad12f199d5f4c05c0e","datavalue":{"value":"modular units","type":"string"},"datatype":"string"},"type":"statement","id":"Q868907$F2F0AA2D-E80A-4081-A268-8D79C300A9B1","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":"Q868907$233B46E2-3219-40BC-B26A-080AF323067B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9d1b35a94c289e76e0bdea368c98ba2172d65c7","datavalue":{"value":"https://doi.org/10.1016/j.jnt.2006.07.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q868907$54C00323-C551-470D-B9D3-BA17A2A93579","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17949692dcae765f623b68af238ac49c809a3b56","datavalue":{"value":"W1977785929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868907$4C7629C2-8CFC-47EB-99B5-E2A735754450","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f1f647fab877649149f506fedc38b553a57b3a","datavalue":{"value":{"entity-type":"item","numeric-id":3988550,"id":"Q3988550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868907$60904F09-206D-4B68-8D33-DD184E651D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e922eaad4b58b1163b03cd1a5673888842e3887","datavalue":{"value":{"entity-type":"item","numeric-id":3828097,"id":"Q3828097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868907$7620E995-5DB0-43B0-BB4F-7A96CC7E1B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e2fa43df443c68d47e4f301c150408dee510436","datavalue":{"value":{"entity-type":"item","numeric-id":3344289,"id":"Q3344289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868907$2780033F-B374-45A5-AE66-E79F27DB34E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b8258868343338998c4f2e0ef7b6f382c614c72","datavalue":{"value":{"entity-type":"item","numeric-id":1255994,"id":"Q1255994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868907$D5A330FA-5FF6-47B6-B82A-379BBC5A94E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a1710afa3a0647e42463c542bf5b52d259f2b37","datavalue":{"value":{"entity-type":"item","numeric-id":2781447,"id":"Q2781447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868907$992C6C84-5928-4330-9F86-046B6EFE5C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14c6a7a829cc8e07a6f21060f4dd5d32d6421ff9","datavalue":{"value":{"entity-type":"item","numeric-id":772250,"id":"Q772250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868907$B29C2CE7-9E33-469F-BEAF-B0A57DD2FE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47229b5b912b3c269111b2cf4d73079c7b1bb959","datavalue":{"value":{"entity-type":"item","numeric-id":2393961,"id":"Q2393961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868907$DDEDBA10-E1BB-4A30-BEC3-6F691CD25CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"386af59266f7ded7587010abf9daf5cd1dce3661","datavalue":{"value":{"entity-type":"item","numeric-id":1196307,"id":"Q1196307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868907$A72BDD74-AF68-4A33-A336-9B60431E1D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cac17f8ac23946be5bfcb5c0a8a3d5875f0b54b","datavalue":{"value":{"entity-type":"item","numeric-id":3953865,"id":"Q3953865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868907$3B128837-D3DD-4482-9BFA-FCB61AC786B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"077b28e3fed5465787a8d78be3c6586fb1de5656","datavalue":{"value":{"entity-type":"item","numeric-id":1358799,"id":"Q1358799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868907$5913315E-CF20-490E-8B10-4B2F0EB5EBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3048511be8fe15d1dfce2d71ae2215ce46e8276d","datavalue":{"value":{"entity-type":"item","numeric-id":1358803,"id":"Q1358803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868907$B487BF3B-1514-4786-85AC-DF8A7809D197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55752821b407ef7480b1479e78bfa093937d7e31","datavalue":{"value":{"entity-type":"item","numeric-id":1173671,"id":"Q1173671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868907$37D5236C-EB9D-44B0-84B6-D78ED18E0D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b1de9e65a1b38cf612f1940230952caf3a9db05","datavalue":{"value":{"entity-type":"item","numeric-id":1159715,"id":"Q1159715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868907$36DABD1D-8643-4C36-8D4D-8FA0984441E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb8c7c7e9a4efa7ae17af9c5baa3f08d8cf90281","datavalue":{"value":"10.1016/J.JNT.2006.07.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868907$B11EF3C2-7E00-46CA-833E-98AB6A6E8C60","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9f17c77e2b755fd32428c95b87ee45e996cbb1e","datavalue":{"value":{"entity-type":"item","numeric-id":731229,"id":"Q731229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d9284717b7a52a9479be9211d449b9d1c0f7e55","datavalue":{"value":{"amount":"+0.7741476893424988","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":"Q868907$B4050C9F-FAC8-400A-A5D9-DF28FF2DABF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2886d4fd5f7b3f6e954705a9f55eb27e99301d3","datavalue":{"value":{"entity-type":"item","numeric-id":2880323,"id":"Q2880323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26728c795be173cf4487cbf1b675f4629be2835b","datavalue":{"value":{"amount":"+0.765555739402771","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":"Q868907$3D7D4F54-3DC8-4610-BE36-340BBE6F118D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45a1fcae582cc4e4156aefe2ba4042a24bcea553","datavalue":{"value":{"entity-type":"item","numeric-id":3953865,"id":"Q3953865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4be7906edeaeee9ff7382aef2e39a18a80e46399","datavalue":{"value":{"amount":"+0.7558498978614807","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":"Q868907$375266DD-DD6F-437C-B2D6-55254B8B2D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"189b670362fbbdc967c57fe17d8a385a1d914a10","datavalue":{"value":{"entity-type":"item","numeric-id":1382849,"id":"Q1382849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"276f4863146ead61aaa51e79240c569ae0dbe43c","datavalue":{"value":{"amount":"+0.7542718648910522","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":"Q868907$22978735-3E39-4B2D-AFEC-BF8917DB2828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dda8a29e4776fa205bc3f7c7de4c8ac29cee70fc","datavalue":{"value":{"entity-type":"item","numeric-id":1358799,"id":"Q1358799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"636ca63e70c640a8cca7b88c52096cc455184d32","datavalue":{"value":{"amount":"+0.7523714303970337","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":"Q868907$AEA90D4C-1EF2-4658-8CF1-CB6F7F89094D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the group of modular units and the ideal class group","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_group_of_modular_units_and_the_ideal_class_group"}}}}}