On the strongly closed subgroups or H-subgroups of finite groups

Let G be a finite group. Goldschmidt, Flores, and Foote investigated the concept: Let K ≤ G. A subgroup H of K is called strongly closed in K with respect to G if H ^g ∩ K ≤ H for all g ∈ G. In particular, when H is a subgroup of prime-power order and K is a Sylow subgroup containing it, H is simply said to be a strongly closed subgroup. Bianchi and the others called a subgroup H of G an H-subgroup if N _G (H) ∩ H ^g ≤ H for all g ∈ G. In fact, an H-subgroup of prime power order is the same as a strongly closed subgroup. We give the characterizations of finite non-T-groups whose maximal subgroups of even order are solvable T-groups by H-subgroups or strongly closed subgroups. Moreover, the structure of finite non-T-groups whose maximal subgroups of even order are solvable T-groups may be difficult to give if we do not use normality.     

<Emphasis Type="Italic">θ</Emphasis>-Pairs for 2-maximal subgroups of finite groups

Let H, A and B be subgroups of a group G. We call the pair (A, B) a θ-pair for H in G if: (i) \({\langle H, A\rangle=G}\) and B = (A ∩ H) _G ; (ii) if A ₁/B is a proper subgroup of A/B and \({{A_1/B \vartriangleleft G/B}}\), then \({G\neq \langle H, A_1\rangle}\). In this paper, we study the θ-pairs for 2-maximal subgroups of a group, which imply a group to be solvable or supersolvable.     

Some generalizations of torsion-free Crawley groups

In this paper we investigate two new classes of torsion-free Abelian groups which arise in a natural way from the notion of a torsion-free Crawley group. A group G is said to be an Erd?s group if for any pair of isomorphic pure subgroups H,K with G/H ? G/K, there is an automorphism of G mapping H onto K; it is said to be a weak Crawley group if for any pair H,K of isomorphic dense maximal pure subgroups, there is an automorphism mapping H onto K. We show that these classes are extensive and pay attention to the relationship of the Baer-Specker group to these classes. In particular, we show that the class of Crawley groups is strictly contained in the class of weak Crawley groups and that the class of Erd?s groups is strictly contained in the class of weak Crawley groups.     

On weakly S-embedded and weakly τ-embedded subgroups

Let G be a finite group. A subgroup H of G is said to be weakly S-embedded in G if there exists a normal subgroup K of G such that HK is S-quasinormal in G and H ∩ K ≤ H _seG , where H _seG is the subgroup generated by all those subgroups of H which are S-quasinormally embedded in G. We say that a subgroup H of G is weakly τ-embedded in G if there exists a normal subgroup K of G such that HK is S-quasinormal in G and H ∩ K ≤ H _seG , where H _seG is the subgroup generated by all those subgroups of H which are τ-quasinormal in G. In this paper, we study the properties of weakly S-embedded and weakly τ-embedded subgroups, and use them to determine the structure of finite groups.     

Nearly m-embedded subgroups and solvability of finite groups

A subgroup A of a finite group G is called {1≤G}-embedded in G if for each two subgroups K≤H of G, where K is a maximal subgroup of H, A either covers the pair (K,H) or avoids it. Moreover, a subgroup H of G is called nearly m-embedded in G if G has a subgroup T and a {1≤G}-embedded subgroup C such that G?=?HT and H∩T≤C≤H. In this paper, we mainly prove that G is solvable if and only if its Sylow 3-subgroups, Sylow 5-subgroups and Sylow 7-subgroups are nearly m-embedded in G.     

On Nearly SS-Embedded Subgroups of Finite Groups

Let H be a subgroup of a finite group G. H is nearly SS-embedded in G if there exists an S-quasinormal subgroup K of G, such that HK is S-quasinormal in G and H ∩ K ≤ HseG, where HseG is the subgroup of H, generated by all those subgroups of H which are S-quasinormally embedded in G. In this paper, the authors investigate the influence of nearly SS-embedded subgroups on the structure of finite groups.     

Weakly s-supplemented subgroups and p-nilpotency of finite groups

