On the number of Hall \(\pi\)-subgroups in a finite group (Q1061839): Difference between revisions

\(G\) denotes a finite group and \(\pi\) a finite set of prime numbers. We say that \(G\) is a \(D_{\pi}\)-group, if \(G\) contains a unique conjugacy class of maximal \(\pi\)-subgroups. In addition, a \(D_{\pi}\)-group \(G\) is said to be an \(L_{\pi}\)-group, if all epimorphic images of subgroups of \(G\) are \(D_{\pi}\)-groups. Let \(\nu_{\pi}(G)\) be the number of Hall \(\pi\)-subgroups of \(G\). If \(S\) is a non-empty subset of \(G\), \(N\) a normal subgroup of \(G\) and \(\bar G=G/N\), it is easy to prove that \[ (1)\quad | Cl_ G(S)| =| Cl_{\bar G}(\bar S)|.| N:N_ N(S)|.| N_{\bar G}(\bar S):\overline{N_ G(S)}|. \] When \(S=\{g\}\) or \(\{g,g^{-1}\}\), (1) gives formulae related to centralizers and extended centralizers. When \(S\) is a subgroup of \(G\), (1) can be improved in the following factorization: \[ (2)\quad | Cl_ G(S)| =| Cl_{\bar G}(\bar S)|.| Cl_ N(S\cap N)|.| Cl_{N_{NS}(S\cap N)}(S)|.| N_{\bar G}(\bar S):\overline{N_ G(S)}|. \] If \(G\) is an \(L_{\pi}\)-group and \(S\) an \(S_{\pi}\)-subgroup of \(G\), then (2) is used to analyze the number \(\nu_{\pi}(G)\). The following formula holds: \(\nu_{\pi}(G)=\prod \nu_{\pi}(F_ i).\prod q_ j^{e_ j}\), where the first product is extended over all the composition factors \(F_ 1,...,F_ r\) of \(G\) and each \(q_ j^{e_ j}\) in the second product is congruent to 1 modulo some prime number of \(\pi\). In this case, the author generalizes M. Hall's theorems for \(\pi =\{p\}\) and P. Hall's analogous theorem to \(\pi\)-solvable groups. We can also use (2) to obtain information on the number of \(\Gamma\)-injectors (resp. \(\psi\)-injectors) of a solvable group, where \(\Gamma\) (resp. \(\psi\)) denotes a Fitting class (resp. a Schunck class) and on the number \(| A_ G(S)|\) of automorphisms of \(S\) induced by \(G\).