{"entities":{"Q719147":{"pageid":720996,"ns":120,"title":"Item:Q719147","lastrevid":63856899,"modified":"2026-04-11T16:00:54Z","type":"item","id":"Q719147","labels":{"en":{"language":"en","value":"A generalization of Voronoi's theorem to algebraic lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5955262"}},"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":"Q719147$0E043C32-A4AE-4EFD-9B3A-1946CA541383","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07c74d22312e69487e3310fbf331cfefda4905d6","datavalue":{"value":{"text":"A generalization of Voronoi's theorem to algebraic lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q719147$75F85C8C-75FD-4E76-A1C9-F62F6BB7D4E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fe2e1d546ba93220858fe9e94e467130b0df406","datavalue":{"value":"1253.11072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q719147$73F6D5B4-230E-4768-A5C9-4C4BF9168B0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c86bebe8365454dde4f79ea1222696a7f21f23f2","datavalue":{"value":{"entity-type":"item","numeric-id":614485,"id":"Q614485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719147$84086518-F288-40D8-A0F3-508EFD69E9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5908b274ae17e8bfeab0c4d489e2aee8c7ff09c1","datavalue":{"value":{"entity-type":"item","numeric-id":719146,"id":"Q719146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719147$BCBD58ED-A35B-41B3-8209-FDBFD5697929","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2af5fe3b27a04082f1eae9cf17090e68be06cc07","datavalue":{"value":{"entity-type":"item","numeric-id":194678,"id":"Q194678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719147$8FCF3BB2-8CF2-4906-B0F2-943046E5A776","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"150a41d2600a9b6bb2d57bcce319d1e2cca67717","datavalue":{"value":{"time":"+2011-10-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":"Q719147$48B85B76-2B5C-440C-B595-DEE721C8C436","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1737da0ae5414c2cefd75cccaa3024255d7d1dd8","datavalue":{"value":"https://eudml.org/doc/116430","type":"string"},"datatype":"url"},"type":"statement","id":"Q719147$AE1B5BC1-03F0-4E79-A0CE-5438B3A8F631","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0e6741508551517b9054899c52e4af2e819df5d4","datavalue":{"value":"Let \\(K\\) be an algebraic number field of degree \\(n\\) and \\({\\mathfrak O}_K\\) the ring of integers of \\(K\\). The purpose of this paper is to generalize Vorono\u00ef's theorem to the Hermite function defined on the set of \\({\\mathfrak O}_K\\)-lattices and to prove the finiteness of the number of similar isometry classes of perfect \\({\\mathfrak O}_K\\)-lattices.   Let \\(K_{\\mathbb R}=K \\otimes_{\\mathbb Q}\\mathbb R\\) and \\(K_{\\mathbb R}^m=K^m\\otimes _{\\mathbb Q}\\mathbb R\\). An element of \\(K_{\\mathbb R}^m\\) is denoted as a column vector with entries in \\(K_{\\mathbb R}\\). As an \\(\\mathbb R\\)-vector space, \\(K_{\\mathbb R}^m\\) is equipped with the inner product \\(<,>\\) defined by \\(<x,y>=\\text{Tr}_{K_{\\mathbb R}}(^t\\bar xx)\\) for \\(x,y\\in K_{\\mathbb R}^m\\), where \\(\\text{Tr}_{K_{\\mathbb R}}\\) stands for the trace of the \u00e9tale algebra \\(K_{\\mathbb R}\\) over \\(\\mathbb R\\) and \\(\\bar x\\) stands for the conjugate of \\(x\\). An \\({\\mathfrak O}_K\\)-submodule \\(\\Lambda\\) in \\(K_{\\mathbb R}^m\\) is called an \\({\\mathfrak O}_K\\)-lattice if \\(\\Lambda\\) is discrete and \\(\\Lambda\\otimes _{\\mathbb Z}\\mathbb R=K_{\\mathbb R}^m\\). The set of all \\({\\mathfrak O}_K\\)-lattices in \\(K_{\\mathbb R}^m\\) is denoted by \\({\\mathfrak L}\\). For \\(\\Lambda\\in {\\mathfrak L}\\), the minimum \\(Q(\\Lambda)\\) and the determinant \\(\\det(\\Lambda)\\) of \\(\\Lambda\\) are defined by  \\[  Q(\\Lambda)=\\min_{x\\in\\Lambda\\backslash\\{0\\}} <x,x> \\text{\\;and\\;} \\det(\\Lambda)=\\det\\Big (\\frac{\\omega(K_{\\mathbb R}^m/\\Lambda)}{\\omega(K_{\\mathbb R}^m/{\\mathfrak O}_K^m)}\\Big)^2, \\]  where \\(\\omega\\) denotes an invariant measure on \\(K_{\\mathbb R}^m\\). The Hermite function \\(\\gamma_K^\\dag: {\\mathfrak L}\\rightarrow \\mathbb R_{>0}\\) is defined to be \\(\\gamma_K^\\dag(\\Lambda)=\\frac{Q(\\Lambda)}{\\det(\\Lambda)^{1/mn}}\\). Let us denote the set of \\textit{shortest } vectors in \\(\\Lambda\\) by \\(S(\\Lambda)=\\{x\\in\\Lambda\\;|\\;Q(x)=Q(\\Lambda)\\}\\).  An \\({\\mathfrak O}_K\\)-lattice \\(\\Lambda\\in{\\mathfrak L}\\) is said to be \\textit{extreme} if \\(\\gamma_K^\\dag\\) attains a local maximum on \\(\\Lambda\\) up to multiplication by an element of \\(\\mathbb R^{\\times}\\). In the case of \\(K=\\mathbb Q\\), Vorono\u00ef's theorem says that \\(\\Lambda\\) is extreme if and only if \\(\\Lambda\\) is \\textit{perfect} and \\textit{eutactic} (see [\\textit{R. Coulangeon}, ``Vorono\u00ef Theory over Algebraic Number Fields'', Monogr. Enseign. Math. 37, 147--162 (2001; Zbl 1139.11321)]). In the general case of a number field \\(K\\), the authors at first modify the eutaxy definition given by \\textit{A. Leibak} in [``On additive generalization of Vorono\u00ef's theory to algebraic number fields'', Proc. Est. Acad. Sci., Phys. Math. 54, No. 4, 195--211 (2005; Zbl 1095.11022)] and recall the definition of perfectness given by \\textit{M. Koecher} [``Beitr\u00e4ge zu einer Reduktionstheorie in Positivit\u00e4tsbereichen. II'', Math. Ann. 144, 175--182 (1961; Zbl 0099.01701)]. Then they extend Vorono\u00ef's theorem for the number field \\(K\\). More precisely they prove:  1) A perfect \\({\\mathfrak O}_K\\)-lattice \\(\\Lambda\\) in \\(K_{\\mathbb R}^m\\) is determined up to isometry by the set of minimum vectors \\(S(\\Lambda)\\) and the minimum \\(\\mathbb Q(\\Lambda)\\).  2) Let \\(\\Lambda\\in {\\mathfrak L}\\) be an \\({\\mathfrak O}_K\\)-module. Then \\(\\Lambda\\) is extreme if and only if \\(\\Lambda\\) is perfect and eutactic.  3) The number of similar isometry classes of perfect \\({\\mathfrak O}_K\\)-lattices in \\(K_{\\mathbb R}^m\\) is finite.","type":"string"},"datatype":"string"},"type":"statement","id":"Q719147$F0AD95A2-34CD-4E2A-9CAA-512FE202A058","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"06822504524dcfdcaf085711ac017760fd2656bc","datavalue":{"value":{"entity-type":"item","numeric-id":589836,"id":"Q589836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719147$8D4A5F29-5BCC-40D0-A483-89E1C7DEFD3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f3a770aca53115fb3ca1a8111091a579be311da","datavalue":{"value":"11H55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q719147$E8EAFCCB-49C9-4CAD-91F3-2A48A53B78F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"732c2501ca31f5ceeef797f80b885d9dde0d046f","datavalue":{"value":"11H06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q719147$AF7278A1-EF38-4630-9553-4A7133553DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c745fe9f9fd950076cb858ccadc78c0e065cb45","datavalue":{"value":"11R04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q719147$3D59A034-40B9-4C34-BFC6-F7311979CDB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"def41b39f3f9d0013685c806496c125ed4ef4f9b","datavalue":{"value":"5955262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q719147$EE00542C-A4AE-416C-8910-270D86E45805","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d78beb8863508aca576a2edafec674da04b528d","datavalue":{"value":"Voronoi's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q719147$B7656737-03F7-4EF2-8D97-A968139F8466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edac8e558d5e4d8339fe3dc86f5ee9de00f1eabf","datavalue":{"value":"lattices on algebraic number fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q719147$078F9C86-AF30-44DC-8534-BED16A5EB62C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c9e7796228955322e9e53ee7dc1e0f38a40b471","datavalue":{"value":"extreme, eutactic, perfect lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q719147$8F585B40-3497-4764-8343-0461D7AF5CBE","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":"Q719147$AB05F785-5214-4746-B03C-3513F02AEE44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9044ee566c5fb27f602b2c1afdd46f839eb14ec","datavalue":{"value":"W2037968213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q719147$9029FCD4-7408-41AB-931F-8FCEC7C7356C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"00bd7bd296c5d64abe6e2d6b37c8d3959a9c1f7c","datavalue":{"value":{"entity-type":"item","numeric-id":4654214,"id":"Q4654214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719147$2B7C6A9C-932A-4304-8A6E-22D1EB8AE077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92d438379283d374367137e3f5e10c02869f72d5","datavalue":{"value":{"entity-type":"item","numeric-id":2646663,"id":"Q2646663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719147$2074DBFF-A44C-469E-92D4-B05D79BAF61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c749d5bcfb7c6a1a6e590b18300e1ed6232381a4","datavalue":{"value":{"entity-type":"item","numeric-id":772930,"id":"Q772930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719147$78059271-B4B4-4E70-A2D9-28889BBB7973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3598716ed57422de8fe9fb6a6a59821b43083a5e","datavalue":{"value":{"entity-type":"item","numeric-id":773747,"id":"Q773747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719147$59FEE3FC-9640-4330-AC68-78FEE157B421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cf5a0ec93686ecb1a15ad49a3f35350499f41dc","datavalue":{"value":{"entity-type":"item","numeric-id":999711,"id":"Q999711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719147$97A26B2C-386A-42F2-B7B6-F10C7FE586E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e186eafad61b79a460cf9beeaf3cc5643379f667","datavalue":{"value":{"entity-type":"item","numeric-id":3377604,"id":"Q3377604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719147$C2A83B6D-CAA1-4837-9D91-4086547067C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec8053fa69dded4a57889cb605f13c20237cc64a","datavalue":{"value":{"entity-type":"item","numeric-id":4789130,"id":"Q4789130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719147$53D50D8C-7BF8-4CE5-97B0-6E83BC1429BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e08f60d19ecb3bc0407d847f6db6f8e5991f46a","datavalue":{"value":"10.5802/JTNB.742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q719147$1409C421-9514-4B28-A7F6-D9D8BFF4C6C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f8627f8d073e2770fb811364cebc5cf2c49a034","datavalue":{"value":{"entity-type":"item","numeric-id":5179231,"id":"Q5179231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bbbb13e4151d1dcb66f19abf0d08f5114f32ff1","datavalue":{"value":{"amount":"+0.8579777479171753","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":"Q719147$4D010FB9-F73E-4C64-B435-7AB97AB65DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4fb4632056dbbfb3f2092488fc63fcd086ba6fc","datavalue":{"value":{"entity-type":"item","numeric-id":3377604,"id":"Q3377604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"363394b6908781bde625d5e0082d6aa1e3c61596","datavalue":{"value":{"amount":"+0.8533201813697815","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":"Q719147$798F238C-9727-4A44-A0BB-35DAF708522F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d4da0b6c0ba43bde8e81db2d81072d64696d036","datavalue":{"value":{"entity-type":"item","numeric-id":4909849,"id":"Q4909849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d78d65c597cd00d6914d373ca0bb6a431a6b6b4a","datavalue":{"value":{"amount":"+0.8449735045433044","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":"Q719147$7BBF3FB8-CD1A-42FA-81AE-F09DDBC28782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff22575d9d28dae46e4d65f73e19dc7f405e0eec","datavalue":{"value":{"entity-type":"item","numeric-id":4654214,"id":"Q4654214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70eec399a0003f41500c34d6b321382aa5362abb","datavalue":{"value":{"amount":"+0.8220338225364685","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":"Q719147$74C0FFED-5275-49E7-9C4F-F7E5135CC295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"471576cf8236eb5523b7c4421e291a6587099357","datavalue":{"value":{"entity-type":"item","numeric-id":4509198,"id":"Q4509198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b146de0ba2ddb59bf40232b99022dcb46cabfd3","datavalue":{"value":{"amount":"+0.7992118000984192","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":"Q719147$9A9125F8-80EA-4A28-93E8-81CAE62F6CF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A generalization of Voronoi's theorem to algebraic lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_generalization_of_Voronoi%27s_theorem_to_algebraic_lattices"}}}}}