A Generalization of Subnormality
Liu A-Ming,Guo Wenbin,Safonova Inna N.,Skiba Alexander N.
DOI: https://doi.org/10.1007/s00009-022-02010-9
2022-01-01
Mediterranean Journal of Mathematics
Abstract:Let G be a finite group and $${\mathfrak {F}}$$ a class of groups. A subgroup A of G is said to be $${\mathfrak {F}}$$ -normal in G if either $$A\trianglelefteq G$$ or $$A_{G}\ne A^{G}$$ and every chief factor H/K of G between $$A_{G}$$ and $$A^{G}$$ is $${\mathfrak {F}}$$ -central in G, that is, $$(H/K)\rtimes (G/C_{G}(H/K)) \in {\mathfrak {F}}$$ . We say that a subgroup H of G is $${\mathfrak {F}}\wedge sn$$ -embedded if for some $${\mathfrak {F}}$$ -normal subgroup A and subnormal subgroup B of G we have $$H=A\cap B$$ . In this paper, we analyze the influence of $${\mathfrak {F}}\wedge sn$$ -embedded subgroups on the structure of a group. In particular, we prove the following generalization of Schenkman’s Theorem on the nilpotent residual of subnormal subgroups: If $${\mathfrak {F}}$$ is a hereditary saturated formation containing all nilpotent groups and S is an $${\mathfrak {F}}\wedge sn$$ -embedded subgroup of G, such that $$Z_{\mathfrak {F}}(E)=1$$ for every subgroup E of G containing S, then $$C_{G}(S^{{\mathfrak {F}}})\le S^{\mathfrak {F}}$$ .