Every 2-group with all subgroups normal-by-finite is locally finite

A group G has all of its subgroups normal-by-finite if H/H _G is finite for all subgroups H of G. The Tarski-groups provide examples of p-groups (p a “large” prime) of nonlocally finite groups in which every subgroup is normal-by-finite. The aim of this paper is to prove that a 2-group with every subgroup normal-by-finite is locally finite. We also prove that if |H/H _G | 6 2 for every subgroup H of G, then G contains an Abelian subgroup of index at most 8.     

A condition for the solvability of finite groups

A subgroup H is called ?-supplemented in a finite group G, if there exists a subgroup B of G such that G = HB and H ₁ B is a proper subgroup of G for every maximal subgroup H ₁ of H. We investigate the influence of ?-supplementation of Sylow subgroups and obtain a condition for solvability and p-supersolvability of finite groups.     

Solvability of finite groups

H is called an ? _p -embedded subgroup of G, if there exists a p-nilpotent subgroup B of G such that H _p ∈ Syl _p (B) and B is ? _p -supplemented in G. In this paper, by considering prime divisor 3, 5, or 7, we use ? _p -embedded property of primary subgroups to investigate the solvability of finite groups. The main result is follows. Let E be a normal subgroup of G, and let P be a Sylow 5-subgroup of E. Suppose that 1 < d ? |P| and d divides |P|. If every subgroup H of P with |H| = d is ?₅-embedded in G, then every composition factor of E satisfies one of the following conditions: (1) I/C is cyclic of order 5, (2) I/C is 5′-group, (3) I/C ? A₅.     

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.     

Normal coverings of solvable groups

For a finite non cyclic group G, let γ(G) be the smallest integer k such that G contains k proper subgroups H ₁, . . . , H _k with the property that every element of G is contained in \({H_i^g}\) for some \({i \in \{1,\dots,k\}}\) and \({g \in G.}\) We prove that for every n ≥ 2, there exists a finite solvable group G with γ(G) = n.     

Finite Groups with Given Weakly <Emphasis Type="Italic">σ</Emphasis>-Permutable Subgroups

Let G be a finite group and let σ = {σ _i | i ∈ I} be a partition of the set of all primes P. A set ? of subgroups of G is said to be a complete Hall σ-set of G if each nonidentity member of ? is a Hall σ _i -subgroup of G and ? has exactly one Hall σ _i -subgroup of G for every σ _i ∈ σ(G). A subgroup H of G is said to be σ-permutable in G if G possesses a complete Hall σ-set ? such that HA ^x = A ^x H for all A ∈ ? and all x ∈ G. A subgroup H of G is said to be weakly σ-permutable in G if there exists a σ-subnormal subgroup T of G such that G = HT and H ∩ T ≤ H _σG , where H _σG is the subgroup of H generated by all those subgroups of H which are σ-permutable in G. We study the structure of G under the condition that some given subgroups of G are weakly σ-permutable in G. In particular, we give the conditions under which a normal subgroup of G is hypercyclically embedded. Some available results are generalized.     

Finite p-Groups with Few Non-major k-Maximal Subgroups

A subgroup of index p ^k of a finite p-group G is called a k-maximal subgroup of G. Denote by d(G) the number of elements in a minimal generator-system of G and by δ _k (G) the number of k-maximal subgroups which do not contain the Frattini subgroup of G. In this paper, the authors classify the finite p-groups with δ_d(G)(G) ≤ p² and δ_d(G)?1(G) = 0, respectively.     

Generalized 3-edge-connectivity of Cartesian product graphs

The generalized k-connectivity κ _k (G) of a graph G was introduced by Chartrand et al. in 1984. As a natural counterpart of this concept, Li et al. in 2011 introduced the concept of generalized k-edge-connectivity which is defined as λ _k (G) = min{λ(S): S ? V (G) and |S| = k}, where λ(S) denotes the maximum number l of pairwise edge-disjoint trees T ₁, T ₂, …, T _l in G such that S ? V (T _i ) for 1 ? i ? l. In this paper we prove that for any two connected graphs G and H we have λ ₃(G □ H) ? λ ₃(G) + λ ₃(H), where G □ H is the Cartesian product of G and H. Moreover, the bound is sharp. We also obtain the precise values for the generalized 3-edge-connectivity of the Cartesian product of some special graph classes.     

Finite groups with given σ-embedded and σ-n-embedded subgroups

