scholarly journals Recognition of the Simple Groups 2D8((2n)2)

Author(s):  
Behnam Ebrahimzadeh

Abstract One of the important problems in finite groups theory is group characterization by specific property. Properties, such as element orders, set of elements with the same order, the largest element order, etc. In this paper, we prove that the simple groups 2 D 8((2 n )2)where, 28 n + 1 is a prime number are uniquely determined by its order and the largest elements order.

Author(s):  
Juan Martínez ◽  
Alexander Moretó

In 2014, Baumslag and Wiegold proved that a finite group G is nilpotent if and only if o(xy) = o(x)o(y) for every x, y ∈ G with (o(x), o(y)) = 1. This has led to a number of results that characterize the nilpotence of a group (or the existence of nilpotent Hall subgroups, or the existence of normal Hall subgroups) in terms of prime divisors of element orders. Here, we look at these results with a new twist. The first of our main results asserts that G is nilpotent if and only if o(xy) ⩽ o(x)o(y) for every x, y ∈ G of prime power order with (o(x), o(y)) = 1. As an immediate consequence, we recover the Baumslag–Wiegold theorem. The proof of this result is elementary. We prove some variations of this result that depend on the classification of finite simple groups.


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].


2015 ◽  
Vol 18 (5) ◽  
Author(s):  
Mariya A. Grechkoseeva ◽  
Andrey V. Vasil'ev

AbstractFinite groups are said to be isospectral if they have the same sets of element orders. A finite nonabelian simple group


2003 ◽  
Vol 2003 (45) ◽  
pp. 2863-2872 ◽  
Author(s):  
Amir Khosravi ◽  
Behrooz Khosravi

We suppose thatp=2α3β+1, whereα≥1, β≥0, andp≥7is a prime number. Then we prove that the simple groupsAn, wheren=p,p+1, orp+2, and finite groupsSn, wheren=p,p+1, are also uniquely determined by their order components. As corollaries of these results, the validity of a conjecture of J. G. Thompson and a conjecture of Shi and Bi (1990) both onAn, wheren=p,p+1, orp+2, is obtained. Also we generalize these conjectures for the groupsSn, wheren=p,p+1.


Author(s):  
Jiuya Wang

AbstractElementary abelian groups are finite groups in the form of {A=(\mathbb{Z}/p\mathbb{Z})^{r}} for a prime number p. For every integer {\ell>1} and {r>1}, we prove a non-trivial upper bound on the {\ell}-torsion in class groups of every A-extension. Our results are pointwise and unconditional. This establishes the first case where for some Galois group G, the {\ell}-torsion in class groups are bounded non-trivially for every G-extension and every integer {\ell>1}. When r is large enough, the unconditional pointwise bound we obtain also breaks the previously best known bound shown by Ellenberg and Venkatesh under GRH.


2009 ◽  
Vol 322 (3) ◽  
pp. 802-832 ◽  
Author(s):  
William M. Kantor ◽  
Ákos Seress

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.


2010 ◽  
Vol 20 (07) ◽  
pp. 847-873 ◽  
Author(s):  
Z. AKHLAGHI ◽  
B. KHOSRAVI ◽  
M. KHATAMI

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, p′ are joined by an edge if there is an element in G of order pp′. In [G. Y. Chen et al., Recognition of the finite almost simple groups PGL2(q) by their spectrum, Journal of Group Theory, 10 (2007) 71–85], it is proved that PGL(2, pk), where p is an odd prime and k > 1 is an integer, is recognizable by its spectrum. It is proved that if p > 19 is a prime number which is not a Mersenne or Fermat prime and Γ(G) = Γ(PGL(2, p)), then G has a unique nonabelian composition factor which is isomorphic to PSL(2, p). In this paper as the main result, we show that if p is an odd prime and k > 1 is an odd integer, then PGL(2, pk) is uniquely determined by its prime graph and so these groups are characterizable by their prime graphs.


2020 ◽  
Vol 29 (04) ◽  
pp. 2050021
Author(s):  
Mattia Mecchia

We consider 3-manifolds admitting the action of an involution such that its space of orbits is homeomorphic to [Formula: see text] Such involutions are called hyperelliptic as the manifolds admitting such an action. We consider finite groups acting on 3-manifolds and containing hyperelliptic involutions whose fixed-point set has [Formula: see text] components. In particular we prove that a simple group containing such an involution is isomorphic to [Formula: see text] for some odd prime power [Formula: see text], or to one of four other small simple groups.


Sign in / Sign up

Export Citation Format

Share Document