An answer to a conjecture on the sum of element orders

Author(s):  
Morteza Baniasad Azad ◽  
Behrooz Khosravi ◽  
Morteza Jafarpour

Let [Formula: see text] be a finite group and [Formula: see text], where [Formula: see text] denotes the order of [Formula: see text]. The function [Formula: see text] was introduced by Tărnăuceanu. In [M. Tărnăuceanu, Detecting structural properties of finite groups by the sum of element orders, Israel J. Math. (2020), https://doi.org/10.1007/s11856-020-2033-9 ], some lower bounds for [Formula: see text] are determined such that if [Formula: see text] is greater than each of them, then [Formula: see text] is cyclic, abelian, nilpotent, supersolvable and solvable. Also, an open problem aroused about finite groups [Formula: see text] such that [Formula: see text] is equal to the amount of each lower bound. In this paper, we give an answer to the equality condition which is a partial answer to the open problem posed by Tărnăuceanu. Also, in [M. Baniasad Azad and B. Khosravi, A criterion for p-nilpotency and p-closedness by the sum of element orders, Commun. Algebra (2020), https://doi.org/10.1080/00927872.2020.1788571 ], it is shown that: If [Formula: see text], where [Formula: see text] is a prime number, then [Formula: see text] and [Formula: see text] is cyclic. As the next result, we show that if [Formula: see text] is not a [Formula: see text]-nilpotent group and [Formula: see text], then [Formula: see text].

2008 ◽  
Vol 07 (06) ◽  
pp. 735-748 ◽  
Author(s):  
BEHROOZ KHOSRAVI

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, q are joined by an edge if there is an element in G of order pq. It is proved that if p > 11 and p ≢ 1 (mod 12), then PSL(2,p) is uniquely determined by its prime graph. Also it is proved that if p > 7 is a prime number and Γ(G) = Γ(PSL(2,p2)), then G ≅ PSL(2,p2) or G ≅ PSL(2,p2).2, the non-split extension of PSL(2,p2) by ℤ2. In this paper as the main result we determine finite groups G such that Γ(G) = Γ(PSL(2,q)), where q = pk. As a consequence of our results we prove that if q = pk, k > 1 is odd and p is an odd prime number, then PSL(2,q) is uniquely determined by its prime graph and so these groups are characterizable by their prime graph.


Author(s):  
MORTEZA BANIASAD AZAD ◽  
BEHROOZ KHOSRAVI

For a finite group $G$ , define $l(G)=(\prod _{g\in G}o(g))^{1/|G|}/|G|$ , where $o(g)$ denotes the order of $g\in G$ . We prove that if $l(G)>l(A_{5}),l(G)>l(A_{4}),l(G)>l(S_{3}),l(G)>l(Q_{8})$ or $l(G)>l(C_{2}\times C_{2})$ , then $G$ is solvable, supersolvable, nilpotent, abelian or cyclic, respectively.


2018 ◽  
Vol 25 (04) ◽  
pp. 541-546
Author(s):  
Jiangtao Shi ◽  
Klavdija Kutnar ◽  
Cui Zhang

A finite group G is called a special local 2-nilpotent group if G is not 2-nilpotent, the Sylow 2-subgroup P of G has a section isomorphic to the quaternion group of order 8, [Formula: see text] and NG(P) is 2-nilpotent. In this paper, it is shown that SL2(q), [Formula: see text], is a special local 2-nilpotent group if and only if [Formula: see text], and that GL2(q), [Formula: see text], is a special local 2-nilpotent group if and only if q is odd. Moreover, the solvability of finite groups is also investigated by giving two generalizations of a result from [A note on p-nilpotence and solvability of finite groups, J. Algebra 321 (2009) 1555–1560].


1980 ◽  
Vol 32 (3) ◽  
pp. 714-733 ◽  
Author(s):  
N. B. Tinberg

1. Introduction.Let p be a prime number. A finite group G = (G, B, N, R, U) is called a split(B, N)-pair of characteristic p and rank n if(i) G has a (B, N)-pair (see [3, Definition 2.1, p. B-8]) where H= B ⋂ N and the Weyl group W= N/H is generated by the set R= ﹛ω 1,… , ω n) of “special generators.”(ii) H= ⋂n∈N n-1Bn(iii) There exists a p-subgroup U of G such that B = UH is a semidirect product, and H is abelian with order prime to p.A (B, N)-pair satisfying (ii) is called a saturated (B, N)-pair. We call a finite group G which satisfies (i) and (iii) an unsaturated split (B, N)- pair. (Unsaturated means “not necessarily saturated”.)


