c _p -normality and coprime action in finite groups

Finite solvable groups, theory of formations, Schunck classes, Fitting classes, (pi)-length, ranks (20D10) Sylow subgroups, Sylow properties, (pi)-groups, (pi)-structure (20D20) Automorphisms of abstract finite groups (20D45) Maximal subgroups (20E28)

Review text

Let \(A\) and \(G\) be finite groups of coprime orders with \(A\) acting on \(G\) by automorphisms and let \(p\) be a prime divisor of \(|G|\). An \(A\)-invariant subgroup \(H\) of \(G\) is called \(AC_p\)-normal in \(G\) if there exists an \(A\)-invariant normal subgroup \(T\) of \(G\), containing the core \(H_G\), such that \(G=HT\) and \((H\cap T)/H_G\) is a \(p'\)-group.\N\NThe paper gives several criteria for \(p\)-solvability in terms of this condition. In particular, for \(n\in\{1,2\}\), if every \(n\)-maximal \(A\)-invariant subgroup of \(G\) is \(AC_p\)-normal in \(G\), then \(G\) is \(p\)-solvable; when \(p=2\), it follows that \(G\) is solvable. It is also proved that \(G\) is \(p\)-solvable if and only if every maximal \(A\)-invariant subgroup of \(G\) is \(AC_p\)-normal in \(G\).\N\NFor \(3\)-maximal \(A\)-invariant subgroups, the corresponding result is established for \(p=2\): if every \(3\)-maximal \(A\)-invariant subgroup of \(G\) is \(AC_2\)-normal in \(G\), then \(G\) is solvable. The proof of this result uses the classification of finite simple groups.

Cites work

This page was built for publication: c _p -normality and coprime action in finite groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7299681)

c p -normality and coprime action in finite groups

c _p -normality and coprime action in finite groups