On the Frobenius theorem (Q2598708)

Zu dieser schon von \textit{Dubuque} behandelten Frage (s. vorstehende Besprechungen) bringt Verf.: Sind \(A_1\),\dots, \(A_k\) invariante Komplexe einer Gruppe aus Elementen endlicher Ordnung, so ist die Anzahl der \(x\) mit \(x^{r_1}\subset A_1\),\dots, \(x^{r_{ k}}\subset A_k\) unendlich oder durch \(\bigl(r_1, r_2,\dots, r_k, O(N)\bigr)\) teilbar, wo \(O(N)\) die Ordnung einer willkürlichen endlichen Untergruppe \(N\) ist. Entsprechendes gilt, wenn zu vorgelegten Elementen \(a_i\) gefordert wird \(x^{r_{ i}}=a_i\). Dann muß \(N\) im Zentralisator der \(a_i\) liegen. Schlußfolgerung: Die Anzahl der Elemente durch \(m\) teilbarer und \(n\) teilender Ordnung ist bei \(m=p_1^{\mu _1}\boldsymbol \cdot\boldsymbol \cdot\boldsymbol \cdot p_r^{\mu _{ r}}\) und \(n=p_1^{\nu _1}\boldsymbol \cdot \boldsymbol \cdot \boldsymbol \cdot p_r^{\nu _{ r}}q_1^{\varrho _1}\boldsymbol \cdot \boldsymbol \cdot \boldsymbol \cdot q_r^{\varrho _{ s}}\) \((\mu _i\leqq \nu _i)\) teilbar durch \(\bigl(p_1^{\mu _1-1}\boldsymbol \cdot \boldsymbol \cdot \boldsymbol \cdot p_1^{\mu _{ r}-1}q_1^{\varrho _1}\boldsymbol\cdot\boldsymbol\cdot\boldsymbol\cdot q_s^{\varrho _{ s}}, O(N)\bigr)\), die Zahl der Elemente mit der Ordnung \(n\) also durch \(\bigl(p_1^{\nu _1-1}\boldsymbol \cdot\boldsymbol \cdot \cdot q_s^{\varrho _{ s}-1}, O(N)\bigr)\). Dubuques Ergebnis für endliche Gruppen ist schärfer.