English

On partial $\Pi$-property of subgroups of finite groups

Group Theory 2014-11-05 v9

Abstract

Let HH be a subgroup of a finite group GG. We say that HH satisfies partial Π\Pi-property in GG if there exists a chief series ΓG:1=G0<G1<<Gn=G\mathit{\Gamma}_G:1=G_0<G_1<\cdots<G_n=G of GG such that for every GG-chief factor Gi/Gi1G_i/G_{i-1} (1in1\leq i\leq n) of ΓG\mathit{\Gamma}_G, G/Gi1:NG/Gi1(HGi1/Gi1Gi/Gi1)|G/G_{i-1}:N_{G/G_{i-1}}(HG_{i-1}/G_{i-1}\cap G_i/G_{i-1})| is a π(HGi1/Gi1Gi/Gi1)\pi(HG_{i-1}/G_{i-1}\cap G_i/G_{i-1})-number. Our main results are listed here: Theorem A. Let F\mathfrak{F} be a solubly saturated formation containing U\mathfrak{U} and EE a normal subgroup of GG with G/EFG/E\in \mathfrak{F}. Let XGX\unlhd G such that Fp(E)XEF_p^*(E)\leq X\leq E. Suppose that for any Sylow pp-subgroup PP of XX, every maximal subgroup of PP satisfies partial Π\Pi-property in GG. Then one of the following holds: (1) GGpFG\in \mathfrak{G}_{p'}\mathfrak{F}. (2) X/Op(X)X/O_{p'}(X) is a quasisimple group with Sylow pp-subgroups of order pp. In particular, if X=Fp(E)X=F_p^*(E), then X/Op(X)X/O_{p'}(X) is a simple group. Theorem B. Let F\mathfrak{F} be a solubly saturated formation containing U\mathfrak{U} and EE a normal subgroup of GG with G/EFG/E\in \mathfrak{F}. Suppose that for any Sylow pp-subgroup PP of Fp(E)F_p^*(E), every cyclic subgroup of PP of prime order or order 4 (when PP is not quaternion-free) satisfies partial Π\Pi-property in GG. Then GGpFG\in \mathfrak{G}_{p'}\mathfrak{F}.

Keywords

Cite

@article{arxiv.1301.6361,
  title  = {On partial $\Pi$-property of subgroups of finite groups},
  author = {Xiaoyu Chen and Wenbin Guo},
  journal= {arXiv preprint arXiv:1301.6361},
  year   = {2014}
}

Comments

This is a final corrected version of the version published in J. Group Theory!! arXiv admin note: text overlap with arXiv:1307.0089