Commutator algebra of a finite group of collineations. (Q2604417)

In der vorliegenden Arbeit behandelt Verf. die Darstellungstheorie endlicher Gruppen durch halblineare Transformationen von einem Standpunkt, der für einen Sonderfall (die symmetrische Gruppe) den Ausgang seiner Untersuchungen (Gruppentheorie und Quantenmechanik, 1928; F. d. M. 54, 954 (JFM 54.0954.*)) bildete. Ist \(\mathfrak H\) eine endliche Gruppe der Ordnung \(h\), ferner \(K\) der allem zugrunde gelegte Körper, dessen Charakteristik, falls sie Primzahl ist, zu \(h\) teilerfremd vorausgesetzt wird, so entspreche jedem Element \(s\) von \(\mathfrak H\) ein Automorphismus \(\alpha\leftrightarrow \alpha^s\) von \(K\). Eine Darstellung vom Grade \(n\) von \(\mathfrak H\) ist dann eine Menge von Kollineationen \[ \bar f_\varkappa=\sum_\lambda u_{\varkappa\lambda}(s)f^s_\lambda\qquad (\varkappa,\lambda=1,2,\ldots,n) \] im \((n - 1)\)-dimensionalen Raume \(\mathfrak R\), deren Matrizen \(U (s)=(u_{\lambda\varkappa}(s))\) die Bedingung \[ U(st)= U(s)U^s(t) \] für jedes Elementepaar \(s\), \(t\) aus \(\mathfrak H\) erfüllen. Die Operatoren \(U(s)\) führen zu dem Begriff des Gruppenrings \(\mathfrak r\) aller Operatoren \[ U = \sum_s a(s)U(s) \] mit beliebigen Koeffizienten \(a(s)\) aus \(K\). Diesem Operatorenring zugeordnet ist der Ring \(\mathfrak A\) aller Transformationen \[ f_\varkappa'=\sum_\lambda a_{\varkappa\lambda}f_\lambda \] die mit allen Operatoren des Ringes \(\mathfrak r\) vertauschbar sind (commutator algebra). Zwischen den Ringen \(\mathfrak r\) und \(\mathfrak A\) besteht nun eine weitgehende Reziprozität: Die Sätze über die gegenseitige Zerlegung der beiden Ringe lassen sich unmittelbar fast wörtlich mit ihren Beweisen aus dem oben angegebenen Buche des Verf. übertragen. (III 5 A.)