{"entities":{"Q2438013":{"pageid":2448756,"ns":120,"title":"Item:Q2438013","lastrevid":44093610,"modified":"2025-11-19T21:33:14Z","type":"item","id":"Q2438013","labels":{"en":{"language":"en","value":"Extending Djokovi\u0107's lattice reduction algorithm to include isotropic lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6266752"}},"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":"Q2438013$C49ADAEE-7823-40A1-AEA4-527677CF70A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91541ccd666e505824ba3c8b72d01c2515e72143","datavalue":{"value":{"text":"Extending Djokovi\u0107's lattice reduction algorithm to include isotropic lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2438013$D1D981A4-5C8E-49E6-8609-A425347FC286","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0baa01020f24a04096a4bf3da452cce229d5f18","datavalue":{"value":"1312.11021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2438013$8D524AE1-A771-4D11-BC02-C056C10B3B2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14b815eb361774892fbf7fc83c234afb4bb01ad1","datavalue":{"value":{"entity-type":"item","numeric-id":616412,"id":"Q616412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2438013$CCD3C089-423D-4EA2-B711-9F376E5C1350","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2438013$6515C337-B2E1-4E26-9103-3459088F2C33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"263711ed51fd12cc335121a0bdee06ca0225e302","datavalue":{"value":{"time":"+2014-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2438013$8575F108-F025-4006-B023-0D37D7FE8424","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5996092dde357993391327fd5c1badec93fb5c31","datavalue":{"value":"Let \\(k\\) be a field of characteristic not \\(2\\). According to a theorem of \\textit{D. \u017d. \u0110okovi\u0107} [J. Algebra 43, 359--374 (1976; Zbl 0343.15006)], every \\(k[x]\\)-lattice \\(L\\) on an anisotropic quadratic space \\(V\\) over \\(k(x)\\) has a basis that is reduced, in the sense that the associated Gram matrix \\((a_{ij})\\) satisfies the two conditions i) \\(\\partial a_{11} \\leq\\ldots \\leq \\partial a_{nn}\\), and ii) \\(\\partial a_{ii} > \\partial a_{ij}\\) for \\(j \\neq i\\), where \\(\\partial\\) denotes the degree function on \\(k(x)\\).  The main theorem of the paper under review states that this result remains true when the assumption that \\(V\\) is anisotropic is removed. That is, every regular \\(k[x]\\)-lattice has a reduced basis. The author points out several new results and alternate proofs of known results that are consequences of this extension of \u0110okovi\u0107's theorem.  A lattice reduction algorithm based on \u0110okovi\u0107's proof was used by \\textit{L. J. Gerstein} [J. Algebra 268, No. 1, 252--263 (2003; Zbl 1042.11025)] to prove that the classification of definite \\(\\mathbb F_q[x]\\)-lattices reduces to a problem over the finite field \\(\\mathbb F_q\\), when \\(q\\) is odd. That is, if \\(L\\) and \\(M\\) are definite quadratic \\(\\mathbb F_q[x]\\)-lattices of rank \\(n\\) having associated Gram matrices \\(A\\) and \\(C \\in M_n(\\mathbb F_q[x])\\), respectively, then \\(L\\) and \\(M\\) are isometric if and only if there exists \\(T\\in\\mathrm{GL}_n(\\mathbb F_q)\\) such that \\(C={}^tTAT\\). It is shown by an example in the present paper that the corresponding result does not hold for indefinite lattices.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2438013$16D35B27-42D0-4D4F-8A7E-4CD5A53F403D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a065a4d0021067dc43e4b39265a368d5c4f6598a","datavalue":{"value":{"entity-type":"item","numeric-id":590855,"id":"Q590855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2438013$0AFD3B39-709F-464B-AD5B-11EAC4D229E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"111aa0d521548ce9bf404704c7ad9cfc95d17aa9","datavalue":{"value":"11E12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2438013$E79C085F-05F0-4FBC-84A5-AFCFD446D354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"732c2501ca31f5ceeef797f80b885d9dde0d046f","datavalue":{"value":"11H06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2438013$203408D9-FD82-4D7A-B2DE-05041A05D4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0b955ec184c55930253632e291ee5820f31251e0","datavalue":{"value":"11E04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2438013$C7C73E39-94B3-4592-B609-0660B341AF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5aff12e0aaa0e845f49257674dee6d6b35fe2903","datavalue":{"value":"15A63","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2438013$6DE28DD3-6AC6-4EEF-8FAF-303484F2EA5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5fc0b388343fa3103be4e6ffbf3de69f2ca09826","datavalue":{"value":"6266752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2438013$04A1A5C7-E24D-45DD-86A3-89F1476EE60B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f7649decb85f66567a9d0d3c7207384334aa3de","datavalue":{"value":"quadratic lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2438013$23D7435D-9010-446F-9819-7F2DCB8FF100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc78d2b80333a2fe1bc4959ce23126c928c3921f","datavalue":{"value":"polynomial ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2438013$48329CC4-C454-47A5-A847-124CEEFFA4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e4efb6d5d192c6ce084f69468f330f0640a85ea","datavalue":{"value":"reduced basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2438013$22F3142E-9EC9-4983-97EB-1E2F420A1BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803f6f919aba110dd3a328161dcaf96df0257921","datavalue":{"value":"congruent matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2438013$8675108F-BD41-4437-B4E6-0BC353E6C4D8","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":"Q2438013$FB284DB5-1EB8-449C-89A7-21BC38CA8F37","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77b6dee3d47376489da2e0e0f53b74584677e06d","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2013.05.026","type":"string"},"datatype":"url"},"type":"statement","id":"Q2438013$B63E6998-688D-4B5D-96E2-B578B409AA94","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"046482c6aacc1c5c3cca005a39f103d51ef8aedd","datavalue":{"value":"W2085894766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2438013$D67F607E-7023-4D8D-9388-5430EB76A0C4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"386f33c3143de0a49cb79975518b86aac1fd9752","datavalue":{"value":{"entity-type":"item","numeric-id":1232558,"id":"Q1232558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2438013$74778F62-5188-4364-8788-7DC51F996719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"205134981e6e1663aa67f7147f87feb3218fe2ae","datavalue":{"value":{"entity-type":"item","numeric-id":1257498,"id":"Q1257498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2438013$B8E23123-FD56-4A7D-9F3F-250589DAAE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69451ce7d4f9268c4022688d5cef5f5a7e098328","datavalue":{"value":{"entity-type":"item","numeric-id":1409750,"id":"Q1409750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2438013$15686210-BAA6-49D9-9DE7-068316165CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19c4a3a683c7ed55b723fc3ca88f212be32046c1","datavalue":{"value":{"entity-type":"item","numeric-id":5386247,"id":"Q5386247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2438013$35B1B382-0030-42FA-BFA8-844839807F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78111ded0280e0dcd6fb0296338927aabb34db4","datavalue":{"value":{"entity-type":"item","numeric-id":3474711,"id":"Q3474711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2438013$7DDACA25-3A65-4EE3-9368-B96BD82077E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcb3bd926349b8864c40d791b2e075a0af9d6e4d","datavalue":{"value":{"entity-type":"item","numeric-id":5670744,"id":"Q5670744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2438013$A7B6A514-073B-4A81-9A97-E35CFC7C9859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3120b21b0cc71054381a183461ec98245b3cb059","datavalue":{"value":{"entity-type":"item","numeric-id":1244268,"id":"Q1244268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2438013$3BD95AE5-8624-477C-A967-5890E0B01DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cae23c4c5ab95a73c853989d586eeafdd836834","datavalue":{"value":{"entity-type":"item","numeric-id":1960724,"id":"Q1960724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2438013$73487378-E503-451E-8ED0-3AB0A4EDDC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baf87aafd2d65a2f8d34229a0e85a8c75920ff19","datavalue":{"value":{"entity-type":"item","numeric-id":3708857,"id":"Q3708857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2438013$EDD77277-873E-4E16-A9DD-FAB244EC7AF3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61b7c93db2a90c1750068cffdc53b139413cdaf2","datavalue":{"value":"10.1016/J.JALGEBRA.2013.05.026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2438013$1EB8DD24-79AC-43AF-8A4A-3BBAE0F2395D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"870668aa16d1a96be425460f244ccf695d6e0049","datavalue":{"value":{"entity-type":"item","numeric-id":1409750,"id":"Q1409750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3841a7e8e1c4280e6b403b7100714230688ee33","datavalue":{"value":{"amount":"+0.94805616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2438013$9DC997FF-582A-45CF-A22B-A6F93FDD3787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d61a95af855427626addd7f98eaa09536390ad8e","datavalue":{"value":{"entity-type":"item","numeric-id":2894524,"id":"Q2894524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d292fd01fd68bcf4c6837531d746bafaf505313","datavalue":{"value":{"amount":"+0.82202363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2438013$BEBB96C4-1AF6-469F-8407-3B9C81AF5367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b7ce03b06a26e8a3a0905058f597b4451eb4e8d","datavalue":{"value":{"entity-type":"item","numeric-id":1187345,"id":"Q1187345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09becef6b83ae6b138176abbd17778f38750b074","datavalue":{"value":{"amount":"+0.6848303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2438013$239B13A9-D4DB-48ED-8139-4801E9B53A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a27a1eae5c1d53980eea83f83c866f91fc02ed8e","datavalue":{"value":{"entity-type":"item","numeric-id":679101,"id":"Q679101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb9a45da54256e4899abec7dd6b3b3ca9c13a7d8","datavalue":{"value":{"amount":"+0.67526484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2438013$49D74FAB-9366-4195-B384-4D003DAFBDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fb88b866e245a1d8a3716d765a15d523192b9a3","datavalue":{"value":{"entity-type":"item","numeric-id":4628662,"id":"Q4628662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66369d363e50835d62e0f539ec8851aa26fd5405","datavalue":{"value":{"amount":"+0.67327714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2438013$9104250B-3F15-475C-9EE9-4C665DDA9A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a510da06f742524ff210f3059b8fbe61209eb70","datavalue":{"value":{"entity-type":"item","numeric-id":5232689,"id":"Q5232689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dbea82aea7c0cd8fda67abbe994efe1c4b4a96a","datavalue":{"value":{"amount":"+0.67007613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2438013$7F111CDE-8229-44A5-8353-60C16AB807BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a11e09d5f287975533c4aa64fb55726aa0880f04","datavalue":{"value":{"entity-type":"item","numeric-id":4916627,"id":"Q4916627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7895c48c9c841b28fdd65ebde2ebe735385c87c1","datavalue":{"value":{"amount":"+0.66495013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2438013$F924A01C-AF3D-4A42-888B-C0A2A63BF1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62f686aa2130312b044e234b0a68422915c06abc","datavalue":{"value":{"entity-type":"item","numeric-id":4942323,"id":"Q4942323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75feab72e4646ee36cd10a8c9c69eac3435a883a","datavalue":{"value":{"amount":"+0.66036475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2438013$C8F05A8E-1936-484D-A0C9-32686D4B1503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e3ae4353321b573a94fca12d563d1a7734af5cf","datavalue":{"value":{"entity-type":"item","numeric-id":1917523,"id":"Q1917523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec981adb87a84c0434832cb849d31f84d15c1a79","datavalue":{"value":{"amount":"+0.6557183","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2438013$F144B6C8-66C6-4673-94B5-F67F7A9EBB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e9abb7259dfb2c1d0556225130c549a1614aeb","datavalue":{"value":{"entity-type":"item","numeric-id":3698881,"id":"Q3698881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74c5216291c99fe4b5fa42e4fac04a9978d33755","datavalue":{"value":{"amount":"+0.65509003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2438013$D5BE4B91-4AD2-4468-BD5E-25AF702842DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2438013","badges":[]}}}}}