On the minimum number of operators whose orders exceed two in any finite group. (Q1494863)

Die Ordnung einer Gruppe \(\mathfrak G\) werde durch \(g=2^{\alpha_{0}}p_{1}^{\alpha_{1}}p_{2}^{\alpha_{2}}p_{3}^{\alpha_{3}}\dots\) dargestellt, wo \(p_{1},p_{2},p_{3},\dots\) ungerade Primzahlen sind. Wenn \(\alpha_{0}=0\) ist, so sind die Ordnungen aller Operatoren von \(G\), abgesehen von der Identität, größer als 2. daher werde \(\alpha_{0}>0\) angenommen. In diesem Falle ist leicht ersichtlich, daß\ es wenigstens eine Gruppe von der Ordnung \(g\) gibt, in der die Anzahl der Operatoren, deren Ordnung über 2 hinausgeht, genau \[ \frac{(p_{1}^{\alpha_{1}}p_{2}^{\alpha_{2}}\cdots p_{\lambda}^{\alpha_{\lambda}}-1)g}{2p_{1}^{\alpha_{1}}p_{2}^{\alpha_{2}}\dots p_{\lambda}^{\alpha_{lambda}}}\equiv N \] ist. Eine solche Gruppe kann dadurch erhalten werden, daß\ man das direkte Produkt einer Gruppe von der Ordnung \(2p_{1}^{\alpha_{1}}p_{2}^{\alpha_{2}}\dots p_{\lambda}^{\alpha_{\lambda}}\) bildet, in der genau die Hälfte der Operatoren von der Ordnung 2 ist, und die \textit{Abel}sche Gruppe von der Ordnung \(2^{\alpha_{0}-1}\) und vom Typus \((1,1,1,\dots)\). Die Hauptziele des vorliegenden Aufsatzes bestehen darin, zu beweisen, daß\ \(N\) die kleinste Anzahl der Operatoren von höherer als der zweiten Ordnung ist, welche in einer Gruppe von der Ordnung \(g\) vorkommen; ferner wenn eine Gruppe von dieser Ordnung genau \(N\) Operatoren hat, deren Ordnungen über 2 hinausgehen, daß\ sie dann das direkte Produkt einer Gruppe, in der genau die Hälfte der Operatoren von der Ordnung 2 ist, und der Abelschen Gruppe von der Ordnung \(2^{\alpha_{0}-1}\) und vom Typus \((1,1,1,\dots)\) ist.