Sulla risolubilità di taluni gruppi finiti. II. (Q2579705)

Verf. beweist: ``Sei \(\mathfrak{G}\) von der Ordnung \(g=\prod\limits_{i=1}^{r} p_i^{a_i}\), \(p_1<p_2<\cdots <p_r\), \(p_i\) Primzahlen, \(a_i \leqq 3\) \((i=1, \ldots \!,r-1)\), \(a_r \leqq p_r\), \(p_1 \geqq r+1\), oder \(g=\prod\limits_{i=1}^{r} p_i^{a_i}\), \(a_1 \leqq 4\), \(a_i \leqq 3\) \((i=2, \ldots \!,r)\), \(p_1<p_2<\cdots <p_r\), \(p_1 \geqq r+1\), so ist \(\mathfrak{G}\) auflösbar.'' Der Beweis erfolgt durch vollständige Induktion nach der Ordnung unter Benutzung eines auch an sich interessanten Hilfssatzes des Verf. über die Anzahl der Elemente in \(\mathfrak{G}\), deren Ordnung durch \(p_k\) teilbar, aber prim zu \(p_1p_2 \ldots p_{k-1}\) ist, wenn \(\mathfrak{G}\) obige Bedingungen erfüllt. (Teil I, Boll. Un. mat. Ital. (2) 3 (1940), 19-27; F.~d.~M. 66, 79.)