Uniquely factorizable elements and solvability of finite groups

In a finite group G every element can be factorized in such a way that there is one factor for each prime divisor p of | G |, and the order of this factor is p^α for some integer α ≧ 0. We define g ∈G to be uniquely factorizable if it has just one such factorization (whose factors must be pairwise commuting). We consider the existence of uniquely factorizable elements and its relation to the solvability of the group. We prove that G is solvable if and only if the set of all uniquely factorizable elements of G is the Fitting subgroup of G. We also prove various sufficient conditions for the non-existence of uniquely factorizable elements in non-solvable groups. Received: 9 June 2005     

On finite groups whose Sylow subgroups have a bounded number of generators

Let G be a finite non-nilpotent group such that every Sylow subgroup of G is generated by at most δ elements, and such that p is the largest prime dividing |G|. We show that G has a non-nilpotent image G/N, such that N is characteristic and of index bounded by a function of δ and p. This result will be used to prove that G has a nilpotent normal subgroup of index bounded in terms of δ and p.     

Sylow products and the solvable radical

We study products of Sylow subgroups of a finite group G. First we prove that G is solvable if and only if G = P₁ ... P_m for any choice of Sylow p_i-subgroups P_i , where p₁,..., p_m are all of the distinct prime divisors of |G|, and for any ordering of the p_i . Then, for a general finite group G, we show that the intersection of all Sylow products as above is a subgroup of G which is closely related to the solvable radical of G. Received: 18 November 2004     

Finite Groups with Some S-quasinormally Embedded Subgroups

Suppose that G is a finite group and H is a subgroup of G. H is said to be S-quasinormal in G if it permutes with every Sylow subgroup of G; H is said to be S-quasinormally embedded in G if for each prime p dividing |H|, a Sylow p-subgroup of H is also a Sylow p-subgroup of some S-quasinormal subgroup of G. We investigate the influence of S-quasinormally embedded subgroups on the structure of finite groups. Some recent results are generalized.     

Sylow Products and the Solvable Residual

We study the connection between products of Sylow subgroups of a finite group G and the solvable residual of G. Let Π(𝒫) be a product of Sylow subgroups of G such that each prime divisor of |G| is represented exactly once in Π(𝒫). We prove that there exists a unique normal subgroup N of G which is minimal subject to the requirement Π(𝒫) N = G. Furthermore, N is perfect, and the product of all of these subgroups is the solvable residual of G. We also prove that the solvable residual of G is generated by all elements which arise from non-trivial factorizations of 1 _G in such products of Sylow subgroups.     

A Remark on З-Permutability of Finite Groups

Let З be a complete set of Sylow subgroups of a finite group G, that is, З contains exactly one and only one Sylow p-subgroup of G for each prime p. A subgroup of a finite group G is said to be З-permutable if it permutes with every member of З. Recently, using the Classification of Finite Simple Groups, Heliel, Li and Li proved tile following result： If the cyclic subgroups of prime order or order 4 iif p = 2） of every member of З are З-permutable subgroups in G, then G is supersolvable. In this paper, we give an elementary proof of this theorem and generalize it in terms of formation.     

Block separation in solvable groups

If π is a set of primes, a finite group G is block π-separated if for every two distinct irreducible complex characters α, β ∈ Irr(G) there exists a prime p ∈ π such that α and β lie in different Brauer p-blocks. A group G is block separated if it is separated by the set of prime divisors of |G|. Given a set π with n different primes, we construct an example of a solvable π-group G which is block separated but it is not separated by every proper subset of π. Received: 22 December 2004     

Lower bounds on the number of maximal subgroups in a finite group

For a finite group G, let m(G) denote the set of maximal subgroups of G and π(G) denote the set of primes which divide |G|. When G is a cyclic group, an elementary calculation proves that |m(G)| = |π(G)|. In this paper, we prove lower bounds on |m(G)| when G is not cyclic. In general, ${|m(G)| \geq |\pi(G)|+p}$ | m ( G ) | ≥ | π ( G ) | + p , where ${p \in \pi(G)}$ p ∈ π ( G ) is the smallest prime that divides |G|. If G has a noncyclic Sylow subgroup and ${q \in \pi(G)}$ q ∈ π ( G ) is the smallest prime such that ${Q \in {\rm syl}_q(G)}$ Q ∈ syl q ( G ) is noncyclic, then ${|m(G)| \geq |\pi(G)|+q}$ | m ( G ) | ≥ | π ( G ) | + q . Both lower bounds are best possible.     

Finite Groups with Few Non-Abelian Subgroups

Let G be a finite group and τ(G) denote the number of conjugacy classes of all non-abelian subgroups of G. The symbol π(G) denotes the set of the prime divisors of |G|. In this paper, finite groups with τ(G) ≤ |π(G)| are classified completely. Furthermore, finite nonsolvable groups with τ(G) = |π(G)| +1 are determined.     

