{"entities":{"Q385455":{"pageid":387222,"ns":120,"title":"Item:Q385455","lastrevid":56828619,"modified":"2026-03-23T17:26:07Z","type":"item","id":"Q385455","labels":{"en":{"language":"en","value":"A new computational approach to ideal theory in number fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235146"}},"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":"Q385455$C71E942E-7192-4ED7-B9B8-6471F162C738","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de20859504846d6f81c13e84a25abec1a0cb1488","datavalue":{"value":{"text":"A new computational approach to ideal theory in number fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q385455$5E8FE848-9B06-42B7-A23A-9F3FD4DE3D81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b39b4eef893a6ac889a76ba224b4998c15922c13","datavalue":{"value":"1287.11142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385455$BB97E22B-2978-4B34-8CE9-B38B1C5052D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47d037fcb22286aa4a1731ab40bbbd7abfd0431c","datavalue":{"value":{"entity-type":"item","numeric-id":385453,"id":"Q385453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385455$7928EEC5-0421-4691-A687-3A99A0DFDD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cfac2e69d26f64ad1fe09d32e0d9b6680616d4d","datavalue":{"value":{"entity-type":"item","numeric-id":591450,"id":"Q591450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385455$11C61A74-674C-4877-9F4E-47448420BF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b45e6898b1b92c3f919cf698241ccb16d7194aa","datavalue":{"value":{"entity-type":"item","numeric-id":588613,"id":"Q588613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385455$0DCC9D46-E430-44DA-BF8C-855E738D0C58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1de0dee9456ae54727642f6ba64e62fe6eaa93c2","datavalue":{"value":{"entity-type":"item","numeric-id":203859,"id":"Q203859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385455$FE06814B-64CF-41B4-8F05-03B27AADC142","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7512ae73b6d20a7027c802c69a571fc3a05b2e5c","datavalue":{"value":{"time":"+2013-12-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":"Q385455$26998DA7-A3A5-4E93-9382-D0390884DCCA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9572e70ebe8354252b34b6f588c215b7a560e2ec","datavalue":{"value":"https://arxiv.org/abs/1005.1156","type":"string"},"datatype":"url"},"type":"statement","id":"Q385455$FAF86C1A-8E08-4B10-85F2-E2872F319B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"671339ba2ecbc494a1494ddf050150080470a2e5","datavalue":{"value":"http://hdl.handle.net/2445/124824","type":"string"},"datatype":"url"},"type":"statement","id":"Q385455$D5DB6838-041B-47A6-96CA-74BD5C7E7E09","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"543610e7a39444c7700ebc6c7ff00dd354bc9a65","datavalue":{"value":"Let \\(K\\) be a number field with integer ring \\({\\mathbb Z}_K\\). Then \\(K\\) can be described by specifying an irreducible monic polynomial \\(f(X)\\in{\\mathbb Z}[X]\\) such that \\(K={\\mathbb Q}(\\theta)\\) for some root \\(\\theta\\) of \\(f(X)\\). In earlier work [\\textit{J. Gu\u00e0rdia} et al., J. Th\u00e9or. Nombres Bordx. 23, No. 3, 667--696 (2011; Zbl 1266.11131)] and [Trans. Am. Math. Soc. 364, No. 1, 361--416 (2012; Zbl 1252.11091)] the authors developed a method for determining the factorization of \\(p{\\mathbb Z}_K\\) into prime ideals in \\({\\mathbb Z}_K\\). This computation associates to each prime ideal \\(P\\) lying over \\(p{\\mathbb Z}\\) a list of data \\([p;\\phi_1,\\dots,\\phi_r;\\phi_p]\\), where \\(\\phi_j\\) are certain monic polynomials with coefficients in \\(\\mathbb Z\\) which are irreducible over the \\(p\\)-adic integer ring \\({\\mathbb Z}_p\\). This data is referred to as an ``OM representation'' of \\(P\\).  Using OM representations the authors are able to make computations involving fractional ideals of \\(K\\) while avoiding the computationally demanding task of computing a \\({\\mathbb Z}\\)-basis for \\({\\mathbb Z}_K\\). The authors first show how to compute the \\(P\\)-adic valuation function \\(v_P:K^{\\times}\\rightarrow{\\mathbb Z}\\). This allows them to compute the prime factorization of a fractional ideal \\(I\\) in \\(K\\), and hence to compute the sum, product, and intersection of two fractional ideals. The authors then show how to determine a two-element generating set for \\(I\\); their methods don't tell us whether \\(I\\) is principal or not. They also show how to compute residue classes modulo \\(P\\) of elements of \\({\\mathbb Z}_K\\).  The authors have implemented their algorithms using the computer algebra package Magma. They give several examples which demonstrate the speed and effectiveness of their algorithms. Generally speaking, their algorithms are much faster than the corresponding built-in Magma functions as long as the degree \\([K:{\\mathbb Q}]\\) is not too small.","type":"string"},"datatype":"string"},"type":"statement","id":"Q385455$FAC87F4B-DBE5-4BBB-8118-1E7322477623","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"47ac1f7840090cf79067db990cca701271cab3e1","datavalue":{"value":{"entity-type":"item","numeric-id":403276,"id":"Q403276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385455$CC2165D3-8C96-4EB3-92D7-490C667438C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d379f1f3728661c9d77f930d729b891dd925754","datavalue":{"value":"11Y40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385455$77782890-38A8-44BE-BEF0-EE5768C83980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"75b5ae7d63c4b2ff3513743a5ea9e7be306e24ac","datavalue":{"value":"11R09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385455$3208A90C-011A-4EA0-8B6B-404C2D0D88F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c745fe9f9fd950076cb858ccadc78c0e065cb45","datavalue":{"value":"11R04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385455$E7A2CE34-0E2D-4BF7-8E19-1C6550BD4F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20afa916015e6219375b9937ece6e51d63990b6f","datavalue":{"value":"11Y05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385455$12F8929F-ADD6-49E1-998E-E205435BAC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f4be43e4d3a36713afeec76035eb55b0d3950c7","datavalue":{"value":"11R27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385455$739864C2-CA4E-49D7-B4ED-5FC91588F8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"de7f3c1190f7fe7db561a67d5059a061b3cbbffa","datavalue":{"value":"11R29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385455$8E60E4ED-0603-493A-A8AF-7F366F2A983F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d5a0a26dafdd1fb8c53b4ca3b9a1331ef7df63d","datavalue":{"value":"6235146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385455$4ADB5AEF-92F7-4E84-A704-DBEFC8238DD0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2a0d4813d3113618830f79da75a8dcce91d5569","datavalue":{"value":"ideal decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q385455$4AE9D0C0-EEB0-4DE2-894A-5B970E948DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7063c41242828af442f4f80e81d906e3906e3276","datavalue":{"value":"discriminant","type":"string"},"datatype":"string"},"type":"statement","id":"Q385455$53DB7D50-6F8E-497F-9C46-2676A7525168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9092552d58c6bf6844007a0532b930faeb88482","datavalue":{"value":"Montes algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q385455$E1A874EA-351D-420F-B309-F0B2861E3985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22ec294dbc243b27780db1becaa3f3db5559a6c0","datavalue":{"value":"OM representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q385455$C091CC11-957C-40BF-A4EF-4E5B8B68B5A9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4fe03e5b78d9974ebdfc0233dbd377f30d5d075f","datavalue":{"value":{"entity-type":"item","numeric-id":13295,"id":"Q13295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385455$0A2E728D-900E-4CBE-B412-4033C6C46A3C","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":"Q385455$6874AEFA-45C9-4C70-AAED-56862FB5F02B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"390f38425a61937137c87635fa7a790bd1e3b843","datavalue":{"value":"W2071102429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385455$BA466A1D-DE09-48C5-AF47-49A5F1B96618","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ca8e915bb74320391de69dbeaa453141366bc16","datavalue":{"value":{"entity-type":"item","numeric-id":5169597,"id":"Q5169597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385455$3334A60A-74EC-4BD6-B46F-19E0185B716D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48aa964a74a5404101a87ac5c13451929ab63545","datavalue":{"value":{"entity-type":"item","numeric-id":4931648,"id":"Q4931648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385455$F42FA5ED-69C6-49FA-946E-5C0B5ECE0DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5726d0617ac3fc4386c1b83f15b11133063782b7","datavalue":{"value":{"entity-type":"item","numeric-id":3066606,"id":"Q3066606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385455$E15442FC-C853-49DC-898C-431E94A34206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d529071e9a85446a0687a8192d1be2b242dc2c2","datavalue":{"value":{"entity-type":"item","numeric-id":449717,"id":"Q449717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385455$BA64FB4E-A4C2-44E8-A4AE-EB28F365AD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f98436af737d35f4ad641912dbc4f47232f32e","datavalue":{"value":{"entity-type":"item","numeric-id":5388828,"id":"Q5388828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385455$CDF96043-78DC-4EC5-9C80-62CE8D2D6759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80cb69781650a96955176b1ebe7befe3bc799e54","datavalue":{"value":{"entity-type":"item","numeric-id":472859,"id":"Q472859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385455$DD417429-E887-4EFE-B60F-5D44E19C0ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bab0dbc66e49241fbc0e4f0db18cda42d693a10","datavalue":{"value":{"entity-type":"item","numeric-id":438687,"id":"Q438687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385455$4FC6E47A-6FD0-436C-9725-0A110A9AD13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2394942c837983037328c625b94bf25f07b9a9b","datavalue":{"value":{"entity-type":"item","numeric-id":1600041,"id":"Q1600041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385455$C74BB875-8911-4D3B-98CA-BCC038011659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbe616e47bb447818737f6955e4a7589a8568eb8","datavalue":{"value":{"entity-type":"item","numeric-id":2645361,"id":"Q2645361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385455$4446B0C4-C769-485B-82BA-A45EA52F515B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9cfdebec33028671c0b059ad275f69967b063d7","datavalue":{"value":{"entity-type":"item","numeric-id":5401713,"id":"Q5401713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385455$ADE586CD-79E1-4AD8-AC68-8EFA10FDBE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29b8481c2def93eb6af895b5d8286e74e06c5940","datavalue":{"value":{"entity-type":"item","numeric-id":1055824,"id":"Q1055824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385455$42458C9A-A0B1-48C9-8BE3-47FBB26D5C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cfe1062ab059123a46e4cc0518c6d1c634914e3","datavalue":{"value":{"entity-type":"item","numeric-id":4931656,"id":"Q4931656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385455$353BF9E6-C408-4C4E-A055-1E287179BECA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04c27cf5564a394d7d2dd10e3aeccf30b0968240","datavalue":{"value":"10.1007/S10208-012-9137-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385455$81466D9E-EB8B-4CB9-BA50-B132B362FAE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee427cf8155515cb99865170a605ea6f98fda9a7","datavalue":{"value":{"entity-type":"item","numeric-id":449717,"id":"Q449717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62204ea34dacc7a04f8533a23df7c104518a5284","datavalue":{"value":{"amount":"+0.8396828770637512","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":"Q385455$CEA673FA-B13C-4DD7-B6A3-8BC2C23B64BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"905a5cdee65d26fc78340c295c06424a2fa8f9df","datavalue":{"value":{"entity-type":"item","numeric-id":3703968,"id":"Q3703968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e8444d5d5ca9a649e5238fdd3fd0db20dc167c7","datavalue":{"value":{"amount":"+0.8162286877632141","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":"Q385455$9740A39B-359C-4E00-B9E7-A228DEDC33AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9a3c8b88c1cb7cac945f027173138cc26905365","datavalue":{"value":{"entity-type":"item","numeric-id":555259,"id":"Q555259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c121fa6e41cdf4e814bd6b7dde8a96224c2da809","datavalue":{"value":{"amount":"+0.8114884495735168","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":"Q385455$834D7EA9-702D-4A8A-9B99-57C19CF12486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ad7ba938a08d7ac453d5dc8a15fd52ca9a3667d","datavalue":{"value":{"entity-type":"item","numeric-id":472859,"id":"Q472859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70299905f10ff221f462f320a2f5d2bac0d030a8","datavalue":{"value":{"amount":"+0.7934038639068604","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":"Q385455$A8AD9BAD-E487-47BF-A974-A5D074628BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"538363c72f73c144cbcdac8530b579726411300c","datavalue":{"value":{"entity-type":"item","numeric-id":4375594,"id":"Q4375594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a25a4fb8d4a26604428cd9c2c03e4dea9778469d","datavalue":{"value":{"amount":"+0.7927606105804443","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":"Q385455$B3EF7558-3397-4538-9DF2-557E78108B0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:385455","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:385455"}}}}}