{"entities":{"Q1196257":{"pageid":1207006,"ns":120,"title":"Item:Q1196257","lastrevid":66459564,"modified":"2026-04-12T10:12:58Z","type":"item","id":"Q1196257","labels":{"en":{"language":"en","value":"Reduced bases of lattices over number fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 78085"}},"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":"Q1196257$CA781241-41A4-4148-B09F-4BC820C2248F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e266eccb1cbe2083bbbaa5b8059b140481a559b","datavalue":{"value":{"text":"Reduced bases of lattices over number fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1196257$92A9247F-231C-4ABD-8641-147A21BE959C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ce22ef60c6c53d917eef2cdb485eb6f1f7d75ab","datavalue":{"value":"0765.11044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1196257$F88EB4C0-94CC-46C8-98A2-27ADB3FBC19D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3fb0d4d0777f57e6ed4eb8c36b7aa5a3a0b34f02","datavalue":{"value":"10.1016/0019-3577(92)90003-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1196257$4F42BFA6-6717-49B9-A38E-733633144522","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e359c0e985e9b5bac2c1d59359dad9dfd6f494d","datavalue":{"value":{"entity-type":"item","numeric-id":174755,"id":"Q174755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196257$D1ACB23A-CF7A-4B6A-A9F9-D3FD147168BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd119824ff2e5a3232d64bc7753f5ae9c321bac8","datavalue":{"value":{"time":"+1992-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1196257$6C7EC3BE-7134-48A8-8BB7-1CFFDBAA9494","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bf9ec2c60be95fc091e878b66ef5c762956e4d70","datavalue":{"value":"Let \\(K\\) be a number field and let \\(S\\) be a finite set of places of \\(K\\), containing the infinite places. Let \\(M\\) be an \\(n\\)-dimensional lattice over the ring of \\(S\\)-integers \\(O_ S\\) of \\(K\\). In other words, \\(M\\) is an \\(O_ S\\)-module contained in a \\(K\\)-vector space \\(V\\) of dimension \\(n\\) and \\(M\\oplus_{O_ S} K=V\\). Suppose that \\({\\mathfrak a}_ 1,\\dots,{\\mathfrak a}_ n\\in M\\) form a \\(K\\)-basis for \\(V\\). The author generalizes Hermite's classical theorem: he shows that there exist vectors \\({\\mathfrak b}_ 1,\\dots,{\\mathfrak b}_ n\\in M\\) such that \\(M=O_ S {\\mathfrak b}_ 1 \\oplus\\dots\\oplus O_ S{\\mathfrak b}_{n-1} \\oplus I{\\mathfrak b}_ n\\) where \\(I\\) is an \\(O_ S\\)-ideal contained in a fixed finite collection of representatives of \\(O_ S\\)-ideal classes and where \\({\\mathfrak b}_ i= \\sum_{j=1}^{\\min(i+1,n)} \\xi_{ij} {\\mathfrak a}_ j\\) for \\(i=1,\\dots,n\\), and the absolute values of the \\(\\xi_{ij}\\in K\\) are bounded in terms of the sizes of the \\({\\mathfrak a}_ j\\) and certain arithmetical invariants of the ring \\(O_ S\\).   The proof involves an effective Chinese Remainder Theorem and an estimate of the size of a system of fundamental units of \\(K\\) [\\textit{K. Gy\u00f6ry}, Ann. Univ. Sci. Budap. Rolando E\u00f6tv\u00f6s, Sect. Math. 22/23, 225-233 (1980; Zbl 0442.10010)]. As an application the author shows that every square matrix with entries in the ring of \\(K\\)-ad\u00e8les is equivalent to a matrix in some kind of Hermite normal form.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1196257$E58F25F5-0B68-4F51-871B-4385CE91CB09","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4ed54b69467a825066a18ef1c8f2e01f4327cd5d","datavalue":{"value":{"entity-type":"item","numeric-id":199207,"id":"Q199207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196257$46EDAB94-FE0E-4B51-A265-8AB2D1E1FF86","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f4be43e4d3a36713afeec76035eb55b0d3950c7","datavalue":{"value":"11R27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1196257$64508A83-C4F5-4931-9BB4-58EA1270A163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e20d7d8843a420e071d8a6a0ab5cf83a047ccf33","datavalue":{"value":"11R56","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1196257$3E28D28D-831E-4F7A-9CF7-D60C55451283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bbe2dde55566c57c31463992aac9b72d0f8c104e","datavalue":{"value":"15B33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1196257$C53B9528-C15F-46F9-82F7-2C61E99710B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0216e5ce918cc3333bedc545ba0f0d3199f54abf","datavalue":{"value":"78085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1196257$495BA573-F176-4F16-A2EA-AA82D9545E3E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f33c7d073efdf68170042ae2fe6cf190987a988","datavalue":{"value":"principal ideal domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1196257$A2136F06-117F-44A2-AE1B-B75F23800E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c0005805480b09a844ebe2c4f166a8e75b804b5","datavalue":{"value":"ad\u00e8les","type":"string"},"datatype":"string"},"type":"statement","id":"Q1196257$BF14D251-E3A5-4610-ABB1-B17270A18C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0004047c90d4de67fc76dfad0e4bdb146f80d307","datavalue":{"value":"\\(n\\)-dimensional lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1196257$FE9533F1-639B-4E96-92BC-6AA4BAE0AE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac0b1d18312d163a64c21c80c6a5272e473e3f","datavalue":{"value":"ring of \\(S\\)- integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1196257$49BD1785-510F-4DE0-B467-F2A1B2FE724E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c37e2357825b8e90209ba8d9a5572e606a2d968","datavalue":{"value":"square matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q1196257$5C316947-95F8-4864-B896-C28766A0C76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d37f52485aed20b3a80c12d133c34b354959045","datavalue":{"value":"Hermite normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1196257$27B0AD7D-5DB0-41B6-B91D-435B93AFC0FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40abfb8c18e32d88afdc6c7f666a504c4f0a7eab","datavalue":{"value":{"entity-type":"item","numeric-id":587177,"id":"Q587177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196257$93367BD6-8E8F-448E-9D64-1C7B01D7208F","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":"Q1196257$D55A6BAF-B018-4D99-9FC5-013CCECB6436","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9afc6cb348ee4b76878737f12671391e6b4eba23","datavalue":{"value":"https://doi.org/10.1016/0019-3577(92)90003-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1196257$05119964-F29D-4BB1-B1CE-506C37A293F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"32bb7e41fa4e6c0a4bcc858415997294628deea8","datavalue":{"value":"W2036370093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1196257$918AC8D4-D2ED-4D35-8E37-DCC6CDDBD7B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a5bfd2f680986de8257b49a574da561c927de2","datavalue":{"value":{"entity-type":"item","numeric-id":789432,"id":"Q789432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196257$273C8CA3-6073-4A2F-A533-720756A08416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0293921ebf45153c0e1d2777b52c5d1086cdee3e","datavalue":{"value":{"entity-type":"item","numeric-id":3884176,"id":"Q3884176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196257$F489C206-E579-450C-9B7D-33E9D48A005C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d645582a4679c212774d4ac0b17c21048dc0c85c","datavalue":{"value":{"entity-type":"item","numeric-id":5636963,"id":"Q5636963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196257$A28BF596-4725-40A0-98A4-672E6F2C9372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405ebbcdf8832702b9b6347f82b0bcfb5052c0ce","datavalue":{"value":{"entity-type":"item","numeric-id":5622316,"id":"Q5622316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196257$40524B3F-FD72-4F16-854A-9C697C8BC779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfe5596f119a7a2d660691832df76b2e1baaad8e","datavalue":{"value":{"entity-type":"item","numeric-id":3997223,"id":"Q3997223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196257$1D87A621-1D6A-4380-BD72-365182ACEDF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c087f9320c526bfab693b748fd5512636ab335f","datavalue":{"value":{"entity-type":"item","numeric-id":3715216,"id":"Q3715216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bb558b204cf3f9d9ec097cdb5b8cd1baa7381a0","datavalue":{"value":{"amount":"+0.70986456","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":"Q1196257$569F84D9-A64F-406D-8C62-51246D59943A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bff1fcf61c467b94c9ed3e923fc1818165313b0","datavalue":{"value":{"entity-type":"item","numeric-id":1411607,"id":"Q1411607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fefcca2ab469cf959ee62559f571a50177ac4bc1","datavalue":{"value":{"amount":"+0.6798166","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":"Q1196257$258191BA-3DF2-4C0E-A6DC-AD7D7653133A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83623e98857688d8b7da915838cb1739b6cb4544","datavalue":{"value":{"entity-type":"item","numeric-id":4375605,"id":"Q4375605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c9754646ed5537e871c151fbec203cb13215f88","datavalue":{"value":{"amount":"+0.67473143","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":"Q1196257$1463545A-1F73-4FC8-885C-F47950136F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07374dbd6fe555af3a7849f3e3d053cabbef30dd","datavalue":{"value":{"entity-type":"item","numeric-id":1472932,"id":"Q1472932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e534a2169f3b6759822b9e86e025c07d6451ca5d","datavalue":{"value":{"amount":"+0.66975844","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":"Q1196257$E20B6E8A-62E2-43EF-9A31-70FA0E97B249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af6bc5fe8da1743894bc0245b7cf17c9c4377ca","datavalue":{"value":{"entity-type":"item","numeric-id":933633,"id":"Q933633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65919a06fab6e28d35831d3733bfb8bcd47199f5","datavalue":{"value":{"amount":"+0.6696273","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":"Q1196257$CA412579-BD6B-40C6-BD9F-8D12BE40C872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"757fa747ed850e82a795f006e734f7360ed303b5","datavalue":{"value":{"entity-type":"item","numeric-id":1465320,"id":"Q1465320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94f7f6f078473f4bf1bdf8a20b1992b6d33d83a8","datavalue":{"value":{"amount":"+0.6510104","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":"Q1196257$A2BDECC9-BAC2-4920-825C-897FB1FEF15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a6e747543ef54703b84503265675c9ae8aab162","datavalue":{"value":{"entity-type":"item","numeric-id":2303678,"id":"Q2303678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a5b199714cc4835de2869abf71868f297992db4","datavalue":{"value":{"amount":"+0.6482543","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":"Q1196257$7D6403B1-49D6-4664-B7DA-35971F91390D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ec6f5a9ca1a292e877eb18aea546a7c8cc938c6","datavalue":{"value":{"entity-type":"item","numeric-id":4253162,"id":"Q4253162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d797304045b7e252209a1503a0cead5b51757f22","datavalue":{"value":{"amount":"+0.6475378","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":"Q1196257$0AD81090-608D-4569-A927-7BFCFDFF6A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8938bb552a455dd2a196d91951f40c8c694775a","datavalue":{"value":{"entity-type":"item","numeric-id":5058641,"id":"Q5058641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11e6c37a8824a223b130a22ee07432866689e77f","datavalue":{"value":{"amount":"+0.6455678","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":"Q1196257$683F957C-62EE-495D-A1BF-4357E75C94A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4db19607787d3592a00e402c8e63d79f6d9b4c74","datavalue":{"value":{"entity-type":"item","numeric-id":5909502,"id":"Q5909502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92aea8baca27e69e547513e734a714ad9c1d6805","datavalue":{"value":{"amount":"+0.6437194","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":"Q1196257$5EC12B21-3492-4B9C-B81C-96F3041F48BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reduced bases of lattices over number fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reduced_bases_of_lattices_over_number_fields"}}}}}