{"entities":{"Q1415368":{"pageid":1426108,"ns":120,"title":"Item:Q1415368","lastrevid":43093883,"modified":"2025-07-21T10:52:58Z","type":"item","id":"Q1415368","labels":{"en":{"language":"en","value":"Positive definite lattices of rank at most 8."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2012764"}},"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":"Q1415368$01A3E4CD-AB59-473C-9937-4EBA4742DA3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35d537ca778e8910f94f074676027dfa7810b489","datavalue":{"value":{"text":"Positive definite lattices of rank at most 8.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1415368$B60B4ACC-7DB9-44D4-8C8E-EE4138A2D204","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5445998a614216ac409f244fcba8606c9d42d4e5","datavalue":{"value":"1044.11014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1415368$42438FB9-D652-4D42-898B-4E565F945BE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3f769bef4ec39bcc76ad7cba545b5c3f53b8db7","datavalue":{"value":"10.1016/S0022-314X(03)00107-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1415368$2FD10B1F-AEBE-4BFD-B413-14915197F90A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c6aed88e63a5e38022584120f6f90dd8ecf2ccb","datavalue":{"value":{"entity-type":"item","numeric-id":169347,"id":"Q169347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415368$5860B804-E0B0-4DC5-A750-5B3B65DBDCC7","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":"Q1415368$6350E3CF-B9C4-4E06-AA78-BB52042DBCE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa428ddf5085eebb022ccc0867c101d4374ab52b","datavalue":{"value":{"time":"+2003-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1415368$7879C086-04FE-41C4-B7A3-08CF344216FC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"14e09b4efa55ffd528e9875102b139ffc84056d9","datavalue":{"value":"The first construction of a positive definite even integral quadratic form of determinant 1 and rank 8 was given by \\textit{A. Korkine} and \\textit{G. Zolotareff} [Math. Ann. 6, 366--389 (1873; JFM 05.0109.01)]. It is now a well-known result in the theory of lattices that any positive definite even unimodular lattice of rank 8 is isometric to the root lattice of the \\(E_8\\) root system. This fact was first proved by \\textit{L.-J. Mordell} [J. Math. Pures Appl. (9) 17, 41--46 (1938; Zbl 0018.29401)]. Various proofs of this uniqueness have appeared in the literature, including one by \\textit{M. Kneser} [Arch. Math. 8, 241--250 (1957; Zbl 0078.03801)] that uses the method of neighbor lattices. The result can also be established by utilizing the Minkowski-Siegel mass formula or the theory of modular forms.  The purpose of the present paper is to give a short, and reasonably elementary and self-contained, proof of the uniqueness of this positive definite even unimodular lattice of rank 8. The approach has similarities to that of Kneser [loc. cit.], but avoids the use of \\(p\\)-adic completions, and rests primarily on only an upper bound for the minimum nonzero norm of a lattice, such as the classical ones due to Hermite or Minkowski.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1415368$51F0FAFB-F3CD-486C-9353-EABD7829BD06","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a065a4d0021067dc43e4b39265a368d5c4f6598a","datavalue":{"value":{"entity-type":"item","numeric-id":590855,"id":"Q590855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415368$FF08DDFA-0E59-4F3A-96D8-F0E682D0C198","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"111aa0d521548ce9bf404704c7ad9cfc95d17aa9","datavalue":{"value":"11E12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1415368$ED727902-13BB-4B98-A315-A0968B949495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"732c2501ca31f5ceeef797f80b885d9dde0d046f","datavalue":{"value":"11H06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1415368$A09C87C6-B851-4737-B57D-611C58C7FAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"afee3ea1d2c4e062a79086470208b2d631b88154","datavalue":{"value":"11H50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1415368$D9ABC6DC-2285-48D5-81CA-987657312E18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c34915ce1161e80bc2ac3022fe98337cd212a75f","datavalue":{"value":"2012764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1415368$475796CD-5AB0-42E1-9FAD-D645C1C0CA35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de2b880da7ba03d5f77d623e0d9f965531ba7b06","datavalue":{"value":"even unimodular lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1415368$B95C794C-ED55-4395-81F9-A672F3078CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"125e04eb8842bd36e992f1fd437c597c2444c877","datavalue":{"value":"\\(E_8\\) root lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1415368$04DD9045-19A2-4069-93BA-A801A10FDF16","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":"Q1415368$66862523-1702-4611-A7B9-9AE0D2470305","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f83f9ba66f0f8d8851d58785463e4fe2198d488f","datavalue":{"value":{"entity-type":"item","numeric-id":4039784,"id":"Q4039784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415368$B64F9DAD-5FCD-4099-B13A-E15523330390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fa05c07c2b3f237bf77bef60d63e41c8d68cf3","datavalue":{"value":{"entity-type":"item","numeric-id":1969015,"id":"Q1969015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415368$B756175D-A32F-40F8-B1E6-FC8F9DDF1131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"161cc61d28d88793d27936527746ba3bd4555099","datavalue":{"value":{"entity-type":"item","numeric-id":5801410,"id":"Q5801410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415368$C173105C-6FA5-4350-8629-B8DD5B07F2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7793ce8f94675052e2c9a2303108d806718b9eb0","datavalue":{"value":{"entity-type":"item","numeric-id":768699,"id":"Q768699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415368$0DBFD548-DC8F-4BA6-8E02-5142DCF65D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"754cbed09e427e2da2ee8972c7107fd1d725aaef","datavalue":{"value":{"entity-type":"item","numeric-id":4333042,"id":"Q4333042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415368$A78C3BDB-8FAE-46E9-88A9-89C6A744297F","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":"Q1415368$B7C9BF69-438D-400F-89FD-1B8D395F94B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47de875a85262ce5e51fbbe5c12c184b8e17ccbd","datavalue":{"value":{"entity-type":"item","numeric-id":4043127,"id":"Q4043127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415368$1B9918DD-9317-4E69-9287-4A8AE82C46CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64703c7fd6eee2b44e1806c635853714c8f8315b","datavalue":{"value":{"entity-type":"item","numeric-id":5835044,"id":"Q5835044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415368$A7AA772C-7C4B-4E6A-862A-2208A74B2115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9da36db8ec75b91821c4a63578e47a9063391f93","datavalue":{"value":{"entity-type":"item","numeric-id":5670687,"id":"Q5670687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415368$DB909C12-84C6-49EC-9841-F34421CCE746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe7e2cc82e6104d3c3e3299aede5753358de67d1","datavalue":{"value":{"entity-type":"item","numeric-id":5723265,"id":"Q5723265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415368$1B9D32AA-C057-4AFA-862F-FC4EF3F9F55E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c9a12b357bf22c6057a68c26df392c1e5248c0a","datavalue":{"value":"https://doi.org/10.1016/s0022-314x(03)00107-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1415368$B50B026E-2F45-422D-B290-ED35BDBE6753","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75e39f635fce6d96d0a64163c8a42a15b049fae5","datavalue":{"value":"W1989930722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1415368$80474BBB-15EC-4D80-8F79-E5FCFB68BECF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7160743273b45b025864a233d52836fcafbe6446","datavalue":{"value":{"entity-type":"item","numeric-id":1847788,"id":"Q1847788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e75659b285ced404ed001f6de4f3a786b06137e","datavalue":{"value":{"amount":"+0.84868485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1415368$5BD186C8-9784-477C-8425-DFD793EC23E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7bff18183d07affcbc8f618f8ed150e38958f47","datavalue":{"value":{"entity-type":"item","numeric-id":4552746,"id":"Q4552746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33134dbdafb66f97bb5b5b2eb4e4f68bf3452b09","datavalue":{"value":{"amount":"+0.83228654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1415368$982D14E9-4566-40E1-941C-C71E763FF84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df2b53768ad302ac1fb715a33adb1c40a8b6ce50","datavalue":{"value":{"entity-type":"item","numeric-id":2744400,"id":"Q2744400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8ad7a9a2dee569675066a82eb416402b1f083ba","datavalue":{"value":{"amount":"+0.8314321","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1415368$13F0EE0B-048E-4702-837F-550E3885E806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8400e98834874198e6341897b7c76fb1698fa735","datavalue":{"value":{"entity-type":"item","numeric-id":1057898,"id":"Q1057898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be9fbcefdc3258b168841f4960441a5dc6c9ef15","datavalue":{"value":{"amount":"+0.8304145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1415368$49D0FA2F-83BD-43AE-90EB-FED8677FD9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ef27b3c4902f4fa7fcf5beeffc79073f18b511b","datavalue":{"value":{"entity-type":"item","numeric-id":3428011,"id":"Q3428011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30e3cea6e09b17205c646b834457e895cc4cf4dd","datavalue":{"value":{"amount":"+0.83017176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1415368$708E31A4-3451-4ED0-9F7E-F7A5F823227E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea17d80a498d7ea4dbe760481e61139cc1ee7089","datavalue":{"value":{"entity-type":"item","numeric-id":3626284,"id":"Q3626284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbbd94b06bd234b832943b821dbe171d5dde52c3","datavalue":{"value":{"amount":"+0.8199302","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1415368$F0A8E4E7-F4F6-4A40-A61E-736136CF2DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a23cbb536eece60f2b4fe31e6ab0b0dfff90d257","datavalue":{"value":{"entity-type":"item","numeric-id":1010962,"id":"Q1010962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"905de342d8266c664f58a6bf485b5cbf17056c93","datavalue":{"value":{"amount":"+0.8156133","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1415368$E5A6118A-75BA-40EB-9774-A863A47675BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20ba0220ba8499955d1c221554722718f2f6de5d","datavalue":{"value":{"entity-type":"item","numeric-id":360416,"id":"Q360416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18bd25b766b651a11702f5da3629929cb66c00ba","datavalue":{"value":{"amount":"+0.8140902","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1415368$C612D5A1-9615-498F-9044-1F714F066140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a653b8a04f6fa64fcb8c83155ba61329b126a8e7","datavalue":{"value":{"entity-type":"item","numeric-id":4881253,"id":"Q4881253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e7f1f9b540538c831aa0f64471516e8d1c01680","datavalue":{"value":{"amount":"+0.80591196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1415368$93A735FD-5071-4211-9265-1439D2070CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e813c7fb1f28760468a4b48627f869bb6e4e0a2","datavalue":{"value":{"entity-type":"item","numeric-id":4369745,"id":"Q4369745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0266f33e48de3deea7a9a7289dc6c9e2b29c5b44","datavalue":{"value":{"amount":"+0.8018131","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1415368$0A396EDC-D4F2-41A7-A673-51EFD207A39C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1415368","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1415368"}}}}}