{"entities":{"Q5928551":{"pageid":8105353,"ns":120,"title":"Item:Q5928551","lastrevid":47592343,"modified":"2026-01-02T04:12:20Z","type":"item","id":"Q5928551","labels":{"en":{"language":"en","value":"Adelic Minkowski's second theorem over a division algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1582908"}},"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":"Q5928551$B128DD89-77C6-48EC-9E6B-6D37E935BC9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee0b2e0c20b07903cdada9432cf3c7b295eb5a33","datavalue":{"value":{"text":"Adelic Minkowski's second theorem over a division algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5928551$0A34DC9B-4ADC-480E-AFC2-722681733AE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34c07772a146edd2c6195ec929371df33a04c45a","datavalue":{"value":"1020.11048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928551$1BD85E94-3B4B-4BBD-A904-133484BDB612","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7204bac59c68a397254f582270b34c54ce3e1a10","datavalue":{"value":{"entity-type":"item","numeric-id":168536,"id":"Q168536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928551$95C9D980-E93F-4D99-9BB0-79A8986847ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0da7e678e95d21075e1d6f5e6c41cf7ecaa480ba","datavalue":{"value":{"entity-type":"item","numeric-id":168537,"id":"Q168537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928551$A349E73D-B83C-4074-A52A-F486D6F31C52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3f6c7b78c5b27fc48ae0a7d3dd3bb661f120eab","datavalue":{"value":{"entity-type":"item","numeric-id":168532,"id":"Q168532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928551$4F5F7E95-E08E-4228-A5AC-19CAF103D8CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8442afbf661c95abca3ffe88ff87795240210104","datavalue":{"value":{"time":"+2001-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5928551$785C4405-8C98-4C88-BC74-EE688898AC04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"732c2501ca31f5ceeef797f80b885d9dde0d046f","datavalue":{"value":"11H06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928551$8634F34C-9DED-4B01-98AF-870810CCD0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e20d7d8843a420e071d8a6a0ab5cf83a047ccf33","datavalue":{"value":"11R56","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928551$557F0171-B48B-4AB4-8473-59D2ABCA4D90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbc477df7da63ae244a624b0ca5adb37608dc670","datavalue":{"value":"1582908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928551$C88D2CE2-A886-4129-B104-839BE0CAFC49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2679fb55e09a9845580a640fcd2d949e4adea47","datavalue":{"value":"Minkowski's second fundamental theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5928551$20DC8BE3-AB83-47F3-BDA3-5300D161FD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68011ccf154a832845a4b3506374603e7098b1b8","datavalue":{"value":"central division algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5928551$F20FEA16-7AA7-4A2E-AEBB-45675E93D936","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":"Q5928551$4D573A65-C07F-408C-B1C2-3C8C642610FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a147aced581386f680284ce8093fc117b0c18735","datavalue":{"value":"https://doi.org/10.3792/pjaa.76.165","type":"string"},"datatype":"url"},"type":"statement","id":"Q5928551$D679DC12-12B0-4242-81A8-F9474B08AFF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9a9f2b86740342fa34bf12a103f6b1867a48310","datavalue":{"value":"W1992643442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928551$E64A30E3-A0A7-4063-B34D-EDD9F1FCAC4A","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":"Q5928551$70FCA886-EDBA-4E7A-83C2-B0494D5A7A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"427d9146ed4f06f2f49e5e5782f12e36ef4109d9","datavalue":{"value":{"entity-type":"item","numeric-id":3995481,"id":"Q3995481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928551$A8B2DCCE-3359-4DD5-A32B-5C82D8986D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9539216183cf5ab3f23752f670e33035a03baccf","datavalue":{"value":{"entity-type":"item","numeric-id":5685192,"id":"Q5685192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928551$85CDD85C-C2ED-47CC-BE43-87618914189D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a17fcf3ec10096a78bd3afad76adb413245aadd5","datavalue":{"value":{"entity-type":"item","numeric-id":5778343,"id":"Q5778343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928551$53A8D22C-334E-4EB3-A749-1E6CD757A172","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca9f9188fe7e71b685f2f58fcfb480efc0435ff4","datavalue":{"value":"10.3792/PJAA.76.165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928551$F2BAD5C6-B133-4902-9F61-461CBF4DB846","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2cec44dcbbe5e7a90fab53ab4095d23eab0d5a57","datavalue":{"value":"Let \\(S\\) denote a bounded \\(o\\)-symmetric convex body in \\(\\mathbb{R}^n\\), with volume \\(V(S)\\). The successive minima \\(\\lambda_1, \\dots, \\lambda_n\\) of \\(S\\) with respect to the lattice \\(\\mathbb{Z}^n\\) are defined by: NEWLINE\\[NEWLINE\\lambda_i= \\inf\\{\\lambda >o:\\lambda S\\text{ contains (at least) }i\\text{ linearly independent vectors of }\\mathbb{Z}^n\\}NEWLINE\\]NEWLINE (or, more generally, with respect to a lattice \\(\\Lambda)\\). Minkowski's second fundamental theorem asserts that NEWLINE\\[NEWLINE{2^n\\over n!}\\leq \\lambda_1 \\dots\\lambda_n V(S)\\leq 2^n.NEWLINE\\]NEWLINE The theorem may be generalized [see \\textit{R. B. McFeat}, Geometry of numbers in ad\u00e8le spaces, Dissertationes Math., Warszawa 88 (1971; Zbl 0229.10014) and \\textit{E. Bombieri} and \\textit{J. Vaaler}, Invent. Math. 73, 11-32 (1983; Zbl 0533.10030)], as follows.NEWLINENEWLINENEWLINELet \\(k\\) denote an algebraic number field and let \\(E=k^L\\). For a \\(k\\)-lattice \\(M\\) in \\(E\\) and a bounded, symmetric convex body, \\(S\\), in \\(E\\otimes_\\mathbb{Q} \\mathbb{R}\\), the successive minima, \\(\\lambda_1,\\dots,\\lambda_L\\) of \\(S\\) with respect to \\(M\\) may be defined as before and one then obtains a result analogous to Minkowski's second theorem.NEWLINENEWLINENEWLINEIn the present paper, the authors establish a further generalization of Minkowski's theorem, in which the underlying vector space is defined over a central division algebra, \\(D\\), of finite dimension over an algebraic number field, \\(k\\). Let \\(E=D^L\\) be a left \\(D\\)-vector space. A subset of \\(D\\) is an order of \\(D\\) if it is a sub-ring containing 1 and a \\(k\\)-lattice. Let \\(\\Lambda\\) denote an order of \\(D\\), then a \\(k\\)-lattice of \\(E=D^L\\) is a \\(\\Lambda\\)-lattice if it is a finitely generated left \\(\\Lambda\\)-module.NEWLINENEWLINENEWLINEFor each place, \\(v\\), of \\(k\\), \\(k_v\\) denotes the completion of \\(k\\) at \\(v\\). Let \\(d=[k:\\mathbb{Q}]\\) and \\(n^2\\) the degree of \\(D\\) over \\(k\\). Then \\(D_v=D\\otimes_kk_v\\) and \\(D_\\infty= \\prod_{ v \\in P_\\infty}D_v\\), where \\(P_\\infty\\) denotes the set of infinite places; \\(D_A= D_\\infty \\times D_f\\). Let \\(\\Lambda\\) denote an order of \\(D\\) and \\(E=D^L\\) is called a \\(\\Lambda\\)-lattice if it is a finitely generated left \\(\\Lambda\\)-module. If \\(M\\) is a \\(\\Lambda\\)-lattice, then for \\(v\\in P_f\\), \\(M_v=\\Lambda_v \\otimes_\\Lambda M\\). NEWLINENEWLINENEWLINEWith the foregoing notation, the authors now define a convex body, \\(S\\), in \\(E_A=(D_A)^L\\) by letting \\(S_v\\) denote a non-empty, open, convex, bounded symmetric subset of \\(E_v\\) and then NEWLINE\\[NEWLINE\\prod_{v\\in P_\\infty}S_v \\times\\prod_{v\\in P_f}M_v.NEWLINE\\]NEWLINE The successive minima \\(\\lambda_1,\\dots,\\lambda_L\\) of \\(S\\) may now be defined in a manner similar to that above, and the volume \\(V(S)\\) of \\(S\\) is obtained in terms of the local Haar measures of the \\(S_v\\).NEWLINENEWLINENEWLINEThe authors remark that the inequality NEWLINE\\[NEWLINE(\\lambda_1\\lambda_2 \\dots\\lambda_L)^{n^2 d}V(S)\\leq 2^{n^2dL}NEWLINE\\]NEWLINE may be proved as in the earlier generalization and then prove the inequality NEWLINE\\[NEWLINE\\left({\\bigl \\{(n^2)! \\pi^{n^2/2} \\bigr\\}^L \\over(n^2L)! \\Gamma(n^2 /2+1)^L} \\right)^{r_1} \\left({\\bigl\\{ (2n^2)! (2\\pi)^{n^2}\\bigr\\}^L \\over(2n^2 L)!\\Gamma (n^2+1)^L} \\right)^{r_2} \\leq(\\lambda_1 \\lambda_2 \\dots \\lambda_L)^{n^2 d}V(S)\\bigl( \\alpha_\\infty(D_\\infty/ \\Lambda)\\bigr)^L,NEWLINE\\]NEWLINE where \\(\\alpha_\\infty\\) is defined in terms of the local Haar measures `at infinity' and where \\(r_1\\) denotes the number of real places of \\(k,r_2\\) the number of imaginary places.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5928551$710CC29A-52BE-46A6-BB5F-DF87E5527A85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fea4f4a141156aa23e60ddf4325751de5ca3842d","datavalue":{"value":{"entity-type":"item","numeric-id":857838,"id":"Q857838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7c81ca30b7d5e8884e382e6ff8ae04c6bb80ecc","datavalue":{"value":{"amount":"+0.8137030601501465","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":"Q5928551$BB3780B6-D1FF-46D2-987E-316950396F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5142c72e80e256ad8bae00f646eb8d19dd22be87","datavalue":{"value":{"entity-type":"item","numeric-id":4285324,"id":"Q4285324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b690cfc2e1006e4cb6ae86eb71e80029edc114e3","datavalue":{"value":{"amount":"+0.8045972585678101","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":"Q5928551$8EE1DA61-373B-480A-B6F4-8C7049D438DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4f7366673fa8742c33e0a24f5b35143a474c139","datavalue":{"value":{"entity-type":"item","numeric-id":4431822,"id":"Q4431822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e75bd568434083908be94df6c0f3144ec86ac6dc","datavalue":{"value":{"amount":"+0.8027915358543396","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":"Q5928551$32E532BB-8C76-4249-879A-AC1AD59ECA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2e8a373c3fc9619437b93deceab400f9c6a9426","datavalue":{"value":{"entity-type":"item","numeric-id":3139951,"id":"Q3139951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ead024d109af64820162d05471475839e575454c","datavalue":{"value":{"amount":"+0.7935680150985718","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":"Q5928551$E4B9E986-A2C8-4EDC-960B-C8606947CE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7e88e92b6dbbdd96a0356936daeb72b8799cc40","datavalue":{"value":{"entity-type":"item","numeric-id":2474300,"id":"Q2474300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f41eec3c843d1eda83051ae4135716831df6a77","datavalue":{"value":{"amount":"+0.7926272749900818","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":"Q5928551$113A0FB0-C553-44DD-B2BF-C137873E9C25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5928551","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5928551"}}}}}