Let G be a finite group and σ = {σ _i |i∈I} be a partition of the set of all primes P. A set H of subgroups of G is said to be a complete Hall σ-set of G if every non-identity member of H is a Hall σ _i -subgroup of G and H contains exactly one Hall σ _i -subgroup of G for every σ _i ∈ σ(G). A subgroup H is said to be σ-permutable if G possesses a complete Hall σ-set H such that HA ^x = A ^x H for all A ∈ H and all x ∈ G. Let H be a subgroup of G. Then we say that: (1) H is σ-embedded in G if there exists a σ-permutable subgroup T of G such that HT = H ^σG and H ∩ T ≤ H _σG , where H _σG is the subgroup of H generated by all those subgroups of H which are σ-permutable in G, and H ^σG is the σ-permutable closure of H, that is, the intersection of all σ-permutable subgroups of G containing H. (2) H is σ-n-embedded in G if there exists a normal subgroup T of G such that HT = H ^G and H ∩ T ≤ H _σG . In this paper, we study the properties of the new embedding subgroups and use them to determine the structure of finite groups.     

On weakly <Emphasis Type="Italic">S</Emphasis>Φ-supplemented subgroups of finite groups

Let G be a finite group. We say that a subgroup H of G is weakly SΦ-supplemented in G if G has a subgroup T such that G = HT and H∩T ≤ Φ(H)H_sG, where H_sG is the subgroup of H generated by all those subgroups of H that are s-permutable in G. In this paper, we investigate the influence of weakly SΦ-supplemented subgroups on the structure of finite groups. Some new characterizations of p-nilpotency and supersolubility of finite groups are obtained.     

Thompson’s conjecture for the alternating group of degree 2<Emphasis Type="Italic">p</Emphasis> and 2<Emphasis Type="Italic">p</Emphasis>+1

For a finite group G denote by N(G) the set of conjugacy class sizes of G. In 1980s, J.G.Thompson posed the following conjecture: If L is a finite nonabelian simple group, G is a finite group with trivial center and N(G) = N(L), then G ? L. We prove this conjecture for an infinite class of simple groups. Let p be an odd prime. We show that every finite group G with the property Z(G) = 1 and N(G) = N(A _i ) is necessarily isomorphic to A _i , where i ∈ {2p, 2p + 1}.     

Bogomolov multipliers for some <Emphasis Type="Italic">p</Emphasis>-groups of nilpotency class 2

The Bogomolov multiplier B ₀(G) of a finite group G is defined as the subgroup of the Schur multiplier consisting of the cohomology classes vanishing after restriction to all abelian subgroups of G. The triviality of the Bogomolov multiplier is an obstruction to Noether’s problem. We show that if G is a central product of G ₁ and G ₂, regarding K _i ≤ Z(G _i ), i = 1, 2, and θ: G ₁ → G ₂ is a group homomorphism such that its restriction \(\theta {|_{{K_1}}}:{K_1} \to {K_2}\) is an isomorphism, then the triviality of B ₀(G ₁/K ₁),B ₀(G ₁) and B ₀(G ₂) implies the triviality of B ₀(G). We give a positive answer to Noether’s problem for all 2-generator p-groups of nilpotency class 2, and for one series of 4-generator p-groups of nilpotency class 2 (with the usual requirement for the roots of unity).     

Hopf Modules and Representations of Finite Wreath Products

For a finite group G and nonnegative integer n ≥ 0, one may consider the associated tower \(G \wr S_{n} := S_{n} \ltimes G^{n}\) of wreath product groups. Zelevinsky associated to such a tower the structure of a positive self-adjoint Hopf algebra (PSH-algebra) R(G) on the direct sum over integers n ≥ 0 of the Grothendieck groups K ₀(R e p?G?S _n ). In this paper, we study the interaction via induction and restriction of the PSH-algebras R(G) and R(H) associated to finite groups H ? G. A class of Hopf modules over PSH-algebras with a compatibility between the comultiplication and multiplication involving the Hopf k ^{t h} -power map arise naturally and are studied independently. We also give an explicit formula for the natural PSH-algebra morphisms R(H) → R(G) and R(G) → R(H) arising from induction and restriction. In an appendix, we consider a family of subgroups of wreath product groups analogous to the subgroups G(m, p, n) of the wreath product cyclotomic complex reflection groups G(m, 1, n).     

A note on a result of Guo and Isaacs about p-supersolubility of finite groups

In this note, global information about a finite group is obtained by assuming that certain subgroups of some given order are S-semipermutable. Recall that a subgroup H of a finite group G is said to be S-semipermutable if H permutes with all Sylow subgroups of G of order coprime to \({\lvert H\rvert}\). We prove that for a fixed prime p, a given Sylow p-subgroup P of a finite group G, and a power d of p dividing \({\lvert G\rvert}\) such that \({1\le d < \lvert P\rvert}\), if \({H\,{\cap}\, O^p(G)}\) is S-semipermutable in \({O^p(G)}\) for all normal subgroups H of P with \({\lvert H\rvert=d}\), then either G is p-supersoluble or else \({\lvert P\,{\cap}\, {O^p(G)}\rvert > d}\). This extends the main result of Guo and Isaacs in (Arch. Math. 105:215–222 2015). We derive some theorems that extend some known results concerning S-semipermutable subgroups.     

