\(\mathfrak H\) sei eine Untergruppe von endlichem Index \(f\) in der Gruppe \(\mathfrak G\), und die Abbildung \(H\to\overline{H}\) sei ein Homomorphismus von \(\mathfrak H\) auf eine abelsche Gruppe \(\overline{\mathfrak H}\), bei der genau der Normalteiler \(\mathfrak N\) von \(\mathfrak H\) auf 1 abgebildet wird. \(\mathfrak G=\sum\limits_{1}^{f}G_i\mathfrak H\) bzw. \(\mathfrak H=\sum S_j\mathfrak N\) seien die Zerlegungen in Rechtsrestklassen von \(\mathfrak G\) nach \(\mathfrak H\) bzw. \(\mathfrak H\) nach \(\mathfrak N\). Dann gelten für jedes Element \(A\) aus \(\mathfrak G\) Gleichungen \(AG_k=G_{\pi (k)}S_{\mu _{ k}}N_k\) mit eindeutig bestimmten Zahlen \(\pi (k)\), \(\mu _k\) und Elementen \(N_{k}\) aus \(\mathfrak N\). Die Abbildung \(A\to\pi \) für jedes \(A\) vermittelt die Darstellung von \(\mathfrak G\) in Permutationen der Rechtsrestklassen nach \(\mathfrak H\). Die Darstellung \(A\to M(A)=(\delta _{i\pi (k)}\overline{S}_{\mu _{ k}})\) vom Grade \(f\) ist die monomiale Darstellung von \(\mathfrak G\) über \(\mathfrak H/\mathfrak N\). Verf. betrachtet hier den im Gruppenring von \(\overline{\mathfrak H}\) gebildeten Charakter \(\chi(A)=\sum\limits_{1}^{f}\delta _{i\pi (k)}\overline{S}_{\mu _{ i}}\) der Darstellung, welcher ebenso wie die früher von ihm betrachtete Determinante der Darstellung unabhängig ist von der Wahl der Rechtsvertreter \(G_i\), \(S_j\), ferner der Relation \(\chi(A)=\chi(XAX^{-1})\) genügt. -- Satz 1: \[ \frac{h_A\chi(A)}{f}=\sum n_j\overline{S}_j, \] wobei \(h_A\) die Anzahl der zu \(A\) unter \(\mathfrak G\) konjugierten Elemente und \(n_{j}\) die Anzahl der Lösungen der Relation \(S_j^{-1}G_i^{-1}AG_i\in\mathfrak N\) ist. Als leichte Folgerungen ergeben sich: Satz 2: Wenn \((h_A, f)=1\), \(A\neq 1\) und \(\chi(A)\neq 0\), so besitzt \(\mathfrak G\) einen eigentlichen Normalteiler; Satz 3: Wenn \(\chi(A)\neq 0\), d. h. \(A\) in einer der Gruppen \(G_i\mathfrak HG_i^{-1}\) liegt, so ist das für wenigstens \(\dfrac{f}{h_A}\) der \(G_i\) der Fall; Satz 4: Wenn \(\mathfrak H\) ein von 1 verschiedenes Element \(A\) mit Primzahlpotenzordnung enthält, so daß \((A)\cap\mathfrak N=1\) und für weniger als \(\dfrac{2f}{h_A}\) der \(G_i\) die Relation \(A\in G_i\mathfrak HG_i^{-1}\) erfüllt ist, dann enthält \(\mathfrak G\) einen eigentlichen Normalteiler.
This page was built for publication: Über die Charaktere monomialer Gruppen.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2585963)