A subgroup H of a group G is said to be weakly s-supplemented in G if there is a subgroup T of G such that G = HT and H ∩ T ≤ H _sG , where H _sG is the maximal s-permutable subgroup of G contained in H. In this paper, we investigate the influence of weakly s-supplemented subgroups on the structure of finite groups. Some recent results are generalized.     

On P𝔉-Supplemented subgroups of finite groups

Let 𝔉 be a class of groups and G a finite group. A maximal subgroup M of G is called 𝔉-abnormal provided G∕M_G?𝔉. Let K<H be subgroup of G. Then we say that (K,H) is an 𝔉-abnormal pair of G provided K is a maximal 𝔉-abnormal subgroup of H. Let A be a subgroup of G. Then we say that A is 𝔉-quasipermutable in G provided A either covers or avoids every 𝔉-abnormal pair of G. In this paper, we consider some applications of 𝔉-quasipermutable subgroups.     

On the intersection graph of a finite group

For a finite group G, the intersection graph of G which is denoted by Γ(G) is an undirected graph such that its vertices are all nontrivial proper subgroups of G and two distinct vertices H and K are adjacent when H ∩ K ≠ 1. In this paper we classify all finite groups whose intersection graphs are regular. Also, we find some results on the intersection graphs of simple groups and finally we study the structure of Aut(Γ(G)).     

Finite groups with some CAP-subgroups

Let G be a finite group. A subgroup H of G is called a CAP-subgroup if the following condition is satisfied: for each chief factor K/L of G either HK = HL or H ∩ K = H ∩ L. Let p be a prime factor of |G| and let P be a Sylow p-subgroup of G. If d is the minimum number of generators of P then there exists a family of maximal subgroups of P, denoted by M _d (P)={P ₁, P ₂,…, P _d } such that ∩ _i=1 ^d P _i = ?(P). In this paper, we investigate the group G satisfying the condition: every member of a fixed M _d (P) is a CAP-subgroup of G. For example, if, in addition, G is p-solvable, then G is p-supersolvable.     

On Weakly ℋ-Subgroups of Finite Groups

Let G be a finite group. A subgroup H of G is called an ?-subgroup in G if N _G (H) ∩ H ^x  ≤ H for all x ∈ G. A subgroup H of G is called weakly ?-subgroup in G if there exists a normal subgroup K of G such that G = HK and H ∩ K is an ?-subgroup in G. In this article, we investigate the structure of the finite group G under the assumption that all maximal subgroups of every Sylow subgroup of some normal subgroup of G are weakly ?-subgroups in G. Some recent results are extended and generalized.     

The alternating groups and K3 surfaces

In this note, we consider all possible extensions G of a non-trivial perfect group H acting faithfully on a K3 surface X. The pair (X,G) is proved to be uniquely determined by G if the transcendental value of G is maximum. In particular, we have , if H is the alternating group A₅ and normal in G.     

θ-Pairs for 2-maximal subgroups of finite groups

Let H, A and B be subgroups of a group G. We call the pair (A, B) a θ-pair for H in G if: (i) áH, A? = G{\langle H, A\rangle=G} and B = (A ∩ H) _G ; (ii) if A ₁/B is a proper subgroup of A/B and A₁/B \vartriangleleft G/B{{A_1/B \vartriangleleft G/B}}, then G 1 áH, A₁?{G\neq \langle H, A_1\rangle}. In this paper, we study the θ-pairs for 2-maximal subgroups of a group, which imply a group to be solvable or supersolvable.     

On Π-Supplemented Subgroups of a Finite Group

A subgroup H of a finite group G is said to satisfy Π-property in G if for every chief factor L/K of G, |G/K: N_G/K(HK/K ∩ L/K)| is a π(HK/K ∩ L/K)-number. A subgroup H of G is called Π-supplemented in G if there exists a subgroup T of G such that G = HT and H ∩ T ≤ I ≤ H, where I satisfies Π-property in G. In this article, we investigate the structure of a finite group G under the assumption that some primary subgroups of G are Π-supplemented in G. The main result we proved improves a large number of earlier results.     

Finite 2-groups with exactly one nonmetacyclic maximal subgroup

