The structure of finite groups with weakly <Emphasis Type="Italic">c</Emphasis>-normal subgroups

For a subgroup of a finite group we introduce a new property called weakly c-normal. Suppose that G is a finite group and H is a subgroup of G. H is said to be weakly c-normal in G if there exists a subnormal subgroup K of G such that \(G=HK\) and \(H\cap K\) is s-quasinormally embedded in G. We fix in every non-cyclic Sylow subgroup P of G some subgroup D satisfying \(1<|D|<|P|\) and study the structure of G under the assumption that every subgroup H of P with \(|H|=|D|\) is weakly c-normal in G. Some recent results are generalized and unified.     

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.     

<Emphasis Type="Italic">M</Emphasis> <Subscript> <Emphasis Type="Italic">p</Emphasis> </Subscript>-supplemented subgroups of finite groups

A subgroup K of G is M_p-supplemented in G if there exists a subgroup B of G such that G = KB and TB < G for every maximal subgroup T of K with |K: T| = p^α. In this paper we prove the following: Let p be a prime divisor of |G| and let H be ap-nilpotent subgroup having a Sylow p-subgroup of G. Suppose that H has a subgroup D with D_p ≠ 1 and |H: D| = p_α. Then G is p-nilpotent if and only if every subgroup T of H with |T| = |D| is M_p-supplemented in G and N_G(T_p)/C_G(T_p) is a p-group.     

Influence of <Emphasis Type="Italic">M</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-supplemented subgroups on the structure of <Emphasis Type="Italic">p</Emphasis>-modular subgroups

A subgroup K of G is M _p -supplemented in G if there exists a subgroup B of G such that G = KB and TB < G for every maximal subgroup T of K with |K: T| = p ^α. We study the structure of the chief factor of G by using M _p -supplemented subgroups and generalize the results of Monakhov and Shnyparkov by involving the relevant results about the p-modular subgroup O ^p (G) of G.     

2-Recognizability by prime graph of <Emphasis Type="Italic">PSL</Emphasis>(2, <Emphasis Type="Italic">p</Emphasis><Superscript>2</Superscript>)

Let G be a finite group and let Γ(G) be the prime graph of G. Assume p prime. We determine the finite groups G such that Γ(G) = Γ(PSL(2, p ²)) and prove that if p ≠ 2, 3, 7 is a prime then k(Γ(PSL(2, p ²))) = 2. We infer that if G is a finite group satisfying |G| = |PSL(2, p ²)| and Γ(G) = Γ(PSL(2, p ²)) then G ? PSL(2, p ²). This enables us to give new proofs for some theorems; e.g., a conjecture of W. Shi and J. Bi. Some applications are also considered of this result to the problem of recognition of finite groups by element orders.     

Finite groups with <Emphasis Type="Italic">C</Emphasis>-quasinormal subgroups

Consider some finite group G and a finite subgroup H of G. Say that H is c-quasinormal in G if G has a quasinormal subgroup T such that HT = G and T ∩ H is quasinormal in G. Given a noncyclic Sylow subgroup P of G, we fix some subgroup D such that 1 < |D| < | P| and study the structure of G under the assumption that all subgroups H of P of the same order as D, having no supersolvable supplement in G, are c-quasinormal in G.     

On finite groups with prime-power order <Emphasis Type="Italic">S</Emphasis>-quasinormally embedded subgroups

A subgroup H of a finite group G is said to be S-quasinormally embedded in G if for each prime p dividing the order of H, a Sylow p-subgroup of H is also a Sylow p-subgroup of some S-quasinormal subgroup of G. In this paper we investigate the structure of finite groups that have some S-quasinormally embedded subgroups of prime-power order, and new criteria for p-nilpotency are obtained.     

On the rank of compact <Emphasis Type="Italic">p</Emphasis>-adic Lie groups