On permutable subgroups of finite groups

Let \frak Z \frak Z be a complete set of Sylow subgroups of a finite group G, that is, for each prime p dividing the order of G, \frak Z \frak Z contains exactly one and only one Sylow p-subgroup of G. A subgroup H of a finite group G is said to be \frak Z \frak Z -permutable if H permutes with every member of \frak Z \frak Z . The purpose here is to study the influence of \frak Z \frak Z -permutability of some subgroups on the structure of finite groups. Some recent results are generalized.     

Semipermutable π-subgroups

Let H be a π-subgroup of G, and assume that HQ = QH for every Sylow q-subgroup Q of G for all primes q not dividing |H|. We show that the normal closure H ^G of H in G has a nilpotent π-complement, and in the case where π consists of just one prime, H ^G is solvable.     

Domination in graphs with minimum degree two

The domination number γ(G) of a graph G = (V, E) is the minimum cardinality of a subset of V such that every vertex is either in the set or is adjacent to some vertex in the set. We show that if a connected graph G has minimum degree two and is not one of seven exceptional graphs, then γ(G)γ 2/5|V|. We also characterize those connected graphs with γ(G)γ 2/5|V|.     

Generalized Bhaskar Rao Designs with Block Size 3 over Finite Abelian Groups

We show that if G is a finite Abelian group and the block size is 3, then the necessary conditions for the existence of a (v,3,λ;G) GBRD are sufficient. These necessary conditions include the usual necessary conditions for the existence of the associated (v,3,λ) BIBD plus λ≡ 0 (mod|G|), plus some extra conditions when |G| is even, namely that the number of blocks be divisible by 4 and, if v = 3 and the Sylow 2-subgroup of G is cyclic, then also λ≡ 0 (mod2|G|).     

Bounding an Index by the Largest Character Degree of a p-Solvable Group

In this article, we show that if p is a prime and G is a p-solvable group, then |G: O _p (G)| _p  ≤ (b(G) ^p /p)^1/(p?1), where b(G) is the largest character degree of G. If p is an odd prime that is not a Mersenne prime or if the nilpotence class of a Sylow p-subgroup of G is at most p, then |G: O _p (G)| _p  ≤ b(G).     

Finite Groups with Some Subgroups of Prime Power Order S-Quasinormally Embedded

Abstract

A subgroup of a group G is said to be S-quasinormal in G if it permutes with every Sylow subgroup of G. A subgroup H of a group G is said to be S-quasinormally embedded in G if every Sylow subgroup of H is a Sylow subgroup of some S-quasinormal subgroup of G. In this paper we examine the structure of a finite group G under the assumption that certain abelian subgroups of prime power order are S-quasinormally embedded in G. Our results improve and extend recent results of Ramadan [Ramadan, M. (2001). The influence of S-quasinormality of some subgroups of prime power order on the structure of finite groups. Arch. Math. 77:143–148].     

Finite Groups Whose Generalized Hypercenter Contains Some Subgroups of Prime Power Order

A subgroup of a group G is said to be S-quasinormal in G if it permutes with every Sylow subgroup of G. A subgroup H of a group G is said to be S-quasinormally embedded in G if every Sylow subgroup of H is a Sylow subgroup of some S-quasinormal subgroup of G. In this article, we investigate the structure of the finite group G under the assumption that certain abelian subgroups of prime power order are S-quasinormally embedded in G and lie in the generlized hypercenter of G.     

The average number of Sylow subgroups of a finite group

We prove that if the average Sylow number (ignoring the Sylow numbers that are one) of a finite group G is ?7, then G is solvable.     

On p-nilpotency of finite groups with some subgroups π-quasinormally embedded

Summary A subgroup H of a group G is said to be π-quasinormal in G if it permutes with every Sylow subgroup of G, and H is said to be π-quasinormally embedded in G if for each prime dividing the order of H, a Sylow p-subgroup of H is also a Sylow p-subgroup of some π-quasinormal subgroups of G. We characterize p-nilpotentcy of finite groups with the assumption that some maximal subgroups, 2-maximal subgroups, minimal subgroups and 2-minimal subgroups are π-quasinormally embedded, respectively.     

Recognizing Abelian Sylow Subgroups in Finite Groups

Let p be a prime. We prove that if a finite group G has non-abelian Sylow p-subgroups, and the class size of every p-element in G is coprime to p, then G contains a simple group as a subquotient which exhibits the same property. In addition, we provide a list of all the simple groups and primes such that the Sylow p-subgroups are non-abelian and all p-elements have class size coprime to p.     

On Nearly S-Permutable Subgroups of Finite Groups

We say that a subgroup H of a finite group G is nearly S-permutable in G if for every prime p such that (p, |H|) = 1 and for every subgroup K of G containing H the normalizer N _K (H) contains some Sylow p-subgroup of K. We study the structure of G under the assumption that some subgroups of G are nearly S-permutable in G.