Sui sottogruppi fondamentali di un gruppo. I, II. (Q1444778): Difference between revisions

Verf. stellt unter Verwendung der Bezeichnungen von Cipolla (F. d. M. 40, 184 (JFM 40.0184.*)-185; 42, 159) einige Anzahlbeziehungen für fundamentale Untergruppen \(G\) einer endlichen Gruppe \(H\) auf: Ist \(\tau \) der Typus von \(H\), \(\tau '\) der von \(G\), \(\lambda \) die Anzahl der Fundamentalsysteme von \(H\), die in \(G\) liegen, \(\lambda '\) die Anzahl der fundamentalen Untergruppen von \(H\), die \(G\) enthalten, \(\lambda ''\) die der fundamentalen Untergruppen, die in \(G\) enthalten sind, so gilt: \(\lambda \geqq \lambda '+ \lambda ''-1\); \(\tau '\leqq \lambda - \lambda '-2\); \(\tau '\leqq \frac {1}{2}(\lambda - \lambda '+\lambda ''-5)\). Haben das Zentrum \(J_0\) von \(H\) und \(J\) von \(G\) (\(J_0<J\)) in \(G\) den Index \(k_0\) bzw. \(k\), so gilt: \(\tau -\lambda +2\geqq k\). Für maximales \(G\) (\(J=J_0+I\); \(I\) Fundamentalsystem von \(G\)) gilt sogar: \(\tau -\lambda +2\geqq k_0\). Ist \(G\) vom Geschlecht \(\varrho \), so kann man \(G\) in eine Reihe entwickeln: \[ G=G^{(1)}>G^{(2)}>\ldots >G^{(\rho )}>J^{(\rho )}>J^{(\rho -1)}>\ldots >J^{(1)}=J. \] Hierbei sei \(G^{(\nu )}\) (\(\nu =1,\ldots,\rho \)) fundamentale Untergruppe von \(H\) und \(J^{(\nu )}\) das Zentrum von \(G^{(v)}\). Man erhält hiernach: \(\tau -\lambda +2\geqq 2^{2\rho -2}\), \(\geqq 2^{2\rho -1}\) für maximales \(G\). In der zweiten Note verschärft Verf. die Ungleichung \(\tau \geqq \lambda \) von Cipolla: Für \(\tau =\lambda \) ist \(\tau =1 \) und \(H/J_0\) Vierergruppe; \(\tau =2\) : \(\lambda =1 \); sonst \(\tau \geqq \lambda +2\). Für \(\tau < 7\) ist jede fundamentale Untergruppe Abelsch. Im allgemeinen gilt für \(\tau >3\) : \(\tau '\leqq \tau -6\). Hieraus folgt für den Rang von \(H\)\,: \(\displaystyle r\leqq \frac {\tau +5}{6}\) (nach Cipolla: \(\displaystyle r\leqq \frac {\tau +2}{3}\)).