{"entities":{"Q1823274":{"pageid":1834016,"ns":120,"title":"Item:Q1823274","lastrevid":69039705,"modified":"2026-04-13T03:57:38Z","type":"item","id":"Q1823274","labels":{"en":{"language":"en","value":"A note on ideal bases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4114765"}},"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":"Q1823274$3826EF30-6C53-4B4C-BF9C-198C0E9FAE23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3b7615e4a00fc665d317b5dfa85b5c3ef485960","datavalue":{"value":{"text":"A note on ideal bases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1823274$47DD159D-E583-4FD7-BBDF-474AE3B3686D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a4d09702acc353653ed6a2f57442208b3e8562a","datavalue":{"value":"0681.13010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823274$D0F61F6C-9EF9-4D74-99B1-FF1D48C78CAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4940c846236d5f6e29a8e2e8fb184704e6877c4c","datavalue":{"value":{"entity-type":"item","numeric-id":170655,"id":"Q170655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823274$5120EF76-AABD-49FD-858B-E8C9DDC69EB0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e81735ffae0dc240f9c7908f9071cba228792fc1","datavalue":{"value":{"entity-type":"item","numeric-id":172432,"id":"Q172432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823274$049DC674-F0B3-4CF1-88C1-E85C70390713","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1823274$4F2BBA3E-85AB-4AAA-8CA1-B731C2A1DE6C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6a413316bca2e329654655b1707382482b50a8fd","datavalue":{"value":"Okutsu obtained integral bases of finite separable extensions of quotient fields of Dedekind domains in terms of divisor polynomials. The author of this paper generalizes this result to ideal bases.    Let D be a Dedekind domain with the quotient field k and f(x) a monic irreducible separable polynomial of degree \\( n\\) in D[x]. Let \\(\\theta\\) be one of the roots of f(x) in the algebraic closure \\(\\bar k\\) of k. Let \\(K=k(\\theta)\\) and assume that A is a fixed nonzero ideal of K. Let \\(\\{P_ u| u\\in U\\}\\) be the set of all prime ideals of D, \\(k_ u\\) a completion of k with respect to \\(P_ u\\) and \\(D_ u\\) its valuation ring. Assume k is a subfield of \\(k_ u\\). Let \\(\\bar k_ u\\) be an algebraic closure of \\(k_ u\\). Denote by \\(e_ u( )\\) the exponential valuation of \\(\\bar k_ u\\) which is the unique extension of the \\(P_ u\\)-adic valuation of k. For each \\(u\\in U\\), let \\(f(x)=\\prod^{s_ u}_{i=1}f_{u,i}(x) \\) be a factorization of f(x) in \\(k_ u[x]\\), where \\(f_{u,i}\\) is a monic irreducible polynomial in \\(D_ u[x]\\). Let \\(\\theta_{u,i}\\) be one of the roots of \\(f_{u,i}(x)\\) in \\(k_ u\\). Define a k-isomorphism \\(h_{u,i}\\) from \\(K=k(\\theta)\\) into \\(\\bar k_ u\\) by \\(h_{u,i}(\\theta)=\\theta_{u,i}\\). Let \\(h_{u,i}(A)=AD_{k_ u(\\theta_{u,i})}\\) which is an ideal of \\(k_ u(\\theta_{u,i})\\) where \\(D_{k_ u(\\theta_{u,i})}\\) is the valuation ring of \\(k_ u(\\theta_{u,k})\\). For each \\(u\\in U\\), define a rational-valued and \\(\\infty -valued\\) function \\(\\Phi_ u( )\\) on K as follows:    \\(\\Phi_ u(b)=\\min \\{e_ u(h_{u,i}(b)-e_ u(h_{u,i}(A))\\} \\), \\(b\\in K\\). Put \\(w_{u,m}=\\Phi_ u(g_{u,m}(\\theta))\\) and \\(v_{u,m}=[w_{u,m}]\\) where [ ] denotes the greatest integer function. Let \\(u_ 0=\\{u\\in U| \\quad P_ u\\quad is\\quad a\\quad prime\\quad divisor\\quad of\\quad d(f)\\quad or\\quad N_{K| k}A\\}\\) where \\(d(f)=(- 1)^{n(n-1)/2}N_{K| k}f'(\\theta))\\) and \\(f'\\) denotes the derivative of f(x). For \\(u\\in U\\), let \\(c_ u=\\max_{1\\leq i\\leq s_ u}e_ u(h_{u,i}(A)).\\)    The author proves that for any positive integer \\(m<n\\), if \\(g_ m(x)\\) is a monic polynomial of degree \\( m\\) in D[x] satisfying \\(g_ m(x)=g_{u,m}(x)\\quad mod\\quad P_ u[w_{u,m}+c_ u]+1\\) for any \\(u\\in U_ 0\\), then \\(A=B_ 0\\oplus \\oplus^{n-1}_{m=1}B_ m^{-1}g_ m(\\theta)v \\) where \\(B_ 0=A\\cap k\\) and \\(B_ m=\\prod_{u\\in U}P_ u^{v_{u,m}} \\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823274$5CC3F5BC-CBDF-4044-902C-5323ACD63C58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6f8bdb86f95f385c1922e11e3095b661f16ddd4","datavalue":{"value":"13F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823274$177CB8BD-FFC8-4581-8AE5-4DFB5790D856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23117a89d3983e500a3b09b9e4836cdf368918b3","datavalue":{"value":"13A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823274$92EA0A66-10FD-4635-8FFF-6002D754750E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac7ae5b0238fc8237a68a316fe1f75e776c41d8c","datavalue":{"value":"12F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823274$6FE5A73C-95F3-417C-A7E7-8C32F7BCAF48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c58b8e9aecad64197b9a6cfb6a9ccffdd7f5acd1","datavalue":{"value":"4114765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823274$619DEF0C-F6BD-497F-A223-AB37D7655F4E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c9b86eb7a72c7d4f12fdbbc230c27a02cc62d61","datavalue":{"value":"integral bases of finite separable extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823274$846FBC09-6DCF-48CE-9DB8-EFF86BB4CCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4838bf467008ea9409c41bc01531f15cdb8961cb","datavalue":{"value":"quotient fields of Dedekind domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823274$45BEBCD5-6D4C-4C7F-A95E-E183F21B7151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ce5525ad28f7436e042d40403175209c250a701","datavalue":{"value":"ideal bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823274$7B7B7FEB-9C3F-416F-BA09-309953E808C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd62385e382b9c4011188e4e6dad59e6fc0cf21b","datavalue":{"value":"exponential valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823274$1F79A3D7-3131-4A52-9D8F-B7394AC4B17B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e07ef5aa4c4d1030ce09a6b25a088938e6f20289","datavalue":{"value":{"entity-type":"item","numeric-id":167728,"id":"Q167728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823274$5D45C000-2242-4DDD-BEAA-8D76DB85E77B","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":"Q1823274$7436D4A4-1582-452D-A382-5BC9B169F77E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48958c2205e77134cadb2aa609346d1419f8dd52","datavalue":{"value":"https://doi.org/10.3836/tjm/1270133975","type":"string"},"datatype":"url"},"type":"statement","id":"Q1823274$4FA59B3D-7066-4157-A7B4-D70252AE2BFF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87b41ae916ffbc50104620cfa8e4decf1d8588fb","datavalue":{"value":"W2048824770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823274$F6AEF6F6-F05D-4706-AB30-5689B93023CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8bcaa062345d7941e0de2d6f3e66d479b29c3be1","datavalue":{"value":"10.3836/TJM/1270133975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823274$840DF660-A03C-4A05-BA45-51E6409B27C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"470ada7a105e82dc6b8d57e1835c9738fcefd4bb","datavalue":{"value":{"entity-type":"item","numeric-id":4034188,"id":"Q4034188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a11c8eeb115316dffdc5e189e32e9220530631f4","datavalue":{"value":{"amount":"+0.9419705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823274$188FCE23-32DF-4FE2-960C-6A7E1BCCFCF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"caa17cc2126c915a771f892c61316a4e68482c2e","datavalue":{"value":{"entity-type":"item","numeric-id":4352808,"id":"Q4352808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a246794065dc1f2198e1724ccb50c9e013ebbd6","datavalue":{"value":{"amount":"+0.8995557","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823274$75788A78-5FEF-4720-A3EF-D5C5AB8DA13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02fd662b2256690eb7e8204ec828938f33bd6c16","datavalue":{"value":{"entity-type":"item","numeric-id":3161723,"id":"Q3161723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"519ceae9c42f5a11dfe9d23b0127fa1d31d6e838","datavalue":{"value":{"amount":"+0.89302075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823274$C49DAAC7-8935-497E-A1BF-0F8FC43B6514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82ba64e2c34b134d02bd2807e4248f5cdc8a65e8","datavalue":{"value":{"entity-type":"item","numeric-id":4312013,"id":"Q4312013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16412551671cd732916416299d667bda30361337","datavalue":{"value":{"amount":"+0.8904258","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823274$9129EDDC-76BE-4117-9463-73A79E8B9977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa071509dd0b0859a6994b2c4c53cf568ed38363","datavalue":{"value":{"entity-type":"item","numeric-id":5184995,"id":"Q5184995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b9464199696fdc66969fa207d7fc8a950e3d313","datavalue":{"value":{"amount":"+0.8885388","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823274$4F254B9C-DC6E-45D3-9C96-39A2659C46B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5596080a734ba86ff1144effdd27d68fea67c64","datavalue":{"value":{"entity-type":"item","numeric-id":4699520,"id":"Q4699520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee31faf0af481042ddfb31e2d796b7c069bafc61","datavalue":{"value":{"amount":"+0.8871415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823274$706716D1-EA61-4FAC-BD74-BABD4B4C6712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4ddcca4808a06dfc584fd50c1428895e7134586","datavalue":{"value":{"entity-type":"item","numeric-id":844510,"id":"Q844510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d87c6dfb040a467770ce66b61b36eadddce0b0e","datavalue":{"value":{"amount":"+0.88567674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823274$3A7CEC13-B662-4A96-8B3C-E3EE3F1F3FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9fbcc5dd8e0aba0bcee024643692221ac40e956","datavalue":{"value":{"entity-type":"item","numeric-id":1597749,"id":"Q1597749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3213bfd2ed41e36487fafd6e77f4d0b190307ca","datavalue":{"value":{"amount":"+0.88071054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823274$3634761F-AF7C-437E-8FE1-72181098EA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb6976cc1cc868e31dad4bdb806e6460b5c5defe","datavalue":{"value":{"entity-type":"item","numeric-id":1380040,"id":"Q1380040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b460b71e7eaad90e84c2f279c29764470369b3e","datavalue":{"value":{"amount":"+0.8805035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823274$587AC28C-E48B-4AA8-997B-E8E282EE0D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33bc6d95c068f594a4595be12e82e9e896ba74de","datavalue":{"value":{"entity-type":"item","numeric-id":1914025,"id":"Q1914025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cd440e64075dcc3e01a16f1ca790af8a294ff3d","datavalue":{"value":{"amount":"+0.8794558","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823274$E3E0FD61-5CB5-4DAE-A736-222725C2A157","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on ideal bases","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_ideal_bases"}}}}}