Baumann-components of finite groups of characteristic \(p\), general theory (Q1794059)

Let \(p\) be a prime. The authors introduce a new conjugacy class Bau\(_p(G)\) of \(p\)-subgroups of finite groups \(G\) of characteristic \(p\) and prove some factorization and decomposition theorems related to this conjugacy class. As a consequence, it is shown that the only obstruction for \(B\in \text{Bau}_p(G)\) being normal in \(G\) are the Baumann components of \(G\), a class of subnormal subgroups \(E\) with \(E/\text{O}_p(E)\) quasisimple or SL\(_2(p)\) for \(p \leq 3\). This paper is related to the local \(C(G,T)\)-theorem proved in [\textit{D. Bundy} et al., J. Algebra 300, No. 2, 741--789 (2006; Zbl 1102.20020)]. According to the authors, this paper is the first of a project whose intention is to investigate the structure of finite groups \(G\) of characteristic \(p\) by discussing the embedding properties of the conjugacy class of \(p\)-subgroups Bau\(_p(G)\) in \(G\).