{"entities":{"Q2580425":{"pageid":2591168,"ns":120,"title":"Item:Q2580425","lastrevid":79042109,"modified":"2026-05-06T13:00:50Z","type":"item","id":"Q2580425","labels":{"en":{"language":"en","value":"On matrix algebras over an algebraically closed field."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2500179"}},"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":"Q2580425$5414911B-AF14-414A-B53A-D3C245AA6F68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ec15b9a9950113d196eb4b205ba51dfd7860285","datavalue":{"value":{"text":"On matrix algebras over an algebraically closed field.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2580425$945297C9-3B93-4E16-9C61-E0EE83CB7CC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e92fc6b93871457db41036e315e347f8466ba04a","datavalue":{"value":"68.0050.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580425$F2CA150D-2662-4F5A-B9AC-5756AF69282F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d74a65ecec388cd70aff9286b6b1a3e795611780","datavalue":{"value":"10.2307/1968886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580425$4E970014-4F8D-4973-9F3F-9C364658A12F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d223c9f3e26f22313fbcf0088e5919ff3d7c9a6","datavalue":{"value":{"entity-type":"item","numeric-id":2579630,"id":"Q2579630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580425$F575D690-B75F-4503-BDB1-C3462BE4B71C","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":"Q2580425$7D65996F-E9A1-4FAF-9B55-0D0D64988E37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6e8d5cfa941f0abf28997ed7977dfb1ee35cd2f","datavalue":{"value":{"time":"+1942-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":"Q2580425$9ADD8CEF-47F4-4BF7-851C-4F70CEBBBB25","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5f1d03488bf85cada863cd9066d13d77674435de","datavalue":{"value":"Die Matrizenalgebra \\(\\mathfrak A\\) \u00fcber \\(K\\) liege in reduzierter Form vor und werde als Summe ihres Radikals \\(\\mathfrak N\\) und einer halbeinfachen Teilalgebra \\(\\mathfrak A^*\\) dargestellt:  \\[  \\mathfrak A= \\left(\\begin{matrix}  \\;& \\;& \\;& \\\\ \\mathfrak C_{11} & & & 0\\\\ \\mathfrak C_{21} &\\mathfrak C_{22} & & \\\\ \\vdots & \\vdots & \\ddots & \\\\ \\mathfrak C_{t1} & \\mathfrak C_{t2} & \\cdots & \\mathfrak C_{tt} \\end{matrix}\\right)= \\left(\\begin{matrix}  \\;& \\;& \\;& \\\\ 0 & & & 0\\\\ \\mathfrak C_{21} & 0 & & \\\\ \\vdots & \\vdots & \\ddots & \\\\ \\mathfrak C_{t1} & \\mathfrak C_{t2} & \\cdots & 0 \\end{matrix}\\right)+ \\left(\\begin{matrix}  \\;& \\;& \\;& \\\\ \\mathfrak C_{11} & & & 0\\\\ & \\mathfrak C_{22} & & \\\\ & & \\ddots & \\\\ 0 & & & \\mathfrak C_{tt} \\end{matrix}\\right)=\\mathfrak N+\\mathfrak A^*.  \\]  W\u00e4hrend \\textit{R. Brauer} und \\textit{C. Nesbitt} (vgl. Proc. nat. Acad. Sci. USA 23 (1937), 236-240; Ann. Math., Princeton, (2) 39 (1938), 634-658; F. d. M. \\(63_{\\text I}\\), 91; \\(64_{\\text I}\\), 81) die irreduziblen Bestandteile \\(\\mathfrak C_{ii}\\) untersucht haben, wird hier eine Theorie aller ``einfachen Bestandteile'' \\(\\mathfrak C_{ij}\\) begr\u00fcndet. \\(\\mathfrak C_{ij}\\) ist ein Matrizenmodul, auf den \\(\\mathfrak A\\), aufgefa\u00dft als additiver Modul, homomorph abgebildet wird. F\u00fcr \\(\\mathfrak C_{ij}\\) (\\(i\\), \\(j\\) fest) kann man \\(\\mathfrak A\\) als linken und rechten Operator erkl\u00e4ren durch  \\[  B \\circ C_{ij}(A) = C_{ii}(B) C_{ij}(A) = C_{ij}(B^*A),\\quad C_{ij}(A)\\circ B = C_{ij}(A) C_{jj}(B) = C_{ij}(AB^*),  \\]  wobei \\(C_{ij}(A)\\) den entsprechenden Bestandteil der Matrix \\(A\\) aus \\(\\mathfrak A\\) bezeichnet und \\(B\\) in \\(\\mathfrak A\\) liegt. \\(\\mathfrak C_{ij}\\) ist also ein \\((\\mathfrak A, \\mathfrak A)\\)-Modul, und zwar ein einfacher. Ist \\(\\mathfrak C_{ij}\\) kein Nullbestandteil (\\(\\mathfrak C_{ij}\\not\\equiv 0\\)), so ist \\(\\mathfrak C_{ij}\\) ein vollst\u00e4ndiger Modul, denn zu einer Matrix \\(A\\) mit \\(C_{ij}(A)\\neq 0\\) kann man stets zwei Matrizen \\(L\\) und \\(M\\) so bestimmen, da\u00df \\(C_{ij}(L^*AM^*) = C_{ii}(L)C_{ij}(A)C_{jj}(M)\\) beliebig vorgegebene Elemente enth\u00e4lt; dieser Sachverhalt ist n\u00e4mlich bekannt f\u00fcr \\(i=j\\) (a. a. O.). -- Die Kette invarianter Teilalgebren  \\[  \\mathfrak A=\\mathfrak N^0\\supset\\mathfrak N^1\\supset\\cdots\\supset\\mathfrak N^l=0  \\]  werde bei Auffassung von \\(\\mathfrak A\\) als (\\(\\mathfrak A, \\mathfrak A\\))-Modul verfeinert zu einer Kompositionsreihe. Dann ist jeder einfache Bestandteil \\(\\mathfrak C_{ij}\\), der \\(\\not\\equiv 0\\) ist, \\((\\mathfrak A, \\mathfrak A)\\)-isomorph einer Faktorgruppe der Kompositionsreihe (Satz 2).  Jeder Bestandteil \\(\\mathfrak C_{ii}\\) entspricht einer der \\(k\\) verschiedenen Darstellungen \\(F_\\varkappa\\) (\\(\\varkappa=1,\\ldots,k\\)). \\(\\mathfrak C_{ii}\\) hei\u00dft ``vom Typ \\((\\varkappa, \\varkappa)\\)''. \\(\\mathfrak C_{ij}\\) hei\u00dft vom Typ \\((\\varkappa,\\lambda)\\), wenn \\(\\mathfrak C_{ii}\\) vom Typ \\((\\varkappa, \\varkappa)\\) und \\(\\mathfrak C_{jj}\\) vom Typ \\((\\lambda, \\lambda)\\) ist. Mit Hilfe dieses Begriffes wird auch der Typ \\((\\varkappa,\\lambda)\\) einer Matrix \\(A\\) aus \\(\\mathfrak A\\) definiert und eine Basis des Moduls der Matrizen vom Typ \\((\\varkappa, \\lambda)\\), dessen Rang \\(c_{\\varkappa\\lambda}\\) (Cartan-Invariante) ist, zu einer Basis von \\(\\mathfrak A\\) erweitert (Cartan-Basis). Bei der Darstellung von \\(A\\) durch die Basis treten Koeffizienten mit drei Indizes \\((a,b,\\varrho)\\) auf, die f\u00fcr festes \\(\\varrho\\) als Matrizen \\(H^\\varrho\\) einen Modul \\(\\mathfrak H^\\varrho\\) bilden. Diese Moduln \\(\\mathfrak H^\\varrho\\) sind homomorphe Bilder des Moduls \\(\\mathfrak A\\), ihre Anzahl ist gleich der L\u00e4nge der Kompositionsreihe von \\(\\mathfrak A\\). Aus der Isomorphie jeder Faktorgruppe zu einem Modul \\(\\mathfrak H^\\varrho\\) und der Isomorphie der \\(\\mathfrak H^\\varrho\\) zu je einem \\(\\mathfrak C_{ij}\\not\\equiv 0\\) folgt dann die Umkehrung von Satz 2.  Verf. betrachtet ferner eine Darstellung \\(\\overline{\\mathfrak A}\\) von \\(\\mathfrak A\\). Auf \\(\\overline{\\mathfrak A}\\) kann \\(\\mathfrak A\\) wieder als linker und rechter Operator angewendet werden. Aus den Kompositionsreihen von \\(\\mathfrak A\\) und \\(\\overline{\\mathfrak A}\\) werden Beziehungen zwischen den einfachen Bestandteilen \\(\\mathfrak C_{ij}\\) von \\(\\mathfrak A\\) und \\(\\overline{\\mathfrak C}_{mn}\\) von \\(\\overline{\\mathfrak A}\\) vom gleichen Typ \\((\\varkappa, \\lambda)\\) aufgestellt. Anschlie\u00dfend werden die Elemente \\(Z\\) des Zentrums von \\(\\mathfrak A\\) charakterisiert durch \\(C_{ij}(Z) = 0\\) f\u00fcr \\(\\varkappa\\neq\\lambda\\), \\(C_{ij}(Z) = (c\\delta_{mn})\\) f\u00fcr \\(\\varkappa = \\lambda\\).  Schlie\u00dflich kann \\(\\mathfrak A\\) noch weiter zerf\u00e4llt werden durch die Tatsache, da\u00df gewisse einfache Bestandteile \\(\\mathfrak C_{ij}\\) Nullbestandteile sind, n\u00e4mlich immer dann, wenn \\(\\mathfrak C_{ii}\\) und \\(\\mathfrak C_{jj}\\) nicht zu demselben ``Block'' geh\u00f6ren; dabei geh\u00f6ren zwei Bestandteile zum selben Block, wenn zwischen ihnen eine Kette von Bestandteilen \\(\\not\\equiv 0\\) derart eingeschaltet werden kann, da\u00df zwei benachbarte Glieder in mindestens einem Typenindex \u00fcbereinstimmen (vgl. \\textit{R. Brauer, C. Nesbitt}, Univ. Toronto Studies, math. Ser. Nr. 4 (1937); F. d. M. \\(63_{\\text{II}}\\), 866). Durch elementare Transformationen kann man dann erreichen, da\u00df \\(\\mathfrak A\\) nur noch in der Diagonale Bestandteile \\(\\mathfrak B_1, \\mathfrak B_2,\\ldots,\\mathfrak B_s\\) aufweist, die je nur einfache Bestandteile eines Blocks, und zwar alle dieses Blocks, enthalten.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2580425$B9A38B52-FAF9-4554-9265-2D2A4632CB5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db5adb373ff8fe4e1a25b29e46148154bdca028a","datavalue":{"value":"2500179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580425$C8D4F35E-3B8A-432C-B539-DFF23F26B812","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":"Q2580425$33EB4AC5-495C-4F8E-8D66-0C5166F69BFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4cd03982f407e1b913216f84bb72de0723a0c1f","datavalue":{"value":"https://doi.org/10.2307/1968886","type":"string"},"datatype":"url"},"type":"statement","id":"Q2580425$71D20C3B-12D4-4165-8AA5-56D58CE8AB1C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d83cdcc014efc6d83ed4c2bba08ac9ef584fc11c","datavalue":{"value":"W2324962217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580425$9CE43EC2-EB18-473E-878F-0E2F6FBFAB10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On matrix algebras over an algebraically closed field.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_matrix_algebras_over_an_algebraically_closed_field."}}}}}