{"entities":{"Q2616624":{"pageid":2627367,"ns":120,"title":"Item:Q2616624","lastrevid":44492889,"modified":"2025-11-23T08:15:30Z","type":"item","id":"Q2616624","labels":{"en":{"language":"en","value":"On direct product matrices."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2537171"}},"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":"Q2616624$6F219F9D-0812-4006-AEAC-EFA67556B3A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d58943d72235f25f39f2716e54fceb5e523197bc","datavalue":{"value":{"text":"On direct product matrices.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2616624$922BEEEE-85FB-4022-9147-2522613D4E4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c3f45f4e11ddb78b15d43048249f9a4e119858a","datavalue":{"value":"60.0056.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2616624$CAD86541-F7A9-4DD4-9D09-614C7E6A99E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7bc3695d16ae37a8509e72f9d2412eddac80d997","datavalue":{"value":"10.1090/S0002-9904-1934-05899-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2616624$5FE3E972-4648-478C-BFC7-9CE0D2D101C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"36d48643e659387fa3cd53e0d87fd2beb5cdc9a7","datavalue":{"value":{"entity-type":"item","numeric-id":563220,"id":"Q563220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2616624$61CF9583-812A-48DA-B807-726C8B7FCB94","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ed2e50fab8aad72cbb7a906da42ba85b1de079d","datavalue":{"value":{"entity-type":"item","numeric-id":559421,"id":"Q559421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2616624$95D66118-D8A8-44D8-9E6F-4CD5616A5026","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0545e869d8296a0b0654ccbe2e3181b7f2652da8","datavalue":{"value":{"time":"+1934-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":"Q2616624$2537AC18-987B-422F-883E-19B35644FEFD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4ace4305243120ab1988b09b04f8269e6729c4bc","datavalue":{"value":"Besteht eine Matrix \\(A\\) aus \\(m\\cdot n\\) Elementen in \\(m\\) Zeilen und \\(n\\) Spalten, so hei\u00dft \\(A\\) vom Typus \\((m,n)\\). \\(A\\times B\\) bezeichne das bekannte \\textit{Kronecker}sche Produkt der Matrizen \\(A\\) und \\(B\\); ist \\(A\\) vom Typus \\((m,n)\\), \\(B\\) vom Typus \\((p,q)\\), so ist \\(A\\times B\\) vom Typus \\((mp,nq)\\), also insbesondere mit \\(A\\) und \\(B\\) quadratisch. Verf. stellt die Frage nach den Elementarteilern von \\(A_m\\times B_n-\\lambda E_{mn}\\), wenn die der Matrizen \\(A_m-\\lambda E_m\\) und \\(B_n-\\lambda E_n\\) bekannt sind; \\(A_m\\) bedeute dabei eine Matrix vom Grade \\(m\\). Die Elementarteiler von \\(A_m-\\lambda E_m\\) und \\(B_n-\\lambda E_n\\) seien \\[ (a_\\varrho -\\lambda )^{m_\\varrho }\\quad (\\varrho = 1,2,\\dots,r); \\qquad (b_\\sigma -\\lambda )^{n_\\sigma }\\quad (\\sigma =1,2,\\dots,s); \\] ferner sei \\(\\mu _{\\varrho \\sigma } = \\operatorname {Min}(m_\\varrho,n_\\sigma )\\). Dann sind die Elementarteiler von \\(A_m\\times B_n-\\lambda E_{mn}\\): f\u00fcr \\(a_\\varrho b_\\sigma \\neq 0\\) \\ \\((a_\\varrho b_\\sigma -\\lambda )^ {m_\\varrho +n_\\sigma -2k+1}\\) \\ \\((k=1,2,\\dots,\\mu _{\\varrho \\sigma })\\), f\u00fcr \\(a_\\varrho = 0\\), \\ \\(b_\\sigma \\neq 0\\) \\^^M\\(\\lambda ^{m_\\varrho }\\) \\ \\(n_\\sigma \\)-mal, f\u00fcr \\(a_\\varrho \\neq 0\\), \\ \\(b_\\sigma =0\\) \\ \\(\\lambda ^{n_\\sigma }\\) \\^^M\\(m_\\sigma \\)-mal, f\u00fcr \\(a_\\varrho = 0\\), \\ \\(b_\\sigma = 0\\) \\ \\(\\lambda, \\lambda ^2,\\dots,\\lambda ^{\\mu _{\\varrho \\sigma ^{-1}}}\\) je 2-mal,\\quad \\(\\lambda ^{\\mu _{\\varrho \\sigma }}\\) \\^^M\\((m_\\varrho +n_\\sigma -2\\mu _{\\varrho \\sigma }+\\lambda )\\)-mal \\rightline {\\((\\varrho =1,2,\\dots,r\\); \\ \\(\\sigma =1,2,\\dots,s)\\)} (in Theorem 1 auf S. 463 ist \\(l\\) durch 1 zu ersetzen). Unter denselben Bezeichnungen hat die Matrix \\((xA_m\\times E_n+yE_m\\times B_n-\\lambda E_{mn})\\), in der \\(x\\), \\(y\\) nicht verschwindende skalare Gr\u00f6\u00dfen sind, die Elementarteiler: \\[ (xa_\\varrho + yb_\\sigma -\\lambda )^{m_\\varrho +n_\\sigma -2k +1}\\quad (k=1,2,\\dots,\\mu _{\\varrho,\\sigma }). \\] Der Schlu\u00df der Arbeit behandelt lineare Matrizengleichungen \\[ A_1X_1B_1+A_2X_2B_2+\\cdots +A_rX_rB_r=C.\\tag{1} \\] Hierbei sind \\(A_\\varrho \\) vom Typus \\((m, m_\\varrho )\\), \\(X_\\varrho \\) vom Typus \\((m_\\varrho,n_\\varrho )\\), \\(B_\\varrho \\) vom Typus \\((n_\\varrho,n)\\) und \\(C\\) vom Typus \\((m,n)\\). (In den ersten Zeilen auf S. 466 sind einige dieser Angaben zu verbessern.) Ferner bedeute \\(C^R\\) die einreihige Matrix, die aus \\(C\\) durch einfaches Aneinanderreihen der Zeilen in einer Zeile entsteht. Dann ist ein notwendiges und hinreichendes Kriterium f\u00fcr die L\u00f6sbarkeit der Gleichung (1) in den Unbekannten \\(X_\\varrho \\) die Gleichung: \\[ \\operatorname {Rang} P = \\operatorname {Rang}\\binom {C^R}{P}\\quad \\text{mit}\\quad P=\\begin{pmatrix} A_1'\\times B_1\\cr \\cdot \\cr \\cdot \\cr \\cdot \\cr A_n'\\times B_r\\end{pmatrix} ; \\] f\u00fcr \\(C=0\\) existiert eine nichttriviale L\u00f6sung, wenn \\[ \\operatorname {Rang} P<\\sum _{\\varrho =1}^r m_\\varrho n_\\varrho. \\] Im speziellen Fall \\[ \\sum _{\\varrho =1}^r A_\\varrho X B_\\varrho = C,\\tag{2} \\] in dem die \\(A_\\varrho \\) vom Typus \\((m,m_1)\\), X vom Typus \\((m_1,n_1)\\), die \\(B_\\varrho \\) vom Typus \\((n_1,n)\\) und \\(C\\) vom Typus \\((m,n)\\) sind, erh\u00e4lt man als Bedingung f\u00fcr die L\u00f6sbarkeit von (2): \\[ \\operatorname {Rang} Q = \\operatorname {Rang}\\binom {C^R}{Q}\\quad \\text{mit}\\quad Q=\\sum _{\\varrho =1}^r A'_\\varrho \\times B_\\varrho ; \\] bei \\(C=0\\) existiert eine nichttriviale L\u00f6sung, wenn \\(\\operatorname {Rang} Q