{"entities":{"Q597129":{"pageid":598905,"ns":120,"title":"Item:Q597129","lastrevid":63011985,"modified":"2026-04-11T09:40:59Z","type":"item","id":"Q597129","labels":{"en":{"language":"en","value":"Linear equations and heights over division algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2082497"}},"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":"Q597129$2A3F17BD-55DE-4BA8-91CD-303DDDD2E377","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"716bc807d2f0295a02852cb444664f103ff76767","datavalue":{"value":{"text":"Linear equations and heights over division algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q597129$440FE200-6A96-45BC-84F5-0CCC731957CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"180037ccf9630a62418385d47aea6f427573b4fc","datavalue":{"value":"1055.11042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q597129$5428C1BA-8185-4FD2-B648-CB44F22263E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e19afb35e4d28e399fd330862a8181fa44dec26","datavalue":{"value":{"entity-type":"item","numeric-id":597128,"id":"Q597128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597129$F7EC6F4E-C072-4AD7-A848-3D34073EAC61","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6cac328d206d9ef9b7afb3fb4ca5d1d204199af","datavalue":{"value":{"entity-type":"item","numeric-id":167107,"id":"Q167107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597129$89F7EC8E-BEBB-4609-B4B5-CB11FD838EDC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q597129$7BE14DAC-8848-486E-AA8D-BF3B10DF7D93","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e6df7cfbfb5c27101013509d6915399c1af950cf","datavalue":{"value":"In 1983, \\textit{E. Bombieri} and \\textit{J. Vaaler} proved a version of Siegel's Lemma for systems of linear equations to be solved in vectors whose coordinates lie in the ring of integers of a given algebraic number field [Invent. Math. 73, 11--32 (1983; Zbl 0533.10030)]. In the present paper, the author suggests to prove a similar result for vectors whose coordinates lie in a given maximal order of a given division algebra \\(D\\) over \\(\\mathbb{Q}\\), and in fact she obtains such a result in case that \\(D\\) is a positive definite quaternion algebra over \\(\\mathbb{Q}\\), i.e., \\(D=\\binom {a~b}{\\mathbb{Q}}\\) with \\(a,b\\in\\mathbb{Q}_{<0}\\). Given a maximal order \\({\\mathcal O}\\) of \\(D\\), the author introduces norms \\(\\| X\\| \\) for vectors \\(X\\in{\\mathcal O}^N\\) and heights \\(H^{{\\mathcal O}}(A)\\) for \\(M\\times N\\)-matrices \\(A\\) with entries in \\(D\\) where \\(M<N\\) which are natural analogues of norms and heights used by Bombieri and Vaaler. Here a maximal order of \\(D\\) is not uniquely determined and so the height depends on \\({\\mathcal O}\\). Then the author's version of Siegel's Lemma is as follows:   Let \\({\\mathcal O}\\) be any maximal order of \\(D\\), and \\(A\\) and \\(M\\times N\\)-matrix with entries in \\(D\\), where \\(N>M>0\\) and \\(A\\) has left row rank \\(M\\). Then there exist right-linearly independent vectors \\(X_1,\\ldots ,X_{N-M}\\in {\\mathcal O}^N\\) satisfying \\(AX_i=0\\) for \\(i=1,\\ldots ,N-M\\) and  \\[  \\prod_{i=1}^{N-M}\\| X_i\\| \\leq \\Big( {2\\over\\pi^2}\\sqrt{\\Delta_D}\\Big)^{(N-M)/4}H^{{\\mathcal O}}(A), \\tag \\(*\\)  \\]  where \\(\\Delta_D\\) is the discriminant of \\(D\\).   The author's proof is based on an argument by \\textit{J. L. Thunder} [Number theory for the millennium III. Proceedings of the millennial conference on number theory, Urbana-Champaign, IL, USA, May 21--26, 2000. Natick, MA: A K Peters, 253--259 (2002; Zbl 1042.11044)]. Thus, unlike Bombieri and Vaaler who used geometry of numbers over the adeles, the author deduces her result directly from Minkowski's second convex body theorem. The author shows that in (*) the dependence on \\(H^{{\\mathcal O}}(A)\\) is best possible and that the dependence on \\(\\Delta_D\\) cannot be removed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q597129$D60974E6-2DA5-422D-A637-D6488329DDD6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"814d841b755c5d45a363377f763e212a3bff6b1a","datavalue":{"value":{"entity-type":"item","numeric-id":587177,"id":"Q587177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597129$53C7DBE7-047A-420C-B087-19B82832AA07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2883069e40717cc0ba9adc793738be74652f098","datavalue":{"value":"11G50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q597129$8E972194-2300-455A-8A0E-2E5EDDDEC549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f31233b552eca4a4ba62dfc962e070217fef4dcf","datavalue":{"value":"11D04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q597129$45393245-40CA-4FD4-9639-5E3FE02AB629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"656bce73d97ec53ad000afd2904966a257ee2148","datavalue":{"value":"16K20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q597129$B2D7680A-C4EB-420C-A3B9-A1EA686E4405","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80ea7b2115a80dd366583a660f6736d7d2f83ab3","datavalue":{"value":"2082497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q597129$BB79CFA5-A338-4870-BC42-430128D77988","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dacfd19b9b52db987d6f0c1cf9d7be9b474b9fc","datavalue":{"value":"heights","type":"string"},"datatype":"string"},"type":"statement","id":"Q597129$FF1E1DE3-56D1-4D53-81C5-CEEAB3E0667E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42c31636f400e0ce5ed589a1745c8025def9a53b","datavalue":{"value":"division algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q597129$0B56DF5E-B959-4BB3-926E-208D08B69564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc7d73e074e6a997a23321715c0e900e210338cd","datavalue":{"value":"quaternion algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q597129$8C572728-1415-414D-AEBA-D8E6EF0D2B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ae86dfa5617e43417d6e2a2b841900dd43b039b","datavalue":{"value":"Siegel's Lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q597129$C123219B-CBFF-4BA3-9A3E-AD3E60BB5A02","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":"Q597129$313DB4CA-47DE-4500-8B5B-FCB79046C0D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5165f51c0808c4b592cda62d53812d45c58280a","datavalue":{"value":"https://doi.org/10.1016/j.jnt.2003.09.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q597129$8F46BC71-5DEB-4F6F-B14E-3F68D6FA6A3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d255953eb14b13d6f2f2df7d2f143530694aa8b3","datavalue":{"value":"W1999347284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q597129$678C4B30-C006-4E07-A683-FE22EED21EFA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af650908e0f161f47e44e01ac26afc0dc8cbd91","datavalue":{"value":{"entity-type":"item","numeric-id":5775371,"id":"Q5775371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597129$484C0BBF-0D74-47B6-82D8-412324ECEB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15a5c4e166943e63a6ceea5b952d48af9c85a1b0","datavalue":{"value":{"entity-type":"item","numeric-id":3241211,"id":"Q3241211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597129$B08998A6-9714-4994-859E-30D90689E019","rank":"normal"},{"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":"Q597129$92A73D79-6896-4C7A-8B22-F85610805528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"815fc6b24798e079e16fd68995553334b209888d","datavalue":{"value":{"entity-type":"item","numeric-id":5521595,"id":"Q5521595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597129$8BF00E2F-3584-4A60-941F-316C4B022FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38f9e84b8c35c78c4926dfd61433b50e8031bf98","datavalue":{"value":{"entity-type":"item","numeric-id":1121327,"id":"Q1121327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597129$B4226B5C-BA90-4730-B4C0-B099621D80AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cace0e36925fb7f03948a4c2b888f6a90131ca9","datavalue":{"value":{"entity-type":"item","numeric-id":5287502,"id":"Q5287502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597129$E7204C49-1941-45D5-AB56-8D4A8D5DC9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3039df7818c94db4ffe1088c8422a1bbb487c57e","datavalue":{"value":{"entity-type":"item","numeric-id":1359151,"id":"Q1359151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597129$BEF2C0BC-DCF3-45EC-9911-9E3D628DC135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11abe1ee01356015826089002a66c3a6bb253852","datavalue":{"value":{"entity-type":"item","numeric-id":3961610,"id":"Q3961610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597129$F599BB41-BCF8-40D1-A548-DFDDC9A3FF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a25fd6f15f42b60ca4a451c0b25afe17ca6fe386","datavalue":{"value":{"entity-type":"item","numeric-id":4061092,"id":"Q4061092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597129$1CC98C3E-92BF-4423-BE75-1E361F6812B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"124cb7a49dfc9ae93dfc68da99d1ae956bd418a1","datavalue":{"value":{"entity-type":"item","numeric-id":1907010,"id":"Q1907010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597129$998DB17D-7F38-40A8-9C90-BEB30F008E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1ee05c132a86d36bc399201769c8add275a580e","datavalue":{"value":{"entity-type":"item","numeric-id":2525686,"id":"Q2525686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597129$5EB9ADC0-5C06-4B98-83B9-397F7557AC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975a2de2f83df1d7f594a7120f26625aaf3c77f7","datavalue":{"value":{"entity-type":"item","numeric-id":1189451,"id":"Q1189451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597129$224664DA-EB2E-450C-8FAE-D7CFB41BEA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c84839ebc03b6d057d2271c1c479ee2a3a3b62f8","datavalue":{"value":{"entity-type":"item","numeric-id":1573780,"id":"Q1573780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597129$4FE90AB8-5698-4B3E-96D1-B738C18C1133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebc762211205e075b350e7e0a57de14377749527","datavalue":{"value":{"entity-type":"item","numeric-id":4882759,"id":"Q4882759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597129$38BD6ECE-8EFC-45D1-A9AD-095B0E79E84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"584d03bd9ecbbbd0ddd4403c73fc58c7e2dad0df","datavalue":{"value":{"entity-type":"item","numeric-id":4431822,"id":"Q4431822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597129$AB75ECED-D1D3-45A5-BC11-B881E6F997CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb46cef14dbe34dd800f5b034acde0e48becd6ae","datavalue":{"value":{"entity-type":"item","numeric-id":1154683,"id":"Q1154683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597129$F9AFF59B-90E8-4535-8C56-1C18F847CB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"694cecfed803a7a2d3ac0376ccc1543be78617b3","datavalue":{"value":{"entity-type":"item","numeric-id":1133571,"id":"Q1133571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597129$814FC762-7CCA-4360-8CFC-3683D1BA63D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"736b20fcbd9e04710afc9acf2e3bdc95883d9f54","datavalue":{"value":"10.1016/J.JNT.2003.09.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q597129$258F85F4-21C7-44C8-976C-34C784A8153E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4a31235a14598f03f1611cd244e0bdc589d93ea","datavalue":{"value":{"entity-type":"item","numeric-id":4039357,"id":"Q4039357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"142332c540404cdf257e6053c4ad818d06349f84","datavalue":{"value":{"amount":"+0.7738421559333801","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":"Q597129$D5679599-8E89-4033-AA43-C775F7A34C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bafc8b5038622d3690f3575f0b6507417c1eccdb","datavalue":{"value":{"entity-type":"item","numeric-id":870635,"id":"Q870635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4603f6d3176a7123a8e62c970dc50268b45f9c60","datavalue":{"value":{"amount":"+0.770449161529541","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":"Q597129$9C531CEA-8C15-4B9A-9BA2-F589DAB541D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f896092b778a965c5e9ea12278971dcf1aabd09","datavalue":{"value":{"entity-type":"item","numeric-id":4035235,"id":"Q4035235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"866707a938c6a9db7d2601f370a5e4f198380694","datavalue":{"value":{"amount":"+0.7621265649795532","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":"Q597129$426ACFCA-D2F9-4C2A-A143-23E3572E23BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c754ea05b9d20932d0cb82ae5c79f4ab61f33d18","datavalue":{"value":{"entity-type":"item","numeric-id":1208189,"id":"Q1208189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c84d1d0730b1a7988ad9285d29b667514629c10","datavalue":{"value":{"amount":"+0.7604584693908691","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":"Q597129$82185311-E494-4786-B341-C9AD1DC4DB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20e3f16e745796170f3364f6efc6a4905f763098","datavalue":{"value":{"entity-type":"item","numeric-id":1086282,"id":"Q1086282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e59e39062828cd8d99a7eb0f6b8c9ef28d70437","datavalue":{"value":{"amount":"+0.7528930902481079","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":"Q597129$C1A577D4-AA24-46EC-8DC2-E663164029AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear equations and heights over division algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linear_equations_and_heights_over_division_algebras"}}}}}