The rank of a profinite group G is the basic invariant \({{\rm rk}(G):={\rm sup}\{d(H) \mid H \leq G\}}\), where H ranges over all closed subgroups of G and d(H) denotes the minimal cardinality of a topological generating set for H. A compact topological group G admits the structure of a p-adic Lie group if and only if it contains an open pro-p subgroup of finite rank. For every compact p-adic Lie group G one has rk(G) ≥ dim(G), where dim(G) denotes the dimension of G as a p-adic manifold. In this paper we consider the converse problem, bounding rk(G) in terms of dim(G). Every profinite group G of finite rank admits a maximal finite normal subgroup, its periodic radical π(G). One of our main results is the following. Let G be a compact p-adic Lie group such that π(G) = 1, and suppose that p is odd. If \(\{g \in G \mid g^{p-1}=1 \}\) is equal to {1}, then rk(G) = dim(G).     

Finite groups with <Emphasis Type="Italic">SS</Emphasis>-supplement

Let G be a finite group. A subgroup H of G is said to be SS-quasinormal in G if there is a subgroup K such that \(G=HK\) and \(HS=SH\), for all \(S\in \) Syl(K), where Syl(K) denotes the collection of all Sylow subgroups of K. A subgroup H of G is said to be SS-supplemented in G if there is a subgroup K such that \(G=HK\) and \(H\cap K\) is SS-quasinormal in G. In this paper, we investigate the SS-supplemented subgroups and strengthen a result of Skiba which gives a positive answer to an open question of Shemetkov.     

Quasirecognition by prime graph of the simple group <Superscript>2</Superscript><Emphasis Type="Italic">G</Emphasis><Subscript>2</Subscript>(<Emphasis Type="Italic">q</Emphasis>)

Let G be a finite group. The main result of this paper is as follows: If G is a finite group, such that Γ(G) = Γ(²G₂(q)), where q = 3²ⁿ⁺¹ for some n ≥ 1, then G has a (unique) nonabelian composition factor isomorphic to ² G ₂(q). We infer that if G is a finite group satisfying |G| = |² G ₂(q)| and Γ(G) = Γ (² G ₂(q)) then G ? = ² G ₂(q). This enables us to give new proofs for some theorems; e.g., a conjecture of W. Shi and J. Bi. Some applications of this result are also considered to the problem of recognition by element orders of finite groups.     

The influence of <Emphasis Type="Italic">s</Emphasis>-semipermutable subgroups on the structure of finite groups

A subgroup H of a group G is called s-semipermutable in G if H is permutable with every Sylow p-subgroup of G with (p, |H|) = 1. In this paper, we use s-semipermutable subgroups to determine the structure of finite groups. Some of the previous results are generalized.     

Residual <Emphasis Type="Italic">p</Emphasis>-finiteness of generalized free products of groups

Let p be a prime number. Recall that a group G is said to be a residually finite p-group if for every non-identity element a of G there exists a homomorphism of the group G onto a finite p-group such that the image of a does not coincide with the identity. We obtain a necessary and sufficient condition for the free product of two residually finite p-groups with finite amalgamated subgroup to be a residually finite p-group. This result is a generalization of Higman’s theorem on the free product of two finite p-groups with amalgamated subgroup.     

Finite <Emphasis Type="Italic">p</Emphasis>-groups whose non-normal subgroups have few orders

Suppose that G is a finite p-group. If G is not a Dedekind group, then G has a non-normal subgroup. We use p^M(G) and p^m(G) to denote the maximum and minimum of the orders of the non-normal subgroups of G; respectively. In this paper, we classify groups G such that M(G) < 2m(G)?1: As a by-product, we also classify p-groups whose orders of non-normal subgroups are p^k and p^k+1.     

Products of F*(<Emphasis Type="Italic">G</Emphasis>)-subnormal subgroups of finite groups

A subgroup H of a finite group G is called F*(G)-subnormal if H is subnormal in HF*(G). We show that if a group Gis a product of two F*(G)-subnormal quasinilpotent subgroups, then G is quasinilpotent. We also study groups G = AB, where A is a nilpotent F*(G)-subnormal subgroup and B is a F*(G)-subnormal supersoluble subgroup. Particularly, we show that such groups G are soluble.     

On the <Emphasis Type="Italic">p</Emphasis>-supersolubility of a finite group with a µ-supplemented sylow <Emphasis Type="Italic">p</Emphasis>-subgroup

A subgroup H of a group G is called µ-supplemented in G if there exists a subgroup K such that G = HK and H ₁ K is a proper subgroup in G for every maximal subgroup H ₁ in H. For the initial values of p, we establish the p-supersolubility of a finite group with a μ-supplemented Sylow p-subgroup.     