We determine here the structure of the title groups. All such groups G will be given in terms of generators and relations, and many important subgroups of these groups will be described. Let d(G) be the minimal number of generators of G. We have here d(G) ≤ 3 and if d(G) = 3, then G′ is elementary abelian of order at most 4. Suppose d(G) = 2. Then G′ is abelian of rank ≤ 2 and G/G′ is abelian of type (2, 2^m), m ≥ 2. If G′ has no cyclic subgroup of index 2, then m = 2. If G′ is noncyclic and G/Φ(G ₀) has no normal elementary abelian subgroup of order 8, then G′ has a cyclic subgroup of index 2 and m = 2. But the most important result is that for all such groups (with d(G) = 2) we have G = AB, for suitable cyclic subgroups A and B. Conversely, if G = AB is a finite nonmetacyclic 2-group, where A and B are cyclic, then G has exactly one nonmetacyclic maximal subgroup. Hence, in this paper the nonmetacyclic 2-groups which are products of two cyclic subgroups are completely determined. This solves a long-standing problem studied from 1953 to 1956 by B. Huppert, N. Itô and A. Ohara. Note that if G = AB is a finite p-group, p > 2, where A and B are cyclic, then G is necessarily metacyclic (Huppert [4]). Hence, we have solved here problem Nr. 776 from Berkovich [1].     

On Weakly ℋ-embedded Subgroups of Finite Groups

Let G be a finite group and H a subgroup of G. We say that H is an ?-subgroup in G if N_G(H) ∩ H^g ≤ H for all g ∈ G; H is called weakly ?-subgroup in G if G has a normal subgroup K such that G = HK and H ∩ K is an ?-subgroup in G. We say that H is weakly ? -embedded in G if G has a normal subgroup K such that H^G = HK and H ∩ K is an ?-subgroup in G. In this paper, we investigate the structure of the finite group G under the assumption that some subgroups of prime power order are weakly ?-embedded in G. Our results improve and generalize several recent results in the literature.     

On an open problem of Guo-Skiba

Let G be a finite group, and let A be a proper subgroup of G. Then any chief factor H/A _G of G is called a G-boundary factor of A. For any Gboundary factor H/A _G of A, the subgroup (A ∩ H)/A _G of G/ A _G is called a G-trace of A. In this paper, we prove that G is p-soluble if and only if every maximal chain of G of length 2 contains a proper subgroup M of G such that either some G-trace of M is subnormal or every G-boundary factor of M is a p′-group. This result give a positive answer to a recent open problem of Guo and Skiba. We also give some new characterizations of p-hypercyclically embedded subgroups.     

Finite <Emphasis Type="Italic">p</Emphasis>-groups with a class of complemented normal subgroups

Assume G is a finite group and H a subgroup of G. If there exists a subgroup K of G such that G = HK and H ∩ K = 1, then K is said to be a complement to H in G. A finite p-group G is called an NC-group if all its proper normal subgroups not contained in Φ(G) have complements. In this paper, some properties of NC-groups are investigated and some classes of NC-groups are classified.     

Quasi-Purifiable Subgroups and Minimal Direct Summands

Let G be an arbitrary Abelian group. A subgroup A of G is said to be quasi-purifiable in G if there exists a pure subgroup H of G containing A such that A is almost-dense in H and H/A is torsion. Such a subgroup H is called a “quasi-pure hull” of A in G. We prove that if G is an Abelian group whose maximal torsion subgroup is torsion-complete, then all subgroups A are quasi-purifiable in G and all maximal quasi-pure hulls of A are isomorphic. Every subgroup A of a torsion-complete p-primary group G is contained in a minimal direct summand of G that is a minimal pure torsion-complete subgroup containing A. An Abelian group G is said to be an “ADE decomposable group” if there exist an ADE subgroup K of G and a subgroup T′ of T(G) such that G = K⊕ T′. An Abelian group whose maximal torsion subgroup is torsion-complete is ADE decomposable. Hence direct products of cyclic groups are ADE decomposable groups.     

The influence of S-quasinormality of some subgroups of prime power order on the structure of finite groups

Let G be a finite group. Two subgroups H and K of G are said to permute if áH,K? = HK = KH\langle H,K\rangle = HK = KH. A subgroup H of G is S-quasinormal in G if it permutes with every Sylow subgroup of G. In this paper we investigate the influence of S-quasinormality of some subgroups of prime power order of a finite group on its supersolvability.