The Average Sylow Multiplicity Character and the Solvable Residual

Let G be a finite group, and let p₁,…, p_m be the distinct prime divisors of |G|. Given a sequence 𝒫 =P₁,…, P_m, of Sylow p_i-subgroups of G, and g ∈ G, denote by m_𝒫(g) the number of factorizations g = g₁…g_m such that g_i ∈ P_i. The properly normalized average of m_𝒫 over all 𝒫 is a complex character over G whose kernel contains the solvable radical of G [7 Levy , D. ( 2010 ). The average Sylow multiplicity character and solvability of finite groups . Communications in Algebra. 38 : 632 – 644 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]]. The present paper characterizes the solvable residual of G in terms of this character.     

The Kernel of the Average Sylow Multiplicity Character and the Solvable Radical

Let G be a finite group, and let p ₁,…, p _m be the distinct prime divisors of |G|. Given a sequence 𝒫 =P ₁,…, P _m , where P _i is a Sylow p _i -subgroup of G, and g ∈ G, denote by m _𝒫(g) the number of factorizations g = g ₁…g _m such that g _i  ∈ P _i . Previously, it was shown that the properly normalized average of m _𝒫 over all 𝒫 is a complex character over G termed the Average Sylow Multiplicity Character. The present article identifies the kernel of this character as the subgroup of G consisting of all g ∈ G such that m _𝒫(gx) = m _𝒫(x) for all 𝒫 and all x ∈ G. This result implies a close connection between the kernel and the solvable radical of G.     

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.     

Solitary Solvable Groups

A subgroup H of a group G is a solitary subgroup of G if G does not contain another isomorphic copy of H. Combining together the concepts of solitary subgroups and solvable groups, we define (normal) solitary solvable groups and (normal) strongly solitary solvable groups. We derive several results that hold for these groups and we discuss classes of groups that, under certain hypotheses, are (normal) solitary solvable and (normal) strongly solitary solvable. We also derive several results about p-groups that are solitary solvable.     

Normal Sylow subgroups and monomial Brauer characters

Let G be a finite group, p be a prime divisor of |G|, and P be a Sylow p-subgroup of G. We prove that P is normal in a solvable group G if |G : ker φ|p' = φ(1)p' for every nonlinear irreducible monomial p-Brauer character φ of G, where ker φ is the kernel of φ and φ(1)p' is the p'-part of φ(1).     

The order of elements in Sylow p-subgroups of the symmetric group

Define a random variable ξ_n by choosing a conjugacy class C of the Sylow p-subgroup of S_pn by random, and let ξ_n be the logarithm of the order of an element in C. We show that ξ_n has bounded variance and mean order log n /log p +O(1), which differs greatly from the average order of elements chosen with equal probability. This revised version was published online in June 2006 with corrections to the Cover Date.     

The Sylow p-Subgroups of a Limiting (Stable) Linear Group over an Algebraically Closed Field

In Math. Zh. 36(3) (1963), 240–246, we considered the classification of Sylow p-subgroups of a countable (finitary) symmetric group. Later, we extended this classification to Sylow p-subgroups of a limiting (stable) linear group over a finite field GF(q) with char(GF(q)) p. In this paper, the classification of the Sylow p-subgroups of the limiting (stable) linear group GL() is given for an algebraically closed field of characteristic p. Every Sylow p-subgroup is characterized by a p-adic integer together with a finite or countable cardinal.     

Finite Sylow Subgroups in Simple Locally Finite Groups of Lie Type

The main result of the paper is the followingTheorem. Let S = {r₀, r₁, ..., r_n} be a finite nonempty set of primes and let L be a Lie type of Chevalley groups. Then there exists a locally finite field F of characteristic r₀ such that Sylow r-subgroups of the simple group L(F) of type L over F are finite if and only if r ? S.     

Maximal and Sylow Subgroups of Solvable Finite Groups

The structure of finite solvable groups in which any Sylow subgroup is the product of two cyclic subgroups is studied. In particular, it is proved that the nilpotent length of such a group is no greater than 4. It is also proved that the nilpotent length of a finite solvable group in which the index of any maximal subgroup is either a prime or the square of a prime or the cube of a prime does not exceed 5.     

On the Non-existence of Semiregular Relative Difference Sets in Groups with All Sylow Subgroups Cyclic

