The double cosets of a finite group. (Q2585218)

Es sei \(\mathfrak G\) eine endliche Gruppe und \(\mathfrak H\) eine Untergruppe vom Index \(n\), ferner \(\varGamma\) diejenige Permutationsgruppe, welche durch rechtsseitige Multiplikation der Nebengruppe von \(\mathfrak H\) mit den Elementen von \(\mathfrak G\) entsteht. Verf. betrachtet die Zerlegung von \(\mathfrak G\) nach dem Doppelmodul \((\mathfrak H,\mathfrak H)\). Er beweist den Satz: Die Anzahl der selbstinversen Komplexe in diesem Doppelmodul ist gleich der Differenz der Summe der Grade derjenigen irreduzibeln Bestandteile von \(\varGamma\), welche eine symmetrische bilineare Invariante besitzen, und der entsprechenden Summe der Darstellungen mit einer alternierenden bilinearen Invariante. Der Beweis wird mit Hilfe einer Formel von Frobenius und Schur gegeben. Ein zweites Theorem verknüpft die Anzahlen der Variablen, welche in \(\varGamma\) unter \(\mathfrak H\) transitiv verbunden sind, \(k_1,\dots,k_r\), mit den Graden \(n_i\) (\(i=1,\dots,s\)) der irreduziblen Bestandteile, welche in \(\varGamma\) je \(\mu_i\)-mal vorkommen. Es ist \[ n^{r-2}k_1\cdots k_r/n_1^{\mu_1^2}\cdots n_s^{\mu_s^2} \] gleich dem Quadrat des absoluten Betrages einer ganzen Zahl des Körpers, in welchem die Charaktere der irreduzibeln Bestandteile von \(\varGamma\) liegen.