{"entities":{"Q1564041":{"pageid":1574781,"ns":120,"title":"Item:Q1564041","lastrevid":67874142,"modified":"2026-04-12T19:58:14Z","type":"item","id":"Q1564041","labels":{"en":{"language":"en","value":"On the theory of bilinear and quadratic forms."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2722686"}},"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":"Q1564041$24AAAD16-078E-46B3-894A-7C13967D165F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73415caaeb6cc5cbd40455b61debb973ea1c5c43","datavalue":{"value":{"text":"On the theory of bilinear and quadratic forms.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1564041$64DE9534-287C-45D8-9717-DE9C9C1F9DBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8fb915df34d0bf446c62f5bc47f45cae0a82fb69","datavalue":{"value":"01.0054.04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1564041$845553C5-6FC6-4C78-B511-CD1EC3B6E70E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f17b3ebb5af2374fa6cda42df1320c1fa6d498b2","datavalue":{"value":{"entity-type":"item","numeric-id":1523033,"id":"Q1523033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1564041$8A931510-0006-4EE6-9709-0784F5E0BA07","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0dbe10961788d0a1c24e03c1439a8293aeddbe5c","datavalue":{"value":{"entity-type":"item","numeric-id":1548784,"id":"Q1548784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1564041$2BA3701F-0CF7-4058-BA99-B7AC80BAB64C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"25195ae85216a2a29e9f94dabb75f563fd1ba11d","datavalue":{"value":{"time":"+1868-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":"Q1564041$D54D6683-326E-46C6-9BFA-EBE9B97ED641","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"65fa3ed1bc19328246c5f63afe73632c1b84d0c7","datavalue":{"value":"Es seien zwei bilineare Formen derselben \\(2n\\) Ver\u00e4nderlichen gegeben  \\[ P=\\sum_{\\alpha\\beta}A_{\\alpha\\beta}x_{\\alpha}y_{\\beta},\\;\\; Q=\\sum_{\\alpha\\beta}B_{\\alpha\\beta}x_{\\alpha}y_{\\beta}. \\]  Bidet man die Determinante \\([P,Q]\\) der Form \\(pP+qQ,\\) so l\u00e4sst dieselbe sich als Product von Factoren in der Form  \\[ [P,Q]=C.(a_{1}p+b_{1}q)^{l_{1}}.(a_{2}p +b_{2}q)^{l_{2}}\\ldots (a_{\\varrho}p +b_{\\varrho}q)^{l_{\\varrho}} \\]  darstellen. \\((ap+bq)\\) sei einer dieser Factoren, \\(l\\) der Exponent der h\u00f6chsten in \\([P,Q]\\) aufgehenden Potenz desselben. Ferner bedeute \\(l^{(k)}\\) den Exponenten der h\u00f6chsten Potenz von \\(ap+bq,\\) durch welche \\textit{alle} aus den Elementen von \\([P,Q]\\) gebildeten Unterdeterminanten \\((n-k)^{ter}\\) Ordnung theilbar sind. Setzt man dann  \\[ e=l-l',\\;\\;e'=l-l'',\\;\\;\\ldots\\;\\;e^{(r-1)}=l^{(r-1)}, \\]  so sind die \\(e,\\;e',\\;\\ldots\\;e^{(r-1)}\\) \\textit{positive} Zahlen, und man hat  \\[ (ap +bq)^{l} =(ap +bq)^{e}(ap +bq)^{e'}\\ldots (ap +bq)^{e^{\\scriptstyle (r-1)}}. \\]  Jeder Factor \\((ap +bq)^{e^{\\scriptstyle (k)}}\\) heisst \\textit{Elementartheiler} von \\([P,Q].\\) Die Bedeutung der Elementartheiler erhellt aus Folgendem. Gehen die Formen \\(P\\) und \\(Q\\) durch Transformationen  \\[ x_{1} =\\sum_{\\gamma}h_{1\\gamma}u_{\\gamma},\\;\\;\\ldots\\;\\;x_{n} =\\sum_{\\gamma}h_{n\\gamma}u_{\\gamma}, \\]   \\[ y_{1} =\\sum_{\\gamma}k_{1\\gamma}v_{\\gamma},\\;\\;y_{n} =\\sum_{\\gamma}k_{n\\gamma}v_{\\gamma}, \\]  in \\(P'\\) und \\(Q'\\) \u00fcber, so haben \\([P,Q]\\) und \\([P',Q']\\) dieselben Elementartheiler. Der Beweis dieses Satzes bietet geringe Schwierigkeiten; der Beweis der Umkehrung desselben beruht darauf, dass \\(P\\) und \\(Q\\) in Formen der Ver\u00e4nderlichen \\(X_{\\lambda\\mu},\\;Y_{\\lambda\\nu}\\) transformirt werden, welche durch die Elementartheiler von \\([P,Q]\\) bestimmt sind. Man erh\u00e4lt, wenn man  \\[ \\sum_{(\\mu +\\nu =e-1)}X_{\\lambda\\mu}Y_{\\lambda\\nu}\\quad\\mathrm{ mit}\\quad (X_{\\lambda}Y_{\\lambda})e \\]  bezeichnet  \\[ P =\\sum_{\\lambda}[a_{\\lambda}(X_{\\lambda}Y_{\\lambda})e_{\\lambda} -h(X_{\\lambda}Y_{\\lambda})e_{\\lambda} -1], \\]   \\[ Q =\\sum_{\\lambda}[b_{\\lambda}(X_{\\lambda}Y_{\\lambda})e_{\\lambda} -g(X_{\\lambda}Y_{\\lambda})e_{\\lambda} -1. \\]  Wichtig ist dabei, dass  \\[ x_{\\alpha} =\\sum (\\alpha\\lambda\\mu)X_{\\lambda\\mu},\\quad y_{\\beta} =\\sum (\\beta\\lambda\\nu)Y_{\\lambda\\nu} \\]  ist, und dass umgekehrt die \\(X_{\\lambda\\mu}\\) als lineare Functionen der \\(x_{\\alpha},\\) die \\(Y_{\\lambda\\nu}\\) als solche der \\(y_{\\beta}\\) auftreten. Besitzt also \\([P',Q']\\) der Formen  \\[ P' =\\sum_{\\alpha\\beta}A'_{\\alpha\\beta}u_{\\alpha}v_{\\beta},\\quad Q' =\\sum_{\\alpha\\beta}B'_{\\alpha\\beta}u_{\\alpha}v_{\\beta} \\]  dieselben Elementartheiler wie \\([P,Q],\\) und man wendelt \\(P'\\) und \\(Q'\\) (in \u00e4hnlicher Weise wie oben \\(P\\) und \\(Q\\)) in eine Form von \\(U_{\\lambda\\mu}\\) und \\(V_{\\lambda\\nu}\\) um, so werden diese Gr\u00f6ssen mit den entsprechenden \\(X_{\\lambda\\mu}\\) und \\(Y_{\\lambda\\mu}\\) \u00fcbereinstimmen; die \\(x_{1}\\ldots x_{n}\\) verwandeln sich dadurch in homogene linearen Functione von \\(u_{1}\\ldots u_{n},\\;y_{1}\\ldots y_{n}\\) in eben solche Functionen von \\(v_{1}\\ldots v_{n}\\) und zugleich \\(P\\) in \\(P'\\) und \\(Q\\) in \\(Q'.\\)  Die eben angef\u00fchrten Zahlen \\(e_{1}\\ldots e_{\\varrho}\\) und die Constanten \\(a_{1}b_{1}\\ldots a_{\\varrho}b_{\\varrho},\\;g,\\;h\\) unterliegen nur den Bedingungen  \\[ e_{1} +\\cdots +e_{\\varrho} =n,\\;\\;ga_{1} +hb_{1} =1,\\ldots ga_{\\varrho} +hb_{\\varrho} =1; \\]  sind diese erf\u00fcllt und w\u00e4hlt man f\u00fcr die \\(X\\) beliebige linearen Functionen von \\(x_{1}\\ldots x_{n},\\) f\u00fcr die \\(Y\\) beliebige linearen Functionen von \\(y_{1}\\ldots y_{n},\\) so erh\u00e4lt man aus den obigen Formeln ein Formenpaar \\(P,Q,\\) f\u00fcr welches die Determinante \\([P,Q]\\) die Elementartheiler  \\[ (a_{1}p +b_{1}q)^{e_{1}}\\ldots (a_{\\varrho}p +b_{\\varrho}q)^{e_{\\varrho}} \\]  hat. Als Anwendung dieses Satzes ergiebt sich: Damit es m\u00f6glich sei, die Formen \\(P,Q\\) in der Gestalt  \\[ P =a_{1}X_{1}Y_{1} +a_{2}X_{2}Y_{2} +\\cdots a_{n}X_{n}Y_{n}, \\]   \\[ Q =b_{1}X_{1}Y_{1} +b_{2}X_{2}Y_{2} +\\cdots b_{n}X_{n}Y_{n} \\]  auszudr\u00fccken, wobei die \\(X\\) lineare Functionen der \\(x,\\) die \\(Y\\) lineare Functionen der \\(y\\) sind, ist es nothwendig und hinreichend, dass jede lineare Theiler von \\([P,Q],\\) wenn er \\(l\\) mal als Factor darin enthalten ist und \\(l>1\\) ist, auch ein gemeinsamer Theiler aller Unter-Determinanten \\((n-l+1)^{ter}\\) Ordnung von \\([P,Q]\\) sei.  Aus den so entwickelten S\u00e4tzen \u00fcber bilinearen Formen ergiebt sich eine Reihe analoger Theoreme f\u00fcr quadratischen Formen. Aus diesen sei nur erw\u00e4hnt, dass \\({\\mathfrak P}\\) und \\({\\mathfrak D}\\) sich gleichzeitig unter der Form  \\[ {\\mathfrak P} =a_{1}X_{1}^{2} +\\cdots +a_{n}X_{n}^{2},\\quad {\\mathfrak D} =b_{1}X_{1}^{2} +\\cdots +b_{n}X_{n}^{2} \\]  darstellen lasen, wenn die Coefficienten von \\({\\mathfrak P,D}\\) reell sind und unter den Formen \\(p{\\mathfrak P} +q{\\mathfrak D}\\) irgend eine sich findet, welche bei reellen Werthen von \\(x_{1}\\ldots x_{n}\\) nur gleich Null werden kann, wenn diese Gr\u00f6ssen selbst s\u00e4mmtlich verschwinden. Unter diesen Bedingungen besitzt die Determinante \\([{\\mathfrak P,D}]\\) von \\(p{\\mathfrak P} +q{\\mathfrak D}\\) nothwendig \\(n\\) Elementartheiler und die Quotienten \\(\\frac{b_{\\lambda}}{a_{\\lambda}}\\) sind alle reell.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1564041$A568C50D-0601-4BC6-9FDF-93E3AB70DC9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5aff12e0aaa0e845f49257674dee6d6b35fe2903","datavalue":{"value":"15A63","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1564041$0AC01AB4-BA8C-4104-A968-D691B320AC18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c30d985645925f6be6cea9a1f34c4956cf7bcf23","datavalue":{"value":"2722686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1564041$2055D4D7-AF5E-4545-A970-2E8C083A0DE1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ab370591f5ecdf230b545a19d351138ac198b7f","datavalue":{"value":"pairs of bilinear forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1564041$4150D91A-CB67-43D6-9446-E61D66CDD817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9b4fb7cbc9b65080110c7d65448324d34b4cc5c","datavalue":{"value":"pairs of quadratic forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1564041$C28E2FED-9B52-4659-93DD-7C233A23463A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e94fa62f98abf52288f9e9f5f3030960bafafd7","datavalue":{"value":"elementary divisors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1564041$4DCF7C95-D8A6-4F05-862B-4D5AC17D0AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9ce57735ab54ad88243a1468055e78c9f84ac0a","datavalue":{"value":"simultaneous diagonalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1564041$10EABFF6-E161-4932-9017-23CEDDD1926B","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":"Q1564041$5B009A2B-AF79-4156-B3BF-B9E2FF800A18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the theory of bilinear and quadratic forms.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_theory_of_bilinear_and_quadratic_forms."}}}}}