2013 ◽  
Vol 13 (02) ◽  
pp. 1350100 ◽  
Author(s):  
GUOHUA QIAN ◽  
YANMING WANG

Let p be a fixed prime, G a finite group and P a Sylow p-subgroup of G. The main results of this paper are as follows: (1) If gcd (p-1, |G|) = 1 and p2 does not divide |xG| for any p′-element x of prime power order, then G is a solvable p-nilpotent group and a Sylow p-subgroup of G/Op(G) is elementary abelian. (2) Suppose that G is p-solvable. If pp-1 does not divide |xG| for any element x of prime power order, then the p-length of G is at most one. (3) Suppose that G is p-solvable. If pp-1 does not divide χ(1) for any χ ∈ Irr (G), then both the p-length and p′-length of G are at most 2.


Author(s):  
Ilya B. Gorshkov ◽  
Natalia V. Maslova

The spectrum of a finite group is the set of its element orders. In this paper, we prove that the direct product of two copies of the finite simple sporadic group [Formula: see text] is uniquely determined by its spectrum in the class of all finite groups.


2021 ◽  
Vol 31 (2) ◽  
pp. 167-194
Author(s):  
C. S. Anabanti ◽  

Every locally maximal product-free set S in a finite group G satisfies G=S∪SS∪S−1S∪SS−1∪S−−√, where SS={xy∣x,y∈S}, S−1S={x−1y∣x,y∈S}, SS−1={xy−1∣x,y∈S} and S−−√={x∈G∣x2∈S}. To better understand locally maximal product-free sets, Bertram asked whether every locally maximal product-free set S in a finite abelian group satisfy |S−−√|≤2|S|. This question was recently answered in the negation by the current author. Here, we improve some results on the structures and sizes of finite groups in terms of their locally maximal product-free sets. A consequence of our results is the classification of abelian groups that contain locally maximal product-free sets of size 4, continuing the work of Street, Whitehead, Giudici and Hart on the classification of groups containing locally maximal product-free sets of small sizes. We also obtain partial results on arbitrary groups containing locally maximal product-free sets of size 4, and conclude with a conjecture on the size 4 problem as well as an open problem on the general case.


1981 ◽  
Vol 22 (2) ◽  
pp. 151-154 ◽  
Author(s):  
Shigeo Koshitani

Let G be a finite group and p a prime number. About five years ago I. M. Isaacs and S. D. Smith [5] gave several character-theoretic characterizations of finite p-solvable groups with p-length 1. Indeed, they proved that if P is a Sylow p-subgroup of G then the next four conditions (l)–(4) are equivalent:(1) G is p-solvable of p-length 1.(2) Every irreducible complex representation in the principal p-block of G restricts irreducibly to NG(P).(3) Every irreducible complex representation of degree prime to p in the principal p-block of G restricts irreducibly to NG(P).(4) Every irreducible modular representation in the principal p-block of G restricts irreducibly to NG(P).


2014 ◽  
Vol 07 (01) ◽  
pp. 1450017 ◽  
Author(s):  
Rashid Rezaei ◽  
Ahmad Erfanian

The purpose of this paper is to give a relation between the notion of the commutativity degree of a finite group G (denoted by d(G)) and that of isoclinism between G and an extra special p-group, where p is the smallest prime number dividing |G|. Moreover, some improvements of the results on the relative commutativity degree and relative n th nilpotency degree of a subgroup of finite groups given in [A. Erfanian, R. Rezaei and P. Lescot, On the relative commutativity degree of a subgroup of a finite group, Comm. Algebra35 (2007) 4183–4197] are also stated in this paper.


2019 ◽  
Vol 22 (5) ◽  
pp. 941-951
Author(s):  
Guohua Qian

Abstract For a given prime p, a finite group G is said to be a {\widetilde{\mathcal{C}}_{p}} -group if every cyclic p-subgroup of G is self-normalizing in its subnormal closure. In this paper, we get some descriptions of {\widetilde{\mathcal{C}}_{p}} -groups, show that the class of {\widetilde{\mathcal{C}}_{p}} -groups is a subgroup-closed formation and that {O^{p^{\prime}}(G)} is a solvable p-nilpotent group for every {\widetilde{\mathcal{C}}_{p}} -group G. We also prove that if a finite group G is a {\widetilde{\mathcal{C}}_{p}} -group for all primes p, then every subgroup of G is self-normalizing in its subnormal closure.


Sign in / Sign up

Export Citation Format

Share Document