{"entities":{"Q1867434":{"pageid":1878176,"ns":120,"title":"Item:Q1867434","lastrevid":74354535,"modified":"2026-04-14T19:41:57Z","type":"item","id":"Q1867434","labels":{"en":{"language":"en","value":"Relative integral bases over a Hilbert class field"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1891438"}},"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":"Q1867434$CDB43E75-CD80-4A71-AA5A-9F0C9AFD96F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32c6299272a58f87172a87842da8389aa8791bbc","datavalue":{"value":{"text":"Relative integral bases over a Hilbert class field","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1867434$C8ADE6C7-9284-481A-BBB4-125E8BCE1B6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fcd6489634355debb04bc212594cbfda14ca24e9","datavalue":{"value":"1028.11068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1867434$0B916750-DB72-4DFA-AC9C-FEFBDC0E70C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6dbc768bc13100c78e6af9a163efbbbf18a13897","datavalue":{"value":"10.1016/S0022-314X(02)00009-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1867434$B47CB1DA-0A75-4A51-B0AB-4EB2CB1A1084","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"197bce69838e12d09a1e5ffece501ce853282408","datavalue":{"value":{"entity-type":"item","numeric-id":1867433,"id":"Q1867433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867434$E40E59A8-4E03-4261-A386-A8678EB7BC37","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":"Q1867434$FD05CFC7-8153-416B-8B10-2BB9CF726A44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f699768a497e541193a45e7175e5f9b1c45f87fa","datavalue":{"value":{"time":"+2003-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1867434$35F73D50-9322-4169-86D8-E3B8135AA51E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"81b900b488ccde064a38bd9665e8ca3d07da50d3","datavalue":{"value":"Let \\(L/K\\) be a Galois extension of number fields with \\(L\\supset H\\), the Hilbert class field of \\(K\\). Then there exists a relative integral basis of \\(L/H\\) (i.e., \\({\\mathfrak o}_L\\) is a free \\({\\mathfrak o}_H\\)-module) if \\(H\\) has odd class number or if \\([L:H]\\) is odd or if \\(G_{L/H}\\) does not have cyclic Sylow 2-subgroups. In the exceptional case the existence is equivalent with the existence of a relative integral basis of \\(H(\\sqrt{\\Delta})/H\\), where \\(\\Delta\\) is the discriminant of a field basis of \\(L/H\\). One knows [see \\textit{E. Artin}, Collected Papers, Addison Wesley (1965; Zbl 0146.00101), repr. Springer (1982; Zbl 0493.01038), pp. 229-231] that the discriminant of \\(L/H\\) splits as a product \\(d_{L/H}= \\Delta\\cdot {\\mathfrak b}^2\\), with \\({\\mathfrak b}\\subset H\\) a fractional ideal, and that the existence of a relative integral basis amounts to \\({\\mathfrak b}\\) being principal. The key ingredient is then that an ideal of \\(H\\), which is invariant under the action of \\(G_{H/K}\\), is principal.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1867434$DFE35ADF-1556-49ED-A81E-8E017A219562","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa5ce256704e22ae9f3767d9b7f6b25420f642b6","datavalue":{"value":"11R37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1867434$3896F363-D6A6-439D-BC10-2164F7838149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c745fe9f9fd950076cb858ccadc78c0e065cb45","datavalue":{"value":"11R04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1867434$F3C96414-A00C-40B0-903E-8994BA2D4FB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7eabff77c9b31154361c227f2a03b5bc0fc50c70","datavalue":{"value":"1891438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1867434$D8A2C653-6768-498E-A6C3-9283DB45D814","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ed41818ad264908922b7cdee13065454c3504b3","datavalue":{"value":"Relative integral bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1867434$680F132E-33D4-4C6E-AA4F-B2C6713C1F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9020d9fe267de960f6f44092dd751393d3305c3c","datavalue":{"value":"Hilbert class field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1867434$54AD042E-8489-48B7-8B17-9EEE4E6F1C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd110f979bd99ffdf4dfb47f9d9633653426c341","datavalue":{"value":"Steinitz classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1867434$512F09CF-0D6D-47E8-8875-1697934CD0B6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3042dbe8ec22c8979705228e419c8978dcb092fa","datavalue":{"value":{"entity-type":"item","numeric-id":1165899,"id":"Q1165899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867434$5C31CF33-513A-4D1E-9061-F7115AC44787","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":"Q1867434$B16F0A1F-47D1-4724-88D1-CF71338E2D8D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba37ead58c83c916beeee9c12966776ed56b34df","datavalue":{"value":{"entity-type":"item","numeric-id":5798080,"id":"Q5798080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867434$F6108C11-2115-463B-A6BF-D4E64C608456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4503149d2e6ccf04f2880c7377deea09821d33d","datavalue":{"value":{"entity-type":"item","numeric-id":5636980,"id":"Q5636980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867434$E870D209-9FAD-4D5E-A4ED-AA14211B5B53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c8520c5892b697b4ced65b5382b0d00d1241381","datavalue":{"value":{"entity-type":"item","numeric-id":5486513,"id":"Q5486513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2275cef0b410b34ab8b6da0570bff336d1c22846","datavalue":{"value":{"amount":"+0.8970102667808533","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":"Q1867434$978C1B2E-6DDF-4D49-9F38-ED838255A594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb0fe2b0cc0e1be9b1dd3dd0216b629e6b7e73c","datavalue":{"value":{"entity-type":"item","numeric-id":1076072,"id":"Q1076072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bce9de1c1043972606563b8eb65ba48e8b38a5e3","datavalue":{"value":{"amount":"+0.831220805644989","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":"Q1867434$7CDB3480-A81C-46A6-9C4C-E3AEE4689266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de6f251db59ac0814ff982066bc680e166189612","datavalue":{"value":{"entity-type":"item","numeric-id":1126385,"id":"Q1126385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6872b416e13d198aaa6e901ab822832fea4f059","datavalue":{"value":{"amount":"+0.8243842720985413","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":"Q1867434$61BE4CFE-778C-41A1-8CD3-40D56C6CB7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"742a519f7999a78e92a5b5118104ce54b157c029","datavalue":{"value":{"entity-type":"item","numeric-id":1912687,"id":"Q1912687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c61ecf3e3b80bd7ab71e55525650df6142ca91b","datavalue":{"value":{"amount":"+0.8243840336799622","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":"Q1867434$642D86B4-70EB-44F4-94EF-52A31D9B2FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"685489103651f6b7944c303b88ad4c691b6f2ee8","datavalue":{"value":{"entity-type":"item","numeric-id":4848315,"id":"Q4848315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be8a15eb74f4c81701234cc245826c018889e491","datavalue":{"value":{"amount":"+0.8141053915023804","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":"Q1867434$BEF2CAC0-8445-4FE9-A64B-DE9916CE7B68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relative integral bases over a Hilbert class field","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relative_integral_bases_over_a_Hilbert_class_field"}}}}}