Frattini subgroups relative to formation functions (Q917693)

Es sei LF(f) die durch die Formationsfunktion f lokal definierte Formation endlicher Gruppen und \(\pi\) die Menge aller Primzahlen p, für welche f(p) nichtleer ist. Falls G eine endliche Gruppe ist, so versteht man unter der f-Frattinigruppe \(\Phi_ f\) von G den Durchschnitt aller jener maximalen Untergruppen von G, welche einen Hauptfaktor H/K supplementieren, auf dem G für alle Primteiler p von \(| H/K|\) eine zu f(p) gehörende Gruppe von Automorphismen induziert. Das Hauptresultat der vorliegenden Arbeit ist: Falls für jede Primzahl p die Formation f(p) normalteiler-abgeschlossen ist und \(\pi\) die Menge aller Primzahlen p ist, für die f(p) nichtleer ist, dann ist \[ (1)\quad O_{\pi}(\Phi_ f(G))\in LF(f)\quad und\quad (2)\quad \Phi_ f(G/O_{\pi}(\Phi_ f(G)))=\Phi (G/O_{\pi}(\Phi_ f(G)))\leq O_{\pi '}(G/O_ p(\Phi_ f(G))). \]