Problems of Connectivity between the Sylow Graph , the Prime Graph and the Non-Commuting Graph of a Group

The Sylow graph of a finite group originates from recent investigations on certain classes of groups, defined in terms of normalizers of Sylow subgroups. The connectivity of this graph has been proved only last year with the use of the classification of finite simple groups (CFSG). A series of interesting questions arise naturally. First of all, it is not clear whether it is possible to avoid CFSG or not. On the other hand, what happens for infinite groups? Since the status of knowledge of the non-commuting graph and of the prime graph is satisfactory, is it possible to find relations between these two graphs and the Sylow graph? In the present note we make the point of the situation and formulate the above questions in appropriate way.


Introduction
There is a large literature which is devoted to study the ways in which one can associate a graph with a group, for the purpose of investigating the algebraic structure using properties of the associated graph (see [1][2][3][4]).Many authors studied the so-called commuting graph of a group G, whose vertices are the non-trivial elements of G and two vertices x, y are connected if xy = yx (see [5][6][7][8]).The connectivity of gives information of how far is G from being abelian, therefore the commuting graph of abelian groups is always connected.In particular, is a connected component of and this motivates us to focuse only on , which gives significant information on the connectivity of

By duality, the non-commuting graph
, associated to a group G, is the complement of , i.e., a graph with vertex set Herzog and others [8] are the non-trivial conjugacy classes of G and we join two different vertices C, D, whenever there exist an x in C and a y in D such that xy = yx.Further generalizations can be found in [5][6][7]26,27], where notions of character theory are involved.

 
of G, whose vertices are the primes dividing the order of G and two vertices p and q of   G  are joined by an edge if and only if G has an element of order pq.

 
was introduced by Gruenberg and Kegel in an unpublished manuscript [28] of the 1975, not easily available, so that the main information about can be found directly in [29][30][31][32][33][34][35][36][37], which are fundamental contributions for the study of .Herzog and others [8] found an important relation between , where two distinct non-central elements x and y of G are joined by an edge if and only if xy ≠ yx.Obviously, we are always considering simple graphs through this paper, i.e., graphs with no loops or directed or repeated edges.The non-commuting graph of a non-abelian finite group has received much attention in the last years and [9][10][11][12][13][14][15][16][17][18][19][20] are some significant contributions.Moreover, there are recent results in [21], concerning graphs associated with conjugacy classes of groups and it is involved the probability of commuting pairs of [22][23][24][25].
For instance, if G is an infinite group either residually solvable or residually finite, then   G    is complete if and only if G is abelian.
On the other hand, we know from [28][29][30][31][32][33] that, the prime graph H    of a finite solvable group H has at most two connected components and, using CFSG, Williams [37] proved that H   has at most 6 components, when H is arbitrary (not necessarily solvable).The proof of Williams analyses simple groups case-by-case and refers to the atlas [48].Furthermore, Lucido [32] showed that the diameter of each connected component of is at most 5 when H is arbitrary and, in the solvable case, this diameter becomes at most 3.
Moghaddamfar, Khosravi and other authors worked on the same line of investigation in [38,[42][43][44][45]47] and they provide interesting characterizations of simple groups, only looking at their prime graph.
In the infinite case, a systematic treatment seems to be absent in literature.For instance, Herzog and others [8] deal with a meaningful theory of the prime graph and of the commuting graph for infinite locally finite groups, once we want to see whether the results of the finite case may be extended or not.They prove as follows.
Theorem 1. Roughly speaking, Theorem 1.2 and its converse would allow us to recognize an infinite group from its commuting graph.To the best of our knowledge, we haven't found whether an infinite locally finite simple group can be recognized from information on its commuting graph or not.This is a missing point which we noted.
Problem 1.3.Recognition of an infinite locally finite simple group from its commuting graph and from its prime graph.

Some Open Questions of Iranmanesh
If G is a finite group, then we have seen that   have relations.Some recent contributions of Iranmanesh and others [14,15,46] show that also and where it is shown that for all even integers n bigger than 4, a finite group G is isomorphic to n , provided is isomorphic to n (here is a simple group of Lie type in the usual notation of [48]).This conclusion gives a positive answer to a famous conjecture of Abdollahi and others [9], which is interesting the researches of several authors in the last decades: Conjecture 2.
In virtue of all we have said up to now, we haven't found information whether a variation of Theorem 2.1 holds or not in the infinite case.The references [50][51][52][53] show that there is a theory which we may use for this scope, even if the notion of Sylow subgroup should be examined carefully.
Problem 2.4.Given two infinite locally finite non-abelian groups, is it possible to get a variation of Theorem 2.1?

