On matrix algebras over an algebraically closed field. (Q2580425)

Die Matrizenalgebra \(\mathfrak A\) über \(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ährend \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ündet. \(\mathfrak C_{ij}\) ist ein Matrizenmodul, auf den \(\mathfrak A\), aufgefaßt als additiver Modul, homomorph abgebildet wird. Für \(\mathfrak C_{ij}\) (\(i\), \(j\) fest) kann man \(\mathfrak A\) als linken und rechten Operator erklären 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ändiger Modul, denn zu einer Matrix \(A\) mit \(C_{ij}(A)\neq 0\) kann man stets zwei Matrizen \(L\) und \(M\) so bestimmen, daß \(C_{ij}(L^*AM^*) = C_{ii}(L)C_{ij}(A)C_{jj}(M)\) beliebig vorgegebene Elemente enthält; dieser Sachverhalt ist nämlich bekannt für \(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ßt ``vom Typ \((\varkappa, \varkappa)\)''. \(\mathfrak C_{ij}\) heißt 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ür 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änge 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ßend werden die Elemente \(Z\) des Zentrums von \(\mathfrak A\) charakterisiert durch \(C_{ij}(Z) = 0\) für \(\varkappa\neq\lambda\), \(C_{ij}(Z) = (c\delta_{mn})\) für \(\varkappa = \lambda\). Schließlich kann \(\mathfrak A\) noch weiter zerfällt werden durch die Tatsache, daß gewisse einfache Bestandteile \(\mathfrak C_{ij}\) Nullbestandteile sind, nämlich immer dann, wenn \(\mathfrak C_{ii}\) und \(\mathfrak C_{jj}\) nicht zu demselben ``Block'' gehören; dabei gehören zwei Bestandteile zum selben Block, wenn zwischen ihnen eine Kette von Bestandteilen \(\not\equiv 0\) derart eingeschaltet werden kann, daß zwei benachbarte Glieder in mindestens einem Typenindex übereinstimmen (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ß \(\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.