Length-type parameters of finite groups with almost unipotent automorphisms

Let α be an automorphism of a finite group G. For a positive integer n, let E _G,n (α) be the subgroup generated by all commutators [...[[x,α],α],…,α] in the semidirect product G 〈α〉 over x ∈ G, where α is repeated n times. By Baer’s theorem, if E _G,n (α)=1, then the commutator subgroup [G,α] is nilpotent. We generalize this theorem in terms of certain length parameters of E _G,n (α). For soluble G we prove that if, for some n, the Fitting height of E _G,n (α) is equal to k, then the Fitting height of [G,α] is at most k + 1. For nonsoluble G the results are in terms of the nonsoluble length and generalized Fitting height. The generalized Fitting height h*(H) of a finite group H is the least number h such that F _h* (H) = H, where F ₀* (H) = 1, and F _i+1* (H) is the inverse image of the generalized Fitting subgroup F*(H/F _i *(H)). Let m be the number of prime factors of the order |α| counting multiplicities. It is proved that if, for some n, the generalized Fitting height E _G,n (α) of is equal to k, then the generalized Fitting height of [G,α] is bounded in terms of k and m. The nonsoluble length λ(H) of a finite group H is defined as the minimum number of nonsoluble factors in a normal series each of whose factors either is soluble or is a direct product of nonabelian simple groups. It is proved that if λE _G,n (α)= k, then the nonsoluble length of [G,α] is bounded in terms of k and m. We also state conjectures of stronger results independent of m and show that these conjectures reduce to a certain question about automorphisms of direct products of finite simple groups.     

On the length of a finite group and of its 2-generator subgroups

The nonsoluble length λ(G) of a finite group G is defined as the minimum number of nonsoluble factors in a normal series of G each of whose quotients either is soluble or is a direct product of nonabelian simple groups. The generalized Fitting height of a finite group G is the least number h = h* (G) such that F* _h (G) = G, where F* ₁ (G) = F* (G) is the generalized Fitting subgroup, and F* _i+1(G) is the inverse image of F* (G/F*_i (G)). In the present paper we prove that if λ(J) ≤ k for every 2-generator subgroup J of G, then λ(G) ≤ k. It is conjectured that if h* (J) ≤ k for every 2-generator subgroup J, then h* (G) ≤ k. We prove that if h* (〈x, x^g 〉) ≤ k for allx, g ∈ G such that 〈x, x^g 〉 is soluble, then h* (G) is k-bounded.     

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.     

Principal blocks and p-radical groups

Let G be a finite group and k a field of characteristic p > 0. In this paper, we obtain several equivalent conditions to determine whether the principal block B₀ of a finite p-solvable group G is p-radical, which means that B₀ has the property that e₀(k_P)^G is semisimple as a kG-module, where P is a Sylow p-subgroup of G, k_P is the trivial kP-module, (k_P)^G is the induced module, and e₀ is the block idempotent of B₀. We also give the complete classification of a finite p-solvable group G which has not more than three simple B₀-modules where B₀ is p-radical.     

Some new sums related to D. H. Lehmer problem

About Lehmer’s number, many people have studied its various properties, and obtained a series of interesting results. In this paper, we consider a generalized Lehmer problem: Let p be a prime, and let N(k; p) denote the number of all 1 ? a _i ? p ? 1 such that a ₁ a ₂ … a _k ≡ 1 mod p and 2 | a _i + ā _i + 1, i = 1, 2, …, k. The main purpose of this paper is using the analytic method, the estimate for character sums and trigonometric sums to study the asymptotic properties of the counting function N(k; p), and give an interesting asymptotic formula for it.     

The boundary of the outer space of a free product

Let G be a countable group that splits as a free product of groups of the form G = G ₁ *···* G _k * F _N , where F _N is a finitely generated free group. We identify the closure of the outer space PO(G, {G ₁,..., G _k }) for the axes topology with the space of projective minimal, very small (G, {G ₁,..., G _k })-trees, i.e. trees whose arc stabilizers are either trivial, or cyclic, closed under taking roots, and not conjugate into any of the G _i ’s, and whose tripod stabilizers are trivial. Its topological dimension is equal to 3N + 2k ? 4, and the boundary has dimension 3N + 2k ? 5. We also prove that any very small (G, {G ₁,..., G _k })-tree has at most 2N + 2k?2 orbits of branch points.