On representations of certain finite groups. (Q2579712)

Verf. untersucht die Darstellungen der sogenannten einfach reduziblen Gruppen; das sind endliche Gruppen mit folgenden beiden Eigenschaften: (1) Jedes Element ist seinem inversen ähnlich. (2) Das Kroneckersche Produkt je zweier irreduzibler Darstellungen enthält keine Darstellung mehr als einmal. Solche Gruppen spielen in der Quantentheorie eine Rolle. Die Anzahl der Gruppenelemente \(X\) mit \(X^2 = R\) werde mit \(\zeta(R)\) bezeichnet; \(v_R\) sei die Anzahl der mit \(R\) vertauschbaren Elemente. Dann ist \[ \sum_{R} \zeta(R)^3 \leqq \sum_{R} (v_R)^2, \] wobei die Summationen über alle Gruppenelemente \(R\) zu erstrecken sind. Das Gleichheitszeichen in dieser Ungleichung gilt für die einfach reduziblen Gruppen und nur für diese. Man nenne eine irreduzible Darstellung, die sich in eine reelle Form transformieren läßt, eine ganze Darstellung und eine komplexe Darstellung mit reellem Charakter, die sich nicht in eine reelle Form transformieren läßt, eine halbganze Darstellung. Die Zahl an der Stelle \((\varkappa, \,\lambda)\) in der Matrix, die bei der Darstellung \(j\) dem Element \(R\) entspricht, werde mit \({j \; R\brack {\varkappa \; \lambda}}\) bezeichnet. Für das Kroneckersche Produkt der Darstellungen \(j\) und \(k\) wird \[ M_{\varkappa \mu; \,\lambda \nu}= {j \; R\brack {\varkappa \; \lambda}} \, {k \; R\brack {\mu \; \nu}}. \] Es wird das Kroneckersche Produkt einer irreduziblen Darstellung mit sich selbst betrachtet und in einen symmetrischen und einen antisymmetrischen Teil aufgespalten: \[ \begin{aligned} & A_{\varkappa \mu; \,\lambda \nu}=\frac{1}{2} {j \; R\brack {\varkappa \; \lambda}} \, {j \; R\brack {\mu \; \nu}} \frac{1}{2} {j \; R\brack {\varkappa \; \nu}} \, {j \; R\brack {\mu \; \lambda}} \\ &B_{\varkappa \mu; \,\lambda \nu}=\frac{1}{2} {j \; R\brack {\varkappa \; \lambda}} \, {j \; R\brack {\mu \; \nu}} + \frac{1}{2} {j \; R\brack {\varkappa \; \nu}} \, {j \; R\brack {\mu \; \lambda}}. \end{aligned} \] Jeder dieser beiden Teile bildet für sich eine Darstellung. Die irreduziblen Bestandteile von \(B\) für eine ganze Darstellung \(j\) und die irreduziblen Bestandteile von \(A\) für halbganzes \(j\) heißen gerade Darstellungen. In den andern Fällen heißen die Darstellungen ungerade. Verf. zeigt, daß bei einfach reduziblen Gruppen eine Darstellung nicht zugleich gerade und ungerade sein kann.