Sur les relations entre les parties réelles des caractères de groupes. (Q563340)

Verf. gibt die folgenden Relationen zwischen den Realteilen der Charaktere \(\chi _i^{(\varkappa )}\) ieiner endlichen Gruppe \(\mathfrak G\) der Ordnung \(g\) an (der untere Index gibt die Klasse an, der obere den Charakter; die Anzahl der Elemente der Klasse \((i)\) ist \(h_i\), die Klassenanzahl \(r\)): \[ \begin{align*}{\sum _{\varkappa =1}^r\frak R(\chi _i^{(\varkappa )})\frak R(\chi _j^{(\varkappa )}) &= 0\qquad (j\neq i, j\neq i'),\cr \sum _{\varkappa =1}^r\frak R^2(\chi _i^{(\varkappa )}) &= \frac g{2hi}\qquad (i\neq i'),\cr \sum _{\varkappa =1}^r h_\varkappa \frak R(\chi _\varkappa ^{(i)})\frak R(\chi ^{(j)}_\varkappa ) &= 0\qquad (j\neq i, j\neq i'),\cr \sum _{\varkappa =1}^r h_\varkappa \frak R^2(\chi ^{(i)}_\varkappa ) &= \frac g2\qquad (i\neq i').}\end{align*} \] Zu dem einfachen Beweis ist folgendes zu beachten: Es sei \(\mathfrak C'_i\) die Summe der Elemente der Klasse \((i)\) und der dazu konjugierten Klasse \((i')\). Dann gelten die Kompositionsformeln \(\mathfrak C'_i\mathfrak C'_j=\sum \limits _\varkappa c'_{ij\varkappa }\mathfrak C'_\varkappa \) mit ganzen, nicht negativen \(c_{ij\varkappa }\). Es sei \(\varGamma '_i\) die Summe der irreduziblen Darstellungen \(\varGamma _i\) und ihrer konjugierten \(\varGamma _{i'}\); dann gelten die Formeln \(\varGamma '_i\varGamma '_j =\sum \limits _\varkappa g' _{ij\varkappa }\varGamma '_\varkappa \) mit ganzen, nicht negativen \(g'_{ij\varkappa }\).