A note on the structure of a nite group G having a subgroup H maximal in 〈 H , H g 〉
Xianhua Li,Guiyun Chen
2019-01-01
Abstract:All groups considered are nite. Let π(G) be the set of all prime divisors of the order of a group G, S(G) the largest normal solvable subgroup of G. LetF denote a formation,U the formation of supersolvable groups.We use H l G to denote that H is a maximal subgroup of G. H Char Gmeans that H is a characteristic subgroup of G. The other notations and terminologies are standard (Ref. to [1]). Let H ≤ G and g ∈ G, then H ≤ 〈H, Hg〉 ≤ 〈H, g〉. It is clear that H = 〈H, Hg〉 for all g ∈ G if and only if H G. On the other hand, 〈H, Hg〉 = 〈H, g〉 for all g ∈ G if and only if H abn G ([2, p.247]). In [3], the famous Wielandt′s theorem shows that H 〈H, Hg〉 for all g ∈ G if and only if H G. In [4], H is called pronormal in G if H is conjugate to Hg in 〈H, Hg〉 for all g ∈ G. From these results we can see that the normalities of a subgroup H in G may be re ected from the normalities of H in 〈H, Hg〉; the closer 〈H, Hg〉 is to 〈H, g〉, the more H is non-normal; the closer 〈H, Hg〉 is to H, the more H is normal. Hence 〈H, Hg〉 seems to be a “measurement” of normalities of H in G. These properties motivate us to investigate the properties of G from the size of H in 〈H, Hg〉. In [5], we investigated the structure of G by the index of H in 〈H, Hg〉. In this paper, we continue this research. We study the structure of a nite group G with a subgroup H which is maximal in 〈H, Hg〉 for some g ∈ G. We get a series of interesting results on 〈H, Hg〉 and G.