{"entities":{"Q1488784":{"pageid":1499524,"ns":120,"title":"Item:Q1488784","lastrevid":67647555,"modified":"2026-04-12T19:09:54Z","type":"item","id":"Q1488784","labels":{"en":{"language":"en","value":"Equivalence of pairs of bilinear or quadratic forms under rational transformation."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2636596"}},"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":"Q1488784$08E130BE-981A-4F6D-BAFF-830A52764C49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb5888048f6c026b659f18d2f8ac31d93eff7ada","datavalue":{"value":{"text":"Equivalence of pairs of bilinear or quadratic forms under rational transformation.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1488784$39186506-BC1E-4647-B310-08F43A03402B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fac72f0c91a54aa809df6d54466b23cf145e567","datavalue":{"value":"40.0163.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1488784$D4541E6F-F2B2-4215-88AD-02F4B6F11AB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be2358bf07a4c0b99ce0b5678a40a0611094d0b1","datavalue":{"value":"10.2307/1988625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1488784$4582DD6E-614E-4716-A840-26E3FEF5A192","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b68518ca9205d490ddacf1dc554b61e1f54e9ed2","datavalue":{"value":{"entity-type":"item","numeric-id":572026,"id":"Q572026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1488784$A9D033BF-A4E1-434D-A708-D857CAB8E4ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1488784$C3C2E332-91AE-4FDB-B9D1-CA0FD9D87CCF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85dc119a8162864438154f79d5266bce104219ac","datavalue":{"value":{"time":"+1909-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":"Q1488784$A0FDE6F5-0B21-4969-8216-51BDB512277E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c5444bb054b90c813355a3c289cd40ce7b37a0b4","datavalue":{"value":"Es seien \\(A\\) und \\(B\\) ein Paar bilinearer oder quadratischer Formen mit Koeffizienten in einem gegebenen Felde \\(F\\). Gehen \\(A, B\\) in \\(A', B'\\) \u00fcber verm\u00f6ge einer linearen Transformation mit Koeffizienten in \\(F\\), so handelt es sich um die notwendigen und hinreichenden Bedingungen f\u00fcr die \u00c4quivalenz von \\(A, B\\) mit \\(A', B'\\), wenn auch die beiden letzteren Formen beliebig gegeben vorliegen. Hierbei wird auch der singul\u00e4re Fall ber\u00fccksichtigt, da\u00df die Determinante \\(| \\lambda A + \\mu B|\\) identisch verschwindet. Im nicht singul\u00e4ren Falle ist auch jetzt eine notwendige \u00c4quivalenzbedingung, da\u00df beide Paare dieselben Elementarteiler \\((\\lambda-c_i)^{e_i}\\) besitzen. Umgekehrt ist diese Bedingung auch hinreichend f\u00fcr bilineare Formen, aber im allgemeinen nicht mehr f\u00fcr quadratische.   Man adjungiere die Wurzeln \\(c\\), von \\(|\\lambda A-B| =0\\) und operiere im erweiterten Felde \\(F(c_1,\\dots,c_n)\\). Indem diese Irrationalit\u00e4ten \\(c_i\\) schlie\u00dflich wieder eliminiert werden, lassen sich die vorgenommenen Operationen ersetzen durch rationale im urspr\u00fcnglichen Felde \\(F\\).   Die Methode beruht wesentlich auf der Einf\u00fchrung ``konjugierter'' Variabeln in bezug auf \\(F\\) und werde an einem Beispiele erl\u00e4utert. Seien \\(x_1,x_2,x_3\\) die urspr\u00fcnglichen Variabeln und \\(c_1,c_2,c_3\\), die Wurzeln einer in \\(F\\) irreduzibeln kubischen Gleichung, ferner \\(T : z_i= \\alpha(c_i)x_1+\\beta(c_i)x_2 +\\gamma(c_i)x_3 =X_1+c_iX_2+c^2_iX_3\\) \\((i = 1, 2, 3)\\) linear unabh\u00e4ngige Funktionen, wo die Koeffizienten der Polynome \\(\\alpha,\\dots\\) zu \\(F\\) geh\u00f6ren. Dann sind auch die \\(X\\) solche Funktionen.   Eine quadratische Form \\(Q(x)\\) in \\(F\\) sei verm\u00f6ge \\(T\\) reduzierbar auf die Form \\(N(z)\\). Eine zweite Form \\(q(y)\\) sei verm\u00f6ge zu \\(T\\) analoger Transformationen \\(T'\\) ebenfalls auf \\(N(z)\\) reduzierbar. Nach Aufl\u00f6sung der Gleichungen \\(X_i=Y_i\\), l\u00e4\u00dft sich auch \\(Q(x)\\) auf \\(q(y)\\) reduzieren.   Dann hei\u00dfen die neuen Variabeln \\(z_i\\) konjugiert in Bezug auf \\(F\\), da \\(z_i\\) aus \\(z_1\\) hervorgeht, indem man \\(c_1\\) durch eine Wurzel \\(c_i\\) derselben irreduzibeln Gleichung ersetzt.   Daraufhin l\u00e4\u00dft sich die \\textit{Weierstra\u00df}sche Reduktion eines Paares bilinearer oder quadratischer Formen in dem Sinne modifizieren, da\u00df die neuen Variabeln sich in Reihen von konjugierten in bezug auf \\(F\\) zerlegen. Das neue Feld (das nicht den Modul 2 hat) enth\u00e4lt die Koeffizienten der vorgelegten Formen.   W\u00e4hrend die Einf\u00fchrung der Wurzeln \\(c\\) der charakteristischen Gleichung \\(|\\lambda A-B| = 0\\) als f\u00fcr die Theorie wesentlich erhalten bleibt, ist dies nicht der Fall mit den weiteren Irrationalit\u00e4ten \\(\\sqrt{C_k}\\), die sich vielmehr hier umgehen lassen.   Sind dann \\(A, B\\) bilineare Formen von \\(2n\\) Variabeln in \\(F\\), mit \\(| A|\\neq 0\\), so existieren \\(2n\\) linear unabh\u00e4ngige homogene Funktionen \\(X\\), \\(Y\\), soda\u00df \\(f_\\sigma=\\frac{1}{C_\\sigma}\\) nebst den Koeffizienten der \\(X, Y\\) ganzrational in den \\(c_\\sigma\\) (und in \\(F\\)) werden und \\(A\\), \\(B\\) zu bilinearen Formen der \\(X\\), \\(Y\\), wobei die \\(f\\) und \\(c\\) als Koeffizienten eintreten. Entsprechend wird die \u00c4quivalenz eines Paares quadratischer Formen behandelt. Erweitert man dann das Feld \\(F\\) durch Aufnahme der \\(c_\\sigma\\) zu \\(F(c_\\sigma)\\), so l\u00e4\u00dft sich entsprechend der Anzahl der verschiedenen Elementarteiler eine Reihe spezifischer quadratischer Formen aufstellen, derart, da\u00df die \u00c4quivalenz derselben in \\(F(\\sigma)\\) jeweils mit ihrer korrespondierenden die notwendige und hinreichende Bedingung darstellt f\u00fcr die gesuchte \u00c4quivalenz der beiden gegebenen Formenpaare in dem n\u00e4mlichen Felde.   Es wird weiterhin noch besonders der Fall des Feldes \\(R\\) aller reellen Zahlen, sowie der eines endlichen Feldes untersucht.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1488784$97F1987D-2A79-4C6A-8749-2D31D570F515","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e96548fd215ef698566684c520bf983814af41f","datavalue":{"value":"2636596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1488784$393CB1A8-0953-4796-8DA8-3477791B9172","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":"Q1488784$749C1A32-03D3-45BF-B6A0-3EF9CC1DA7B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9c872e83ce66773c14c7e041a02c047dbaf450d","datavalue":{"value":"https://doi.org/10.2307/1988625","type":"string"},"datatype":"url"},"type":"statement","id":"Q1488784$81789BEE-296C-4F7E-98C7-63F6E4C8E318","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c92113b2eb3632bbebed1f01d61e5b9339ad9c5e","datavalue":{"value":"W4250705480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1488784$4B28C650-6124-4412-82B2-354053707203","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equivalence of pairs of bilinear or quadratic forms under rational transformation.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equivalence_of_pairs_of_bilinear_or_quadratic_forms_under_rational_transformation."}}}}}