{"entities":{"Q2647214":{"pageid":2657957,"ns":120,"title":"Item:Q2647214","lastrevid":48638026,"modified":"2026-01-05T11:21:51Z","type":"item","id":"Q2647214","labels":{"en":{"language":"en","value":"An analogue to Minkowski's geometry of numbers in a field of series"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3042989"}},"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":"Q2647214$2C82B3D9-8CB3-4BFB-AB08-8FFC561BF62A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d97691747ad7d83c67f8b51c87fbb4e1db73d71","datavalue":{"value":{"text":"An analogue to Minkowski's geometry of numbers in a field of series","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2647214$9662074E-064C-42D2-B117-D5363BBB1AFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"677bacdd44738390409d97d13dcb9054f08e845c","datavalue":{"value":"0027.16001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2647214$49A3020E-3E78-475E-9B75-D779499276EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"893381283c8def3a0f3c48c2f2d2ced810c1ae8f","datavalue":{"value":"10.2307/1968914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2647214$A70795D5-8271-4CE5-9B3E-3AEE9B407542","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2647214$20328A5C-0CA6-4DCF-BDFB-226A583C02B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4a7e675c2dec11049f636d98b38ed898375cacb","datavalue":{"value":{"time":"+1941-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2647214$1E9B97A4-8019-46BC-B464-91CDEE335196","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf35234f76168157cb062f51e0d785ed8acb9e78","datavalue":{"value":"https://semanticscholar.org/paper/29ae2dfb8c24ca6a4a5ce4682890c591993c9401","type":"string"},"datatype":"url"},"type":"statement","id":"Q2647214$77E2A31A-B170-4844-B62F-EE479BB9C8A3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0bbd5d819029a640a5a003e500a8db86e59f6925","datavalue":{"value":"Verf. behandelt in dieser bedeutenden Arbeit die konvexen K\u00f6rper in nicht-archime\\-dischen R\u00e4umen. Es sei \\(\\mathfrak R\\) ein beliebiger K\u00f6rper, dessen Elemente \\(x\\) eine nicht-archimedische Bewertung \\(| x|\\) besitzen und \\(\\mathfrak K\\) die perfekte Erweiterung von \\(\\mathfrak R\\) in bezug auf diese Bewertung. Dann legen wir allem folgenden den Raum \\(P_n\\) aller Punkte \\(X=(x_1,\\ldots,x_n)\\), wo die \\(x_i\\) in \\(\\mathfrak K\\) liegen, zugrunde und nennen \\(\\max(| x_1|,\\ldots,| x_n|)\\) die L\u00e4nge \\(| X|\\) des Vektors \\(X\\). Eine Funktion \\(F(X)\\) hei\u00dft Distanzfunktion, wenn stets \\(F(0)=0\\), \\(F(X)\\geq 0\\), \\(F(aX)=| a| F(X)\\), \\(F(X\\mp Y)\\leq \\max(F(X),F(Y))\\). Die Punktmenge \\(C(\\tau): F(X)\\leq \\tau\\) hei\u00dft dann konvex. Es gilt nun die wichtge Tatsache, da\u00df es eine positive Zahl \\(\\gamma\\) gibt, so da\u00df f\u00fcr alle \\(X\\) \\(F(X)\\geq \\gamma X\\) ist. Daraus folgt: Ist die Bewertung diskret, so ist jeder konvexe K\u00f6rper ein Parallelepiped, d.h. \\(C(\\tau)\\) besitzt eine Eichfunktion von der Form \\(\\max\\left(\\left| \\sum_{k=1}^n a_{ik}x_k\\right|\\right)\\leq \\tau^2\\). Ist die Bewertung \u00fcberall dicht auf der positiven Achse, so l\u00e4\u00dft sich \\(C(\\tau)\\) von au\u00dfen und innen durch Parallelepipede beliebig genau approximieren. Besitzt die Punktmenge \\(F(X)=0\\) eine Dimension \\(n-m\\) mit \\(m<n\\), so ist \\(C(\\tau)\\) ein Zylinder, dessen Basis ein konvexer K\u00f6rper von \\(m\\) Dimensionen ist. Die Menge \\(C'(\\frac 1{\\tau}): G(X)\\leq \\tau\\), mit der Distanzfunktion \\(G(Y)=\\overline\\lim(| XY|)\\) f\u00fcr alle \\(X\\) mit \\(F(X)\\leq 1\\), wenn \\(Y\\neq 0\\), hei\u00dft polar zu \\(C(\\tau)\\) und ist ein konvexer K\u00f6rper, wenn \\(m=n\\).  Bis jetzt war \\(\\mathfrak R\\) beliebig. Wir betrachten nun den K\u00f6rper \\(\\mathfrak R\\) aller rationalen Funktionen der Unbestimmten \\(z\\) \u00fcber dem K\u00f6rper \\(\\mathfrak k\\). Die Bewertung \\(| x|\\) der Elemente \\(x\\) von \\(\\mathfrak R\\) werde definiert durch: \\(| x|=0\\), wenn \\(x=0\\), \\(| x|=e^f\\), wenn \\(x\\neq 0\\) von der Ordnung \\(f\\) ist. Die perfekte Erweiterung von \\(\\mathfrak K\\) ist dann der K\u00f6rper aller Potenzreihen \\(x=\\alpha_fz^f+\\ldots \\) mit \\(\\alpha_f\\) in \\(\\mathfrak k\\); ist \\(\\alpha_f\\neq 0\\), so ist \\(| x|=e^f\\). Die Menge \\(\\Lambda_n\\) aller Punkte im \\(P_n\\), deren Koordinaten Polynome in \\(z\\) sind, nennen wir die Gitterpunkte. Weiterhin d\u00fcrfen \\(F(X)\\) und \\(\\tau\\) nur Werte der Gestalt \\(e^t\\) \\((t\\) nat\u00fcrliche Zahl) annehmen, und es sei stets \\(m=n\\). Ist \\(M(t)\\) die Dimension der Menge aller Gitterpunkte in \\(C(e^t)\\), dann nennen wir \\(\\lim_{t\\to\\infty} e^{M(t)-n(t-1)}\\) das Volumen \\(V\\) von \\(C(1)\\). (Ist \\(F(X)=| X|\\), so ist \\(V=1\\) im Gegensatz zur klassischen Theorie: \\(V=2^n\\).) \\(V\\) ist invariant gegen\u00fcber allen Transformationen von \\(P_n\\) mit der Determinante 1. Jetzt definieren wir die sukzessiven Minima von \\(C(\\tau)\\) wie in der klassischen Theorie: \\(\\sigma^i = F(X^i) = \\operatorname{Min} F(X)\\) f\u00fcr alle Gitterpunkte, welche \\(\\mathfrak K\\)-unabh\u00e4ngig sind von \\(X^i,\\ldots,X^{i-1}\\) \\((i=1,\\ldots,n\\)). Dann lautet der Hauptsatz  \\[ \\prod_{i=1}^n\\sigma^i=\\frac 1V,\\quad D=\\text{Det}\\, x_{ik}=1, \\]  wenn \\(X^i=(x_{i1},\\ldots,x_{in})\\) ist. (Klassisch: \\(1\\leq D\\leq n!\\), \\(\\frac{2^n}{n!}\\leq V\\prod \\sigma^i\\leq 2^n\\).)  Daraus folgt der Fundamentalsatz von Minkowski: Es gibt stets einen Gitterpunkt \\(X\\neq 0\\), so da\u00df  \\[ F(X)\\leq \\frac 1{\\sqrt[n] {V}}\\qquad \\left (\\text{klassisch } \\frac 2{\\sqrt[n] {V}}\\right) \\]  ist. Sind \\(\\tau^i\\) die Minima des polaren K\u00f6rpers von \\(C(\\tau)\\), so ist stets \\(\\sigma^i\\tau^{n-i+1}=1\\) (klassisch: \\(1\\leq\\sigma^i\\tau^{n-i+1}\\leq (n!)^2\\), wie vom Verf. gezeigt wurde [\u010cas. Mat. Fys. 68, 85--92 (1939; Zbl 0021.10402; JFM 65.0177.01)]. Daraus folgt sofort der Kroneckersche Satz. \u00dcberraschenderweise la\u00dft sich sogar der inhomogene Linearformensatz mit der scharfen Schranke \\(e^{-n}\\) beweisen (klassisch wird vermutet \\(2^{-n}\\); nur bewiesen f\u00fcr 2 und 3). Zum Schlu\u00df betrachtet der Verf. noch die endlichen Bewertungen von \\(\\mathfrak R\\) und stellt f\u00fcr sie ebenfalls de Hauptsatz auf.  Man sieht aus diesem \u00dcberblick, da\u00df die Theorie im nicht-archimedischen einfacher ist als im klassischen Fall.  Die Beweise sind klar und ausf\u00fchrlich dargestellt.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2647214$2E781366-90AC-48D0-900A-AF06540AA119","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a4507c094ccc63adfc80d30d0fe5567f09ed028","datavalue":{"value":"11H99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2647214$C02FCCF1-BC5F-4F23-A676-1CCAA55FE3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d070c0f2a99928c47aef3fbb93bcd97c70ef3e7","datavalue":{"value":"11S99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2647214$E5C06D6C-EC33-4A1C-A8BB-F22FD9692C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"866b7ca9ccd1c17f5aab066afe52bfd6de41926d","datavalue":{"value":"12J25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2647214$17B280D2-532B-450C-83CC-F6A56CF1CD92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc92eda1d4e3e120755d6383f52a3ad537bbdc1d","datavalue":{"value":"3042989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2647214$35CAE4BC-B84D-4298-89CB-D8B27DB3C9C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59d44c0d4db845e761fb6e500e204f79ba9d02a3","datavalue":{"value":"geometry of numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2647214$74BEB289-591A-4739-94DD-4C2921CC2F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9d5f2ce8cc07e8e2863f3559fd8f92bd3c15d4c","datavalue":{"value":"non-archimedean valued fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q2647214$E60AD9FF-FBC5-496C-8738-BB6C29A6738D","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":"Q2647214$0DA185B1-F1BD-457C-B9EC-7DEEFE2FBF57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e169b3da691302b5c16fda04d906474b4ed2436","datavalue":{"value":"W2319446899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2647214$8EB771CC-4B2B-4A70-B8B7-DD0A0F471133","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cda1eb1adb2f5cb4d06591604ba08dd55977891a","datavalue":{"value":{"entity-type":"item","numeric-id":6482486,"id":"Q6482486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2647214$E21D39D3-1649-4A9C-B7AE-A5B01DD7DAAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cff1f9735642fd8e8811887827122ed6cee9a6a","datavalue":{"value":{"entity-type":"item","numeric-id":6481736,"id":"Q6481736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2647214$B7B95F95-9B0B-44EB-90E9-DA33F4C3DA0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32ccf6e6dbe98aa4f6e5441b9ee491254ba27c8e","datavalue":{"value":{"entity-type":"item","numeric-id":5827029,"id":"Q5827029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c52ccd385a4cbb73c4b58fa8a43eb733be997b2","datavalue":{"value":{"amount":"+0.7973642349243164","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":"Q2647214$7BA29F17-26D4-4748-802D-7507FA85F203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92d7b1c3dac54bd665da23e89893c2adb212ecd2","datavalue":{"value":{"entity-type":"item","numeric-id":5834984,"id":"Q5834984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4054df3bcab76383a907f1842dd568ff4404701","datavalue":{"value":{"amount":"+0.7880674004554749","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":"Q2647214$A834A688-D84E-4894-8169-B91C7E80A5FC","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":"7b5c6f78f68daea69d145523c6dc25020e434531","datavalue":{"value":{"amount":"+0.7860731482505798","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":"Q2647214$4A3461B9-7237-4C18-8EAB-4DE02E833E68","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":"e7cc881516bc1136f695bc8773a8667bd69f1c01","datavalue":{"value":{"amount":"+0.7784970998764038","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":"Q2647214$841EF694-DBE4-4CC8-A41A-9801F1222FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e4ed9cefb892cf82502622bdb0a1f10d30b89c7","datavalue":{"value":{"entity-type":"item","numeric-id":4231977,"id":"Q4231977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa89e39613810feac58eecc01538ec33fab1d966","datavalue":{"value":{"amount":"+0.7750635147094727","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":"Q2647214$7EBBDF0F-7629-48BF-A7C9-CC9B097CC1FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2647214","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2647214"}}}}}