On finite alperin <Emphasis Type="Italic">p</Emphasis>-groups with homocyclic commutator subgroup

We study metabelian Alperin groups, i.e., metabelian groups in which every 2-generated subgroup has a cyclic commutator subgroup. It is known that, if the minimum number d(G) of generators of a finite Alperin p-group G is n ≥ 3, then d(G′) ≤ C _n ² for p≠ 3 and d(G′) ≤ C _n ² + C _n ³ for p = 3. The first section of the paper deals with finite Alperin p-groups G with p≠ 3 and d(G) = n ≥ 3 that have a homocyclic commutator subgroup of rank C _n ² . In addition, a corollary is deduced for infinite Alperin p-groups. In the second section, we prove that, if G is a finite Alperin 3-group with homocyclic commutator subgroup G- of rank C _n ² + C _n ³ , then G″ is an elementary abelian group.     

Characterizing projective general unitary groups PGU<Subscript>3</Subscript>(<Emphasis Type="Italic">q</Emphasis><Superscript>2</Superscript>) by their complex group algebras

Let G be a finite group. Let X ₁(G) be the first column of the ordinary character table of G. We will show that if X ₁(G) = X1(PGU₃(q ²)), then G ? PGU₃(q ²). As a consequence, we show that the projective general unitary groups PGU₃(q ²) are uniquely determined by the structure of their complex group algebras.     

On <Emphasis Type="Italic">ss</Emphasis>-quasinormal or weakly <Emphasis Type="Italic">s</Emphasis>-permutably embedded subgroups of finite groups

Suppose that G is a finite group and H is a subgroup of G. H is said to be an ss-quasinormal subgroup of G if there is a subgroup B of G such that \(G=HB\) and H permutes with every Sylow subgroup of B; H is said to be weakly s-permutably embedded in G if there are a subnormal subgroup T of G and an s-permutably embedded subgroup \(H_{se}\) of G contained in H such that \(G=HT\) and \(H\cap T\le H_{se}\). We fix in every non-cyclic Sylow subgroup P of G some subgroup D satisfying \(1<|D|<|P|\) and study the structure of G under the assumption that every subgroup H of P with \(|H|=|D|\) is either ss-quasinormal or weakly s-permutably embedded in G. Some recent results are generalized and unified.     

On <Emphasis Type="Italic">r</Emphasis>-recognition by prime graph of <Emphasis Type="Italic">B</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>(3) where <Emphasis Type="Italic">p</Emphasis> is an odd prime

Let G be a finite group. The prime graph Γ(G) of G is defined as follows. The vertices of Γ(G) are the primes dividing the order of G and two distinct vertices p and p′ are joined by an edge if there is an element in G of order pp′. We denote by k(Γ(G)) the number of isomorphism classes of finite groups H satisfying Γ(G) = Γ(H). Given a natural number r, a finite group G is called r-recognizable by prime graph if k(Γ(G)) =  r. In Shen et al. (Sib. Math. J. 51(2):244–254, 2010), it is proved that if p is an odd prime, then B _p (3) is recognizable by element orders. In this paper as the main result, we show that if G is a finite group such that Γ(G) = Γ(B _p (3)), where p > 3 is an odd prime, then \({G\cong B_p(3)}\) or C _p (3). Also if Γ(G) = Γ(B ₃(3)), then \({G\cong B_3(3), C_3(3), D_4(3)}\), or \({G/O_2(G)\cong {\rm Aut}(^2B_2(8))}\). As a corollary, the main result of the above paper is obtained.     

Periodic Groups Saturated with the Groups <Emphasis Type="Italic">L</Emphasis><Subscript>2</Subscript>(<Emphasis Type="Italic">p</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>)

Given an indexing set I and a finite field K_α for each α ∈ I, let ? = {L₂(K_α) | α ∈ I} and \(\mathfrak{N} = \{ SL_2 (K_\alpha )|\alpha \in I\}\). We prove that each periodic group G saturated with groups in \(\Re (\mathfrak{N})\) is isomorphic to L₂(P) (respectively SL₂(P)) for a suitable locally finite field P.