Sylow Graph and Properties of Normalizers of Sylow Subgroups
In the previous section, we have described only relations among the non-commuting graph, the commuting graph and the prime graph, both in finite and infinite case.A new graph, recently studied in [54][55][56] has motivated us to write the present note and there would be interesting perspectives of study in our opinion.
be the set of prime divisors of the orders of elements of .Given a prime in , the automiser given by the following rules: Two vertices p, q in   has been studied by Kazarin and others in [55], even if the origins go back to some works of De Vivo and others [54,[57][58][59][60], where it appears for the first time a graph with the same properties of . The Sylow graph is useful for problems of formations of finite groups (see [61] for the notion of formation of finite groups) and properties of normalizers of Sylow subgroups.One of the main contributions about ).

 Theorem 3.1. (See [55, Main Theorem])
is connected and its diameter is at most 5 whenever G is a finite almost simple group.
For solvable groups, the answer was known earlier as corollary of results in [54,[57][58][59][60], where a different approach was adopted.[55,Main Theorem] influenced heavily [56], in which a gap occurred in the proof of the connectivity of without CFSG.Another question has combinatorial interest.Lucido [33] showed that has diameter at most 5 for a non-abelian finite simple group S and Theorem 3.1 implies that has also diameter at most 5.This means that the actions of Once we move in the universe of all infinite groups, locally finite groups and periodic solvable groups seem to be natural contexts where we may generalize the notion of Sylow graph.Again [50][51][52][53] motivate this assertion.Of course, we cannot say that infinite locally finite groups satisfy Sylow Theorems, in order to carry out what we know from the finite case, but, results of Asar (see [51]) show that Sylow Theorems are true mutatis mutandis when we impose the minimal condition on suitable families of subgroups (for instance, the so-called locally finite groups with min-p in [51,52] have received much attention from the point of view of the Sylow theory).
Problem 3.4.It is missing a theory of Sylow graphs for infinite groups, which agrees with that of the finite case.Infinite locally finite groups seem to be good candidates for a first attempt.Now we come back to the finite case (and we will deal only with finite groups until the end) and note that the knowledge of the Sylow graph and of the properties of the normalizers of the Sylow subgroups is relevant for various reasons.
If G is a (finite) group in which every Sylow subgroup is self-normalizing, then [62,63] show that G is a p-group for some prime p. [62,63] are classical results and belong to a long standing line of research which investigates the structural properties of a group, once restrictions on its normalizers are given (see [61,Chapter 5] or [64][65][66][67][68][69][70][71]).
A further improvement is [64,Theorem 2], where it is considered the class of all p-nilpotent groups.In the class of all solvable groups, relations among N and classes of groups which are closed with respect to forming subgroups (briefly said S-closed), were investigated in [56][57][58][59][60].These researches make strong use of some techniques of the theory of formations of groups, which has been largely exploited in the last years by Ballester-Bolinches, Shemetkov and Skiba (terminology and notations which we are using can be found in fact in [61,67]).For instance, a significant notion is that of lattice-formation, which is quite technical to explain here (see [56][57][58][59][60]67]), but has a fundamental role in many topics of formations of finite groups.Indeed, an immediate consequence of Theorem 3.1 is: allows us to decide whether a class of groups is N-closed or not.Many other interesting applications can be found in [55, Section 3].We note that there are some interesting examples also in [55,56], which help to visualize the topic.
A final observation will have computational nature.The following condition is very easy to check empirically and, when it is true, the Sylow graph is connected.
Hypothesis.Assume that in a (finite) group G, if p is an odd prime in   G  , then there exists another prime q in   G  such that q < p and q divides     Based on the previous Hypothesis, it has been written an algorithm with GAP [73] in [56] the graph , associated with the conjugacy classes of a non-trivial group G.The vertices number of connected components in a finite group G.

3 . 3 .
which the connectivity has the same bounds in terms of diameter.Problem Is it possible to find relations between the connected components of and those of

3 . 6 .
(called ROSN1), which confirms numerically Theorem 3.1.Given two different primes p and q of for each Sylow p-subgroup G p of G.and a (finite) group G, ROSN1 answers YES, or NO, to the question: are p andq connected in   G ? This allows us to ask: Problem How can we improve numerical algorithms which confirm Theorem 3.1?4.AcknowledgementsI thank the referees for comments and suggestions.REFERENCES  X N N G if and only if the normalizer G p of   p G belongs to X for all p in.Here X is a class of groups and  G  p G a Sylow p-subgroup of G (N is called N-closed if [1] E. A.Bertram, "Some Applications of Graph Theory to Finite Groups," Discrete Mathematics, Vol.44, No. 1, 1983, pp.31-43.doi:10.1016/0012-365X(83)90004-3Copyright © 2012 SciRes.APM be related.