{"entities":{"Q674564":{"pageid":676413,"ns":120,"title":"Item:Q674564","lastrevid":46772778,"modified":"2025-12-25T13:49:36Z","type":"item","id":"Q674564","labels":{"en":{"language":"en","value":"Lower bounds for heights on finitely generated groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 986874"}},"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":"Q674564$2F9DAF5E-E26B-4690-A738-DA174B3E94FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"140dc6f97869e29ca7f415453c87d66f04265382","datavalue":{"value":{"text":"Lower bounds for heights on finitely generated groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q674564$DB38CA9E-0A18-4270-BA57-8A26084E7CEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36775c0551d7cc29923a6df4ce7115b68d46e07f","datavalue":{"value":"0973.11067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674564$80B1C408-2695-48EB-B60F-CDF6FF928809","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"882748899289438574888d9a915fa522072d079b","datavalue":{"value":"10.1007/BF01305970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674564$ADBB54EC-F518-4232-9911-69BDAD4E6D26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89c67034fea57ea36bb1070340e409ca6dbadb6d","datavalue":{"value":{"entity-type":"item","numeric-id":674563,"id":"Q674563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674564$07DDC60A-7413-4061-AF70-CB645C8A9DD3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"018a0053bd359d34d6fee8f280c31e982361eda4","datavalue":{"value":{"entity-type":"item","numeric-id":175158,"id":"Q175158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674564$21DE97F1-805F-4940-A7A0-2B586AE55CF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"969b097b704dd3f2a213d901e804a3f90e3b7c8f","datavalue":{"value":{"time":"+1997-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q674564$FF5427F3-1251-48FC-87B5-0BCAC4752291","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b39f76e2a28fd4cb8df91d998862627a66fdacc6","datavalue":{"value":"https://eudml.org/doc/178768","type":"string"},"datatype":"url"},"type":"statement","id":"Q674564$B611A28B-3575-4D7E-975D-25DB3E7BEFA5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9361f95bb6e0169f67994c8d43cb6f961d162cb4","datavalue":{"value":"Let \\(K\\) be an algebraic number field and \\(G\\) a finitely generated subgroup of the multiplicative group \\(K^*\\). Suppose that the free part of \\(G\\) has rank \\(r\\). Let \\(h(\\alpha)=\\prod_{v\\in M_K}\\max(1,|\\alpha|_v)\\) the absolute Weil height of \\(\\alpha\\in K\\), where \\(|\\cdot|_v\\) \\((v\\in M_K)\\) are normalised absolute values satisfying the product formula. Previously, the author and \\textit{W. M. Schmidt} showed that \\(G\\) (that is, the free part of \\(G\\)) has a basis \\(\\alpha_1,...,\\alpha_r\\) such that if \\(\\alpha\\) is an arbitrary element of \\(G\\), expressed uniquely as \\(\\xi\\alpha_1^{x_1}\\cdots\\alpha_r^{x_r}\\) with \\(\\xi\\) a root of unity and \\(x_1,...,x_r\\in\\mathbb{Z}\\), then \\(h(\\alpha)\\geq\\max_{1\\leq i\\leq r}\\{h(\\alpha_i^{x_i})\\}^{4^{-r^3}}\\) [Math. Ann. 296, No. 2, 339-361 (1993; Zbl 0805.11029)]. In this paper, the author improves this to (*) \\(h(\\alpha)\\geq\\max_{1\\leq i\\leq r}\\{h(\\alpha_i^{x_i})\\}^{4^{-r}}\\). The proof uses properties of the height such as \\(h(\\alpha)>1\\) if \\(\\alpha\\) is not a root of unity, \\(h(\\alpha^n)=h(\\alpha)^{|n|}\\) for \\(n\\in\\mathbb{Z}\\), and \\(h(\\alpha\\beta)\\leq h(\\alpha)h(\\beta)\\). Pick any basis \\(\\beta_1,...,\\beta_r\\) of \\(G\\), and define \\(\\omega({\\mathbf x})=\\log h(\\beta_1^{x_1}\\cdots\\beta_r^{x_r})\\) for \\({\\mathbf x}\\in\\mathbb{Z}^r\\). Then from the above properties of \\(h\\) it follows that \\(\\omega\\) can be extended to a vector norm (i.e., distance function) on \\(\\mathbb{R}^r\\). Such a vector norm can be approximated by a vector norm on \\(\\mathbb{R}^r\\) of the shape \\(\\omega(x)=\\sqrt{Q(x)}\\), where \\(Q\\) is a positive definite quadratic form on \\(\\mathbb{R}^r\\). The author proves his theorem by taking a basis \\({\\mathbf a}_1=(a_{11},...,a_{1r}),...,{\\mathbf a}_r\\) of \\(\\mathbb{Z}^r\\) which is reduced with respect to \\(Q\\) in the sense of \\textit{A. K. Lenstra, H. W. Lenstra jun.} and \\textit{L. Lov\u00e1sz} [Math. Ann. 261, 515-534 (1982; Zbl 0488.12001)] and then showing that \\(\\alpha_i=\\beta_1^{a_{i1}}\\cdots\\beta_r^{a_{ir}}\\) \\((i=1,...,r)\\) is a basis of \\(G\\) satisfying (*).","type":"string"},"datatype":"string"},"type":"statement","id":"Q674564$374D7A58-0BCE-4A9C-BD48-6544F5564439","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":"Q674564$FEFBDC6A-D8E3-41C2-90C2-4D153FF0748E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2883069e40717cc0ba9adc793738be74652f098","datavalue":{"value":"11G50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674564$65635EE9-4D20-43B9-BF5F-4EC747A86A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"732c2501ca31f5ceeef797f80b885d9dde0d046f","datavalue":{"value":"11H06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674564$FBD45125-D926-4EC8-9E4F-D70B45B366F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a10c7c572b015570dd9073a520c5685dfacedfa5","datavalue":{"value":"986874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674564$FAE224B7-733B-42E2-99AC-BC7406FF3639","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dacfd19b9b52db987d6f0c1cf9d7be9b474b9fc","datavalue":{"value":"heights","type":"string"},"datatype":"string"},"type":"statement","id":"Q674564$7F58915F-1CFB-4567-BE80-2C48FF530A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f1814ebfb0c5873f215208cab188392d4def9a","datavalue":{"value":"lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q674564$14CD5148-AB5C-4970-87D5-5AD1636FB9B5","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":"Q674564$A659B2DD-10A0-4891-A84C-855F78541B38","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16444303af69fc15197b67b8ce03f7b136ef5dc","datavalue":{"value":{"entity-type":"item","numeric-id":3205334,"id":"Q3205334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674564$A53AC510-CE11-4542-B963-609D6E6FEBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff02751caf2c1d49caa12d60a48ee3988c586ea","datavalue":{"value":{"entity-type":"item","numeric-id":5791470,"id":"Q5791470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674564$36338B6E-0333-4320-B05B-C74AB50BA22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2496d76f7d7fec9d96f39f6e3a59ed93c78d8e95","datavalue":{"value":{"entity-type":"item","numeric-id":1165896,"id":"Q1165896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674564$26AE0425-4FCE-47B3-9BB3-A456B26713C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa75b41aacc03844d495bb0fadc4ae818557762","datavalue":{"value":{"entity-type":"item","numeric-id":1318114,"id":"Q1318114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674564$A50083EC-28C2-44B8-88A1-75DF9C329D22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b07cd7765591daafb4379d21cd2a45d827720e3e","datavalue":{"value":"W2008228884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674564$E60287E2-9B47-4131-9EDF-AF9176A1810F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37b8a8a0a064b77100e924ac5e22bed87080d136","datavalue":{"value":{"entity-type":"item","numeric-id":5420115,"id":"Q5420115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60e6ecbffcd4ed62f0454c37ef62ed4666719c92","datavalue":{"value":{"amount":"+0.8428060412406921","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":"Q674564$787F5998-C9CC-4069-BBDB-538B27DFE482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"553c357c6c1da145aadd522f928bb2d23d46cb28","datavalue":{"value":{"entity-type":"item","numeric-id":4233884,"id":"Q4233884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"465590280b3f053ad803c0860b19e88eb12f3f17","datavalue":{"value":{"amount":"+0.8180726170539856","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":"Q674564$8367343F-93AE-4449-A89F-50694F70D1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43cff410e202a6c4799948461cb94f2cc31e0cd7","datavalue":{"value":{"entity-type":"item","numeric-id":2787087,"id":"Q2787087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4569cfe7da936dbcad09c859e45b4441f1d08a08","datavalue":{"value":{"amount":"+0.8073040843009949","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":"Q674564$C9422B63-9BB4-4DE9-9D20-0CCC8A794E7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:674564","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:674564"}}}}}