We show that a group with all Sylow subgroups cyclic (other than ) cannot contain a normal semiregular relative difference set (RDSs). We also give a new proof that dihedral groups cannot contain (normal) semiregular RDSs either.     

Finite groups with seminormal Sylow subgroups

In this paper, we prove the following theorem： Let p be a prime number, P a Sylow psubgroup of a group G and π = π（G） ／ {p}. If P is seminormal in G, then the following statements hold： 1） G is a p-soluble group and P＇ ≤ Op（G）; 2） lp（G） ≤ 2 and lπ（G） ≤ 2; 3） if a π-Hall subgroup of G is q-supersoluble for some q ∈ π, then G is q-supersoluble.     

特征标次数的重数与可解群结构

非线性不可约特征标次数的重数全部为1的有限群的分类是熟知的.对可解群,本文讨论更一般的,即非线性不可约特征标次数的重数都与群阶互素的有限群的纯群论性质.特别地,得到了非线性不可约特征标次数的重数均小于2p的奇阶群G的分类结果.这里p为群阶|G|的最小素因子.     

Prime Divisibility Among Degrees of Solvable Groups

Abstract

Let G be a finite, nonabelian, solvable group. Following work by D. Benjamin, we conjecture that some prime must divide at least a third of the irreducible character degrees of G. Benjamin was able to show the conjecture is true if all primes divide at most 3 degrees. We extend this result by showing if primes divide at most 4 degrees, then G has at most 12 degrees. We also present an example showing our result is best possible.     

Solvable Permutation Groups and Orbits on Power Sets

We consider the class ? of finitely generated toral relatively hyperbolic groups. We show that groups from ? are commutative transitive and generalize a theorem proved by Benjamin Baumslag in [3 Baumslag, B. (1967). Residually free groups. Prceedings of the London Mathematical Society 17(3):402–418.[Crossref] , [Google Scholar]] to this class. We also discuss two definitions of (fully) residually-𝒞 groups, i.e., the classical Definition 1.1 and a modified Definition 1.4. Building upon results obtained by Ol'shanskii [18 Ol'shanskii, A. Yu. (1993). On residualing homomorphisms and G-subgroups of hyperbolic groups. International Journal of Algebra Computation 3:365–409.[Crossref] , [Google Scholar]] and Osin [22 Osin, D. V. (2010). Small cancellations over relatively hyperbolic groups and embedding theorems. Annals of mathematics 172:1–39.[Crossref], [Web of Science ®] , [Google Scholar]], we prove the equivalence of the two definitions for 𝒞 = ?. This is a generalization of the similar result obtained by Ol'shanskii for 𝒞 being the class of torsion-free hyperbolic groups. Let Γ ∈ ? be non-abelian and non-elementary. Kharlampovich and Miasnikov proved in [14 Kharlampovich, O., Myasnikov, A. (2012). Limits of relatively hyperbolic groups and Lyndon's completions. Journal of the European Math. Soc. 14:659–680.[Crossref], [Web of Science ®] , [Google Scholar]] that a finitely generated fully residually-Γ group G embeds into an iterated extension of centralizers of Γ. We deduce from their theorem that every finitely generated fully residually-Γ group embeds into a group from ?. On the other hand, we give an example of a finitely generated torsion-free fully residually-? group that does not embed into a group from ?; ? is the class of hyperbolic groups.     

Indecomposable Sylow 2-Subgroups of Simple Groups

Let S be a Sylow 2-subgroup of a finite simple group and let S=S₁×S₂××S_k be the direct product and each component S_i, i=1,2,...,k is indecomposable. In this article, we prove that each S_i is also a Sylow 2-subgroup of some simple group. Mathematics Subject Classifications (2000) 20E32, 20D20.     

On the Fitting Height of a Group with Two Sylow Numbers

We show that there is no absolute bound on the Fitting height of a group with two Sylow numbers.     

On Solvability of Finite Groups with Few Non-Normal Subgroups

For a finite group G, let v(G) denote the number of conjugacy classes of non-normal subgroups of G and vc(G) denote the number of conjugacy classes of non-normal noncyclic subgroups of G. In this paper, we show that every finite group G satisfying v(G) ≤2|π(G)| or vc(G) ≤ |π(G)| is solvable, and for a finite nonsolvable group G, v(G) = 2|π(G)| +1 if and only if G ? A ₅.