{"entities":{"Q2586085":{"pageid":2596828,"ns":120,"title":"Item:Q2586085","lastrevid":44407590,"modified":"2025-11-22T17:56:42Z","type":"item","id":"Q2586085","labels":{"en":{"language":"en","value":"Th\u00e9orie de la r\u00e9duction des formes quadratiques d\u00e9finies positives dans un corps alg\u00e9brique \\(K\\) fini."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2505737"}},"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":"Q2586085$5497D3D8-B9D7-4149-93B3-2E205044662F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6312e22add95642a09f8073a228c5b23cbdcc4c1","datavalue":{"value":{"text":"Th\u00e9orie de la r\u00e9duction des formes quadratiques d\u00e9finies positives dans un corps alg\u00e9brique \\(K\\) fini.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2586085$98D581CD-611F-4CE0-A5ED-CFD4BA955DBF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d7fc61b4d7eb70c032ca62500c1438d3b4f2cbc","datavalue":{"value":"66.0125.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2586085$15A1D18E-FBDB-4585-A87A-8525D6A05EEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3229ae8ef43c402c8e2b129f5ed0c2a6fa38cf2","datavalue":{"value":"10.1007/BF01620653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2586085$389AFFCC-6890-45E5-9756-9C97A4636E27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f22f6ddf6aea9e337a698670a1937558a2e54b5","datavalue":{"value":{"entity-type":"item","numeric-id":562167,"id":"Q562167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2586085$C438B188-E9FA-42E7-9522-DD726377DC23","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5fcb6cd43a0998d068add0035faca6247a2e2036","datavalue":{"value":{"entity-type":"item","numeric-id":185403,"id":"Q185403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2586085$744F2BA7-5539-4E85-B92A-BDAAFFC272BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1701512ca85d58575d88b06da5ab938c2d9a4cd9","datavalue":{"value":{"time":"+1940-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":"Q2586085$05BCA2CE-133B-4057-BA7B-70396713BF6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"175c52acc0c6d76044c365d38d3e4622fae1a2a7","datavalue":{"value":"https://eudml.org/doc/138751","type":"string"},"datatype":"url"},"type":"statement","id":"Q2586085$A52AEEEF-07A7-4082-9482-4EE0D48E7F7C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7e71ad446e48856018e1c95272854f6edcb8daed","datavalue":{"value":"\\(K\\) sei ein gegebener algebraischer Zahlk\u00f6rper vom Grad \\(g\\) \u00fcber dem K\u00f6rper der rationalen Zahlen. Mit \\(g_1\\) sei die Anzahl der reellen konjugierten K\u00f6rper zu \\(K\\) und mit \\(2g_2\\) die Anzahl der komplexen konjugierten K\u00f6rper zu \\(K\\) bezeichnet. Man setzt \\(g_1 + g_2 = \\gamma\\). Man numeriert so, da\u00df \\(K = K^{(1)}, K^{(2)}, \\dots, K^{(g_1)}\\) die reellen, \\(K^{(g_1 + \\varrho)}\\) und \\(K^{(\\gamma + \\varrho)}\\), (\\(\\varrho = 1,2,\\dots, g_2\\)) die zueinander konjugiert imagin\u00e4ren K\u00f6rper sind. Unter einer in \\(K\\) unimodularen Substitution versteht man eine homogene lineare Substitution, deren Koeffizienten s\u00e4mtlich ganze Zahlen aus \\(K\\) sind und deren Determinante eine Einheit des K\u00f6rpers \\(K\\) ist. Die Matrix einer solchen Substitution wird mit \\(\\mathfrak U\\) bezeichnet. Die s\u00e4mtlichen \\(n\\)-zeiligen unimodularen Matrizen \\(\\mathfrak U\\) aus \\(K\\) bilden die unimodulare Gruppe \\(n\\)-ten Grades in \\(K\\).  \\(\\mathfrak S^{(1)}\\) sei eine quadratische, \\(n\\)-reihige, symmetrische Matrix aus \\(K = K^{(1)}\\) und \\(\\mathfrak S^{(2)}, \\dots, \\mathfrak S^{(g_1)}\\) die zu \\(\\mathfrak S^{(1)}\\) konjugierten Matrizen aus \\(K^{(2)}, \\dots, K^{(g_1)}\\). Dann sollen die quadratischen Formen \\(\\mathfrak x^\\prime \\mathfrak S^{(j)}\\mathfrak x\\) (\\(j = 1, 2,\\dots, g_1\\)), \\(\\mathfrak x = \\begin{pmatrix} x_1 \\\\ \\vdots \\\\ x_n \\end{pmatrix} \\), s\u00e4mtlich positiv-definit sein. \\(\\mathfrak H^{(1)}, \\mathfrak H^{(2)}, \\dots, \\mathfrak H^{(g_2)}\\) seien zueinander konjugierte \\(n\\)-reihige hermitische Matrizen aus \\(K^{(g_1+1)},K^{(g_1+2)}, \\dots, K^{(\\gamma)}\\), doch so, da\u00df die hermitischen Formen \\(\\bar{\\mathfrak x}^\\prime \\mathfrak H^{(j)}\\mathfrak x\\) (\\(j = 1, 2,\\dots, g_2\\)) \\, s\u00e4mtlich positiv-definit sind. Die Matrizen \\(\\mathfrak S^{(1)}, \\mathfrak S^{(2)}, \\dots, \\mathfrak S^{(g_1)}, \\mathfrak H^{(1)}, \\dots, \\mathfrak H^{(g_2)}\\) fa\u00dft man dann zu einem System \\(S\\) zusammen. Zwei Systeme \\(S_1\\) und \\(S_2\\) bestehend aus \\(\\mathfrak S^{(1)}_1, \\mathfrak S^{(2)}_1, \\dots, \\mathfrak S^{(g_1)}_1,\\mathfrak H^{(1)}_1, \\dots, \\mathfrak H^{(g_2)}_1\\) und \\(\\mathfrak S^{(1)}_2, \\mathfrak S^{(2)}_2, \\dots, \\mathfrak S^{(g_1)}_2,\\mathfrak H^{(1)}_2, \\dots, \\mathfrak H^{(g_2)}_2\\) nennt man \u00e4quivalent, wenn es eine unimodulare Matrix \\(\\mathfrak U = \\mathfrak U^{(1)}\\) aus \\(K\\), mit den Konjugierten \\(\\mathfrak U^{(2)}, \\dots, \\mathfrak U^{(\\gamma)}\\) aus \\(K^{(2)}, \\dots, K^{(\\gamma)}\\) gibt, so da\u00df  \\[  \\begin{matrix}  \\r & \\qquad \\l \\\\ \\mathfrak U^{(k)^\\prime} \\mathfrak S_1^{(k)} \\mathfrak U^{(k)} = \\mathfrak S^{(k)}_2 & k = 1,2, \\dots, g_1 \\\\ \\bar{\\mathfrak U}^{(g_1+ k)^\\prime} \\mathfrak H_1^{(k)} \\mathfrak U^{(g_1+ k)} = \\mathfrak H^{(k)}_2 & k = 1,2, \\dots, g_2 \\end{matrix}  \\]  ist. Das Problem ist nun, zu entscheiden, ob zwei vorgelegte Systeme \\(S_1\\) und \\(S_2\\) \u00e4quivalent sind. Verf. l\u00f6st dieses Problem, indem er einen Fundamentalbereich f\u00fcr das System \\(S\\) bez\u00fcglich der unimodularen Gruppe \\(n\\)-ten Grades aus \\(K\\) konstruiert. Die Ergebnisse sind analog zu den Ergebnissen der Minkowskischen Reduktionstheorie.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2586085$9ED9FA58-CB60-451B-94B9-B75C020BF935","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2cd39a383d1e0f127e75fea569f1a85ed659ab9a","datavalue":{"value":"2505737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2586085$5D8CD04A-3EF7-4C8A-B781-54E8A20CC28E","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":"Q2586085$CEFED670-EB7E-40FF-8D39-2609C809FB0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2586085","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2586085"}}}}}