{"entities":{"Q963131":{"pageid":964979,"ns":120,"title":"Item:Q963131","lastrevid":79872326,"modified":"2026-05-06T14:54:21Z","type":"item","id":"Q963131","labels":{"en":{"language":"en","value":"Construction of 3-Hilbert class field of certain imaginary quadratic fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5690869"}},"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":"Q963131$3A9FA43E-D965-4CB3-A4F6-AE39F5D9E8CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b951a95d9ae65f43e628d7cf1d996325ac741538","datavalue":{"value":{"text":"Construction of 3-Hilbert class field of certain imaginary quadratic fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q963131$736A8F77-F2F5-444E-B268-6E823DEFA093","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1273520bfc131dbee157cee9a7411079eb8f4442","datavalue":{"value":"1195.11148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q963131$E667400E-BBFC-44EF-B9DF-47F705EA08CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aebdc51449e8875484731fdbd7b0bfd98c15e17e","datavalue":{"value":{"entity-type":"item","numeric-id":168544,"id":"Q168544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963131$43A3600D-5EF8-49DE-AE4A-2F4B1A15BF12","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3f6c7b78c5b27fc48ae0a7d3dd3bb661f120eab","datavalue":{"value":{"entity-type":"item","numeric-id":168532,"id":"Q168532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963131$CFCC4CC9-2FFE-4515-A49B-C44AF77DB4BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d97353d9d5ceeee1d588f15c1326d45f6636916","datavalue":{"value":{"time":"+2010-04-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q963131$F7901EC2-362D-48F7-9112-33259E1A9E1F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f59ca19938db2c2c16c2c8a19d5df45311310968","datavalue":{"value":"In this short paper, the author describes a way of finding the 3-class field \\(H_k\\) of an imaginary quadratic field \\(k=\\mathbb Q(\\sqrt{-d})\\). As usual, one assumes \\(d\\) squarefree. The method is simply Kummer theory over \\(k_z=k(\\zeta_3)\\) plus descent from \\(k_z\\) to \\(k\\). The main result (theorem 3) exhibits \\(H_k\\) as \\(k(\\root 3 \\of {\\alpha^2}+\\root 3 \\of {\\alpha^{-2}})\\) with \\(\\alpha\\) the fundamental unit of \\(\\mathbb Q(\\sqrt{3d})\\), under the following three assumptions: (1) \\(d\\) is not congruent to 3 modulo 9, (2) \\(k\\) has class number 3, and (3) \\(\\mathbb Q(\\sqrt{3d})\\) has class number 1. As an example, the author treats the case \\(d=23\\), which is actually the smallest value possible.   Reviewer's remarks:   (a) The hypothesis (1) is superfluous: if \\(d\\) is 3 (or 6, for that matter) modulo 9, then \\(d\\) is divisible by 3; by genus theory, since \\(h_k\\) is odd by hypothesis (2), \\(d\\) can have no other prime factor, so \\(d=3\\); but this is impossible, again by (2).   (b) Hypotheses (2) and (3) seem rather restrictive. It would suffice to assume \\(h_k\\) divisible by 3 and not by 9, and \\(h_{{\\mathbb Q}(\\sqrt{3d})}\\) prime to 3; one would in fact expect this since \\(H_k\\) is defined to be the 3-class field, not the full Hilbert class field. As it stands, the main theorem would only cover finitely many imaginary quadratic fields.   (c) It seems likely that a slightly more direct argument is possible. Under the author's hypotheses, the extension \\(H_kk_z/k_z\\) must be given by adjoining a cube root of a unit \\(\\beta\\) of \\(k_z\\), since \\(k_z\\) will have class number prime to 3. Easy arguments show that we may assume \\(\\beta= \\zeta\\alpha\\) with \\(\\alpha\\) as in the first paragraph and \\(\\zeta\\) a third root of unity. The usual descent argument will give exactly the desired statement, once we know that \\(\\zeta=1\\). This can be done by a calculation. The point to check is: if \\(\\alpha\\) itself is not hyperprimary (i.e., congruent to a cube modulo the third power of the prime above 3), then \\(\\zeta_3\\alpha\\) and \\(\\zeta_3^2\\alpha\\) will not be hyperprimary either; and adjunction of a cube root gives an extension unramified at 3 iff the radical is hyperprimary.   (d) In particular, one can replace \\(\\alpha^2\\) by \\(\\alpha\\) in the example \\(d=23\\), leading to a ``smaller'' generating polynomial \\(x^3-3x-25\\). Actually, by more general arguments, any monic cubic with integer coefficients and discriminant \\(-23\\) times a square will work; the ``smallest'' such is \\(x^3-x-1\\), as is fairly well known; this has discriminant \\(-23\\), which is in fact the minimum in absolute value for \\textit{all } such cubics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q963131$AD0E9267-B9BB-47C1-819E-B14C02613E31","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":"Q963131$58F07A81-D0EF-4D6F-B7FD-DF4BAE56D39D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa5ce256704e22ae9f3767d9b7f6b25420f642b6","datavalue":{"value":"11R37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q963131$1C30A154-35FD-49A8-A975-0129A3683594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"de7f3c1190f7fe7db561a67d5059a061b3cbbffa","datavalue":{"value":"11R29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q963131$BED2F62B-9280-4538-A51E-E84FC13F849C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79189b8d67a3f8f3a17f044b1f1291cb8f05334c","datavalue":{"value":"11R16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q963131$053E824D-A4EC-4F50-860F-18FEE41C19E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b3eda5b42b8cc7843d6d0b42bbba9356d8420c9","datavalue":{"value":"5690869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q963131$DEAB4445-8C07-4C41-816D-F843C3138A37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51556aced19a49a8a57c41e1e31cc4ff474166ae","datavalue":{"value":"class field theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q963131$949AA4E6-B640-4849-BE19-8218A7EBDBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a725872061418edbc7b3009c8d9db8ccd822e180","datavalue":{"value":"Kummer theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q963131$198781E4-0B9A-42FE-8D3F-4C23546C3A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bab2d8fbea58a161dbf8ada078c48884bbb0249c","datavalue":{"value":"cyclotomic descent","type":"string"},"datatype":"string"},"type":"statement","id":"Q963131$82780C99-B6D2-4803-8A96-6363AADAEB35","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":"Q963131$5A52FB48-74EA-4A96-AA09-23FAA003C7B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b521b0d615ae89f462b988e5e7d168f48b323bd","datavalue":{"value":"https://doi.org/10.3792/pjaa.86.18","type":"string"},"datatype":"url"},"type":"statement","id":"Q963131$2C72D72C-F899-497C-98A3-B912F0735119","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be33ae4084aa5f46bf8e392a22ed3659c93aadec","datavalue":{"value":"W2083385807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q963131$F568A47C-A012-4525-98B3-D1FC5DF248DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f1c8dd663fd4eecfcc4bd4389f44fbe8c8abb0","datavalue":{"value":{"entity-type":"item","numeric-id":4935966,"id":"Q4935966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963131$7675A260-20F7-493B-B4FD-E4C29928F22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77ced2c21fd8ffee3b61241f7c40ccc02afda984","datavalue":{"value":{"entity-type":"item","numeric-id":2381151,"id":"Q2381151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963131$B5E74CD4-0138-48BB-BA7D-D02297B23D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1120250ad1c19d257f2b41ddfcaadcc87dad030f","datavalue":{"value":{"entity-type":"item","numeric-id":3394394,"id":"Q3394394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963131$48D6A67A-DDAC-495D-BCAC-4EE78B171C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43d03ed71298ee9649c6d5be8aa186910c728ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3943047,"id":"Q3943047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963131$405EC56D-AC7A-4760-8AD0-FC972816B61A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77c59d0e24bd8dd9fe464a6893dc3d6aedfb6b14","datavalue":{"value":"10.3792/PJAA.86.18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q963131$B24B8AFB-38A3-43B3-9698-82A2002934DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c9d85007a806424a08b266454740a3f5f7c5302","datavalue":{"value":{"entity-type":"item","numeric-id":5204434,"id":"Q5204434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c35e510bf1ab8ca675f5f5249223163047601ed","datavalue":{"value":{"amount":"+0.8285253047943115","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":"Q963131$51D71E9A-7ED1-49B2-AD71-D9D0D2491C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f02de9d62963f151afd6d2ed6d3d5813724d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3729012,"id":"Q3729012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"190d47fc93609758297cd64dc24938b6505bcefe","datavalue":{"value":{"amount":"+0.7967208623886108","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":"Q963131$EDA614FE-FE45-45EC-8648-70DEE17BF1A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ebba0cf19d42fb219efff8c81be99bbe7e68ce8","datavalue":{"value":{"entity-type":"item","numeric-id":3976505,"id":"Q3976505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3840b26809af5a17c27ea1cfbf9525c9bfb29ed","datavalue":{"value":{"amount":"+0.7773619294166565","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":"Q963131$088DDE93-1410-4F02-9BC1-8B8DF8690650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33343d3f0f93160f0f684f9a068ee5a765629ef5","datavalue":{"value":{"entity-type":"item","numeric-id":4214900,"id":"Q4214900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f172e95691d241fd1ff84d4c6d26f716cde03ed0","datavalue":{"value":{"amount":"+0.7767046689987183","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":"Q963131$5CAF8AD0-5809-49F7-9333-6ECA1B9F138B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f79267df3731b08120b9fe2d02ab0014ebde167","datavalue":{"value":{"entity-type":"item","numeric-id":3509578,"id":"Q3509578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e8c5110e8593c979f60ad32a3bf73cbb4e6a058","datavalue":{"value":{"amount":"+0.7756602168083191","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":"Q963131$0561BD0A-9E75-4D7A-B1DB-9D867F63DAE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Construction of 3-Hilbert class field of certain imaginary quadratic fields","badges":[]}}}}}