Baumann-components of finite groups of characteristic \(p\), the \(W(B)\)-theorem (Q6169176): Difference between revisions

A finite group is said to be a \(\mathcal{CK}\)-group if each of its composition factors is a cyclic group, an alternating group, a sporadic group, or a group of Lie type. In the paper under review, the authors complete the investigation of \(\mathcal{CK}\)-group of characteristic \(p\) in terms of their Baumann components, initiated in their previous papers [J. Algebra 515, 19--51 (2018; Zbl 1403.20031); J. Algebra 561, 295--354 (2020; Zbl 1485.20058)]. If \(B\) is a finite, non-trivial \(p\)-group, the authors define a certain non-trivial characteristic subgroup \(\mathrm{W}(B)\) of \(B\). Let \(\mathbb{E}_{W} (G)\) be the normal subgroup generated by the Baumann blocks of \(G\), for whose definition we refer to the Introduction of the paper. The authors prove in Theorem A that \(G = N_{G} (\mathrm{W}(B))\mathbb{E}_{W} (G)\). The major part of the paper is then devoted to giving the exact structure of the Baumann blocks of \(G\) (Theorem B); in particular it is shown that any two distinct Baumann blocks centralise each other.