On the maximum number of the pairwise noncommuting elements in a finite group

2016 ◽  
Vol 15 (10) ◽  
pp. 1650197 ◽  
Author(s):  
Seyyed Majid Jafarian Amiri ◽  
Halimeh Madadi

For a finite group [Formula: see text], let [Formula: see text] be the maximum size of a set of pairwise noncommuting elements in [Formula: see text]. In this paper, we give an upper bound of [Formula: see text] for an arbitrary nilpotent group [Formula: see text]. As an application of this result, we give a partial answer to Question 2.8 of [A. R. Ashrafi, On finite groups with a given number of centralizers, Algebra Colloq. 7(2) (2000) 139–146]. Also we compute [Formula: see text] when [Formula: see text] is a Frobenius group. Finally we describe structural properties of all groups [Formula: see text] with [Formula: see text].

2006 ◽  
Vol 74 (1) ◽  
pp. 121-132 ◽  
Author(s):  
A. Abdollahi ◽  
A. Azad ◽  
A. Mohammadi Hassanabadi ◽  
M. Zarrin

This paper is an attempt to provide a partial answer to the following question put forward by Bernhard H. Neumann in 2000: “Let G be a finite group of order g and assume that however a set M of m elements and a set N of n elements of the group is chosen, at least one element of M commutes with at least one element of N. What relations between g, m, n guarantee that G is Abelian?” We find an exponential function f(m,n) such that every such group G is Abelian whenever |G| > f(m,n) and this function can be taken to be polynomial if G is not soluble. We give an upper bound in terms of m and n for the solubility length of G, if G is soluble.


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


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 22 (03) ◽  
pp. 449-458 ◽  
Author(s):  
A. Erfanian ◽  
M. Farrokhi D.G.

It is shown that a finite group G has four relative commutativity degrees if and only if G/Z(G) is a p-group of order p3 and G has no abelian maximal subgroups, or G/Z(G) is a Frobenius group with Frobenius kernel and complement isomorphic to ℤp × ℤp and ℤq, respectively, and the Sylow p-subgroup of G is abelian, where p and q are distinct primes.


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.


1969 ◽  
Vol 9 (3-4) ◽  
pp. 467-477 ◽  
Author(s):  
J. N. Ward

Let G denote a finite group with a fixed-point-free automorphism of prime order p. Then it is known (see [3] and [8]) that G is nilpotent of class bounded by an integer k(p). From this it follows that the length of the derived series of G is also bounded. Let l(p) denote the least upper bound of the length of the derived series of a group with a fixed-point-free automorphism of order p. The results to be proved here may now be stated: Theorem 1. Let G denote a soluble group of finite order and A an abelian group of automorphisms of G. Suppose that (a) ∣G∣ is relatively prime to ∣A∣; (b) GAis nilpotent and normal inGω, for all ω ∈ A#; (c) the Sylow 2-subgroup of G is abelian; and (d) if q is a prime number andqk+ 1 divides the exponent of A for some integer k then the Sylow q-subgroup of G is abelian.


2017 ◽  
Vol 16 (03) ◽  
pp. 1750043
Author(s):  
Martino Garonzi ◽  
Dan Levy ◽  
Attila Maróti ◽  
Iulian I. Simion

We consider factorizations of a finite group [Formula: see text] into conjugate subgroups, [Formula: see text] for [Formula: see text] and [Formula: see text], where [Formula: see text] is nilpotent or solvable. We derive an upper bound on the minimal length of a solvable conjugate factorization of a general finite group which, for a large class of groups, is linear in the non-solvable length of [Formula: see text]. We also show that every solvable group [Formula: see text] is a product of at most [Formula: see text] conjugates of a Carter subgroup [Formula: see text] of [Formula: see text], where [Formula: see text] is a positive real constant. Finally, using these results we obtain an upper bound on the minimal length of a nilpotent conjugate factorization of a general finite group.


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.


1973 ◽  
Vol 9 (2) ◽  
pp. 267-274 ◽  
Author(s):  
Fletcher Gross

Suppose G = AB where G is a finite group and A and B are nilpotent subgroups. It is proved that the derived length of G modulo its Frattini subgroup is at most the sum of the classes of A and B. An upper bound for the derived length of G in terms of the derived lengths of A and B also is obtained.


2020 ◽  
pp. 1-11
Author(s):  
ANDREA LUCCHINI

Abstract Given a finite group G, we denote by Δ(G) the graph whose vertices are the proper subgroups of G and in which two vertices H and K are joined by an edge if and only if G = ⟨H, K⟩. We prove that if there exists a finite nilpotent group X with Δ(G) ≅ Δ(X), then G is supersoluble.


Sign in / Sign up

Export Citation Format

Share Document