{"entities":{"Q812890":{"pageid":814738,"ns":120,"title":"Item:Q812890","lastrevid":64528857,"modified":"2026-04-11T20:30:15Z","type":"item","id":"Q812890","labels":{"en":{"language":"en","value":"The ideal class group of the basic \\(\\mathbb Z_p\\)-extension over an imaginary quadratic field"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5001916"}},"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":"Q812890$136131A2-F914-4249-B83E-E41CC28B51C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3f2ed402f53aacbcf0521bba3ca114231811ad5","datavalue":{"value":{"text":"The ideal class group of the basic \\(\\mathbb Z_p\\)-extension over an imaginary quadratic field","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q812890$F663EB29-D69D-4804-A1AE-BF271EB5E4D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab81e339bf5fd7d157bcd9a62712463f7eb150bd","datavalue":{"value":"1128.11051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812890$EFC34621-14CD-4BE9-86C2-89A70FDE5572","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2353966440ed30513b5b4c55c37fbd53723eb0a","datavalue":{"value":{"entity-type":"item","numeric-id":219026,"id":"Q219026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812890$E2691D7E-6792-4B69-9BD0-7F659AA69850","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f57d451e29ac1aea784b2facd6b9348f2ad6b455","datavalue":{"value":{"entity-type":"item","numeric-id":177355,"id":"Q177355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812890$756B9207-5BE4-4EF7-9F84-1A59B732F2ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2fa5cbbf808f29fb66da4d33bdc49dbbe5762f9","datavalue":{"value":{"time":"+2006-01-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":"Q812890$96818004-047C-4A61-8670-74F6B8E64B9F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"188a6a73f0a021ebeb3ee8b3d85ed27991ddba78","datavalue":{"value":"Let \\(p\\) be prime, let \\(k\\) be either \\(\\mathbb Q\\) or an imaginary quadratic field, and let \\(K\\) be the cyclotomic \\(\\mathbb Z_p\\)-extension of \\(k\\). Let \\(\\ell\\) be prime and let \\(C_K(\\ell)\\) denote the \\(\\ell\\)-primary part of the class group of \\(K\\). The reviewer [Invent. Math. 49, 87--97 (1979; Zbl 0403.12007)] showed that \\(C_K(\\ell)\\) is finite for all \\(\\ell\\neq p\\). The present paper shows explicitly that \\(C_K(\\ell)\\) is usually trivial. Let \\(q=p\\) if \\(p\\) is odd and \\(q=4\\) if \\(p=2\\). Let \\(\\nu\\) be an integer such that \\(q\\mid p^\\nu\\) and let \\(h\\) be the class number of the subfield of \\(K\\) of degree \\(p^{2\\nu-1}/q\\) over \\(k\\) when \\(k=\\mathbb Q\\) or degree \\(p^{2\\nu-2}\\) over \\(k\\) when \\(k\\) is imaginary quadratic. The author shows that if \\(\\ell^{\\phi(q)}\\not\\equiv 1\\pmod{qp^{\\nu}}\\), if \\((\\ell, h)=1\\), and if \\(\\ell\\) is greater than an explicit bound (depending on \\(p\\), \\(\\nu\\), and \\(k\\)), then \\(C_K(\\ell)\\) is trivial.","type":"string"},"datatype":"string"},"type":"statement","id":"Q812890$9B038C5D-FCC8-4C0A-A9F0-647A00650579","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0598b585e504530f99474420eb7c8800cf7c9592","datavalue":{"value":{"entity-type":"item","numeric-id":590691,"id":"Q590691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812890$E3DFE68B-0E35-4596-8F8A-E336E1E4FDF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4991d60e07c8d9a9bf6ca12e61e8f2f85c1f64c7","datavalue":{"value":"11R23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812890$4B359EC3-CF97-465B-AAAF-1E1A35374DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"de7f3c1190f7fe7db561a67d5059a061b3cbbffa","datavalue":{"value":"11R29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812890$6D85FEC5-FA30-4416-9387-39D1425355B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e0dc313f4ffe9b92447de2779f1aa579973c8f9","datavalue":{"value":"5001916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812890$7D3E97FA-2106-49A3-B5EF-E967039FECB0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81de39553caa2c042cc65d6781dcb2c26750423d","datavalue":{"value":"Iwasawa theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q812890$3897AF7B-C0C8-4411-BEC1-9BDFC42BC3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca541973fe96d22ad8da1bac9ef8885230724137","datavalue":{"value":"class number","type":"string"},"datatype":"string"},"type":"statement","id":"Q812890$BC6B1589-D511-4869-941F-ED36864836F4","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":"Q812890$80F9CFB9-D77E-4B19-BB7D-E113CC47185D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac18cc82f2a80cdb7b978a4397c677003a2dec1e","datavalue":{"value":"https://doi.org/10.2748/tmj/1128703003","type":"string"},"datatype":"url"},"type":"statement","id":"Q812890$309F44AD-7E9A-47F9-81A5-085A786BF7D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b1e9f1c6902ce4b0bb2116f0b936928175046a2","datavalue":{"value":"W1969177374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812890$645C60E5-FEAC-49D5-9EB6-1079293BC92C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d697d492e94b3a90a834febd9facad701bd87841","datavalue":{"value":{"entity-type":"item","numeric-id":2626004,"id":"Q2626004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812890$121175B2-7785-45B2-818B-879FD94A9084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa87beadaf61fd8d96c0bbe7565823869f43dd1","datavalue":{"value":{"entity-type":"item","numeric-id":3710600,"id":"Q3710600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812890$4F25905B-26CC-4F5B-9178-AEF72524B3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cbe34fb4dae8da4d0406b923106c4ea7dd3c348","datavalue":{"value":{"entity-type":"item","numeric-id":3215328,"id":"Q3215328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812890$F9AED12B-6712-4015-9B4E-24F6A150AD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9223fe125f907a1f9ed66d643a1ec456ebbd9cbc","datavalue":{"value":{"entity-type":"item","numeric-id":5825761,"id":"Q5825761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812890$0B52A5C7-28B8-4997-918B-36DB351BE203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c6b287f594981f4532d6f37dbe9f7837636c67","datavalue":{"value":{"entity-type":"item","numeric-id":5811275,"id":"Q5811275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812890$8EBF25A6-6023-4FC1-97C6-2532703E9B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee2765c499c203c88283d8e82827b712be43dd54","datavalue":{"value":{"entity-type":"item","numeric-id":3151150,"id":"Q3151150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812890$C78D57FE-BFE0-495C-A1DD-AB7D0A0E9766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e76aeb29bc461cacbe3a49f83d7cdb4d381c0156","datavalue":{"value":{"entity-type":"item","numeric-id":768109,"id":"Q768109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812890$2BE6DE05-F949-41EA-A225-518D9C21F15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97007d4dab53d9d534f3de065f3ed467f7ac1ce2","datavalue":{"value":{"entity-type":"item","numeric-id":1215538,"id":"Q1215538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812890$D7DF262A-8A91-4BD1-B476-DC30C596A788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ce0c64febf407e0b09270d3b10986dbe5a02144","datavalue":{"value":{"entity-type":"item","numeric-id":1255996,"id":"Q1255996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812890$D41E3A01-A6D7-421F-B014-F212AF522ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b30d5e572a2001443c05483b553f3cfd7bc29775","datavalue":{"value":{"entity-type":"item","numeric-id":5690489,"id":"Q5690489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812890$1972865F-39D3-4DD4-BF8D-0F96D849A0B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ebbc62f54960df53e715c237b77490d5efcd092","datavalue":{"value":"10.2748/TMJ/1128703003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812890$0EE71AFE-B14B-40FD-B69E-3D4F47535E5D","rank":"normal"}],"P1643":[{"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":"95fc3ca78315a660e6797cba34f74fd5959a34a1","datavalue":{"value":{"amount":"+0.8831416964530945","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":"Q812890$C7D4FE17-AAC7-4EC9-BE75-C96446CF92DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3850a579a0b60ebf03bbb9515112b77e61b1238b","datavalue":{"value":{"entity-type":"item","numeric-id":977335,"id":"Q977335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dbb31fc40c8ad8e29e88d85b9b8bc5c873f54f4","datavalue":{"value":{"amount":"+0.8524099588394165","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":"Q812890$0ED8006E-F274-42FC-BB1D-3344F7219B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa935578ecdab985aed8f18317c5281cfea07859","datavalue":{"value":{"entity-type":"item","numeric-id":2472597,"id":"Q2472597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb72f4774d6c2ac10ae95d5729cff9e169a77de","datavalue":{"value":{"amount":"+0.8146374821662903","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":"Q812890$6E1A7E69-9EA1-4135-B886-42A0857AD12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb418e01c6e44e5782266f89efeda0147cad3e58","datavalue":{"value":{"entity-type":"item","numeric-id":816833,"id":"Q816833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"419b68c694a84925c7dad82071e07528ed988ff8","datavalue":{"value":{"amount":"+0.8120037913322449","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":"Q812890$5AE70A8D-8E37-44E9-B732-0BD9FCFF58BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb0c1ded8ca421d7bfede7827064094271d9ee22","datavalue":{"value":{"entity-type":"item","numeric-id":1928335,"id":"Q1928335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94f752140896549cc427f9186c3e1a90916f9436","datavalue":{"value":{"amount":"+0.8052058219909668","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":"Q812890$00922DBA-0270-4F90-A541-E694B727916A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The ideal class group of the basic \\(\\mathbb Z p\\)-extension over an imaginary quadratic field","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_ideal_class_group_of_the_basic_%5C(%5Cmathbb_Z_p%5C)-extension_over_an_imaginary_quadratic_field"}}}}}