On the prime graph of <Emphasis Type="Italic">PSL</Emphasis>(2, <Emphasis Type="Italic">p</Emphasis>) where <Emphasis Type="Italic">p</Emphasis> > 3 is a prime number

Let G be a finite group. We define the prime graph Γ(G) 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. Recently M. Hagie [5] determined finite groups G satisfying Γ(G) = Γ(S), where S is a sporadic simple group. Let p > 3 be a prime number. In this paper we determine finite groups G such that Γ(G) = Γ(PSL(2, p)). As a consequence of our results we prove that if p > 11 is a prime number and p ≢ 1 (mod 12), then PSL(2, p) is uniquely determined by its prime graph and so these groups are characterizable by their prime graph. The third author was supported in part by a grant from IPM (No. 84200024).     

An Adjacency Criterion for the Prime Graph of a Finite Simple Group

For every finite non-Abelian simple group, we give an exhaustive arithmetic criterion for adjacency of vertices in a prime graph of the group. For the prime graph of every finite simple group, this criterion is used to determine an independent set with a maximal number of vertices and an independent set with a maximal number of vertices containing 2, and to define orders on these sets; the information obtained is collected in tables. We consider several applications of these results to various problems in finite group theory, in particular, to the recognition-by-spectra problem for finite groups. Supported by RFBR grant No. 05-01-00797; by the Council for Grants (under RF President) and State Aid of Fundamental Science Schools, project NSh-2069.2003.1; by the RF Ministry of Education Developmental Program for Scientific Potential of the Higher School of Learning, project No. 8294; by FP “Universities of Russia,” grant No. UR.04.01.202; and by Presidium SB RAS grant No. 86-197. __________ Translated from Algebra i Logika, Vol. 44, No. 6, pp. 682–725, November–December, 2005.     

Half-Transitive Graphs of Prime-Cube Order

We call an undirected graph X half-transitive if the automorphism group Aut X of X acts transitively on the vertex set and edge set but not on the set of ordered pairs of adjacent vertices of X. In this paper we determine all half-transitive graphs of order p ³ and degree 4, where p is an odd prime; namely, we prove that all such graphs are Cayley graphs on the non-Abelian group of order p ³ and exponent p ², and up to isomorphism there are exactly (p – 1)/2 such graphs. As a byproduct, this proves the uniqueness of Holt's half-transitive graph with 27 vertices.     

Semisymmetric cubic graphs of order 16<Emphasis Type="Italic">p</Emphasis><Superscript>2</Superscript>

An undirected graph without isolated vertices is said to be semisymmetric if its full automorphism group acts transitively on its edge set but not on its vertex set. In this paper, we inquire the existence of connected semisymmetric cubic graphs of order 16p ². It is shown that for every odd prime p, there exists a semisymmetric cubic graph of order 16p ² and its structure is explicitly specified by giving the corresponding voltage rules generating the covering projections.     

Tetravalent vertex‐transitive graphs of order 4p

A graph is vertex‐transitive if its automorphism group acts transitively on vertices of the graph. A vertex‐transitive graph is a Cayley graph if its automorphism group contains a subgroup acting regularly on its vertices. In this article, the tetravalent vertex‐transitive non‐Cayley graphs of order 4p are classified for each prime p. As a result, there are one sporadic and five infinite families of such graphs, of which the sporadic one has order 20, and one infinite family exists for every prime p>3, two families exist if and only if p≡1 (mod 8) and the other two families exist if and only if p≡1 (mod 4). For each family there is a unique graph for a given order. © 2011 Wiley Periodicals, Inc.     

On the Soluble Graph of a Finite Simple Group

The maximal independent sets of the soluble graph of a finite simple group G are studied and their independence number is determined. In particular, it is shown that this graph in many cases has an independent set with three vertices.     

Orthogonal latin square graphs

An orthogonal latin square graph (OLSG) is one in which the vertices are latin squares of the same order and on the same symbols, and two vertices are adjacent if and only if the latin squares are orthogonal. If G is an arbitrary finite graph, we say that G is realizable as an OLSG if there is an OLSG isomorphic to G. The spectrum of G [Spec(G)] is defined as the set of all integers n that there is a realization of G by latin squares of order n. The two basic theorems proved here are (1) every graph is realizable and (2) for any graph G, Spec G contains all but a finite set of integers. A number of examples are given that point to a number of wide open questions. An example of such a question is how to classify the graphs for which a given n lies in the spectrum.     

Connectivity of intersection graphs of finite groups

The intersection graph of a group G is an undirected graph without loops and multiple edges defined as follows: the vertex set is the set of all proper non-trivial subgroups of G, and there is an edge between two distinct vertices H and K if and only if H∩K≠1 where 1 denotes the trivial subgroup of G. In this paper, we classify finite solvable groups whose intersection graphs are not 2-connected and finite nilpotent groups whose intersection graphs are not 3-connected. Our methods are elementary.     

Degree Graphs of Simple Groups of Exceptional Lie Type

Abstract

Let G be a finite group and let cd(G) be the set of irreducible character degrees of G. The degree graph Δ(G) of G is the graph whose set of vertices is the set of primes that divide degrees in cd(G), with an edge between p and q if pq divides a for some degree a ∈ cd(G). In this paper, we determine the graph Δ(G) when G is a finite simple group of exceptional Lie type.     

The orders of graphs with prescribed degree sets

The degree set ??^G of a graph G is the set of degrees of the vertices of G. For a finite nonempty set S of positive integers, all positive integers p are determined for which there exists a graph G of order p such that ??^G = S.     

1/2-Transitive Graphs of Order 3p

A graph X is called vertex-transitive, edge-transitive, or arc-transitive, if the automorphism group of X acts transitively on the set of vertices, edges, or arcs of X, respectively. X is said to be 1/2-transitive, if it is vertex-transitive, edge-transitive, but not arc-transitive.In this paper we determine all 1/2-transitive graphs with 3p vertices, where p is an odd prime. (See Theorem 3.4.)     

Finite Groups with a Disconnected p -Regular Conjugacy Class Graph

Abstract

Let G be a finite p-solvable group for a fixed prime p. Attach to G a graph Γ _p (G) whose vertices are the non-central p-regular conjugacy classes of G and connect two vertices by an edge if their cardinalities have a common prime divisor. In this note we study the structure and arithmetical properties of the p-regular class sizes in p-solvable groups G having Γ _p (G) disconnected.     

K3,3-free intersection graphs of finite groups

The intersection graph of a group G is an undirected graph without loops and multiple edges defined as follows: the vertex set is the set of all proper non-trivial subgroups of G, and there is an edge between two distinct vertices H and K if and only if H∩K≠1 where 1 denotes the trivial subgroup of G. In this paper we classify all finite groups whose intersection graphs are K_3,3-free.     

Multithreshold graphs

Multithreshold graphs are defined in terms of a finite sequence of real thresholds that break the real line into a set of regions, alternating between NO and YES. If real ranks can be assigned to the vertices of a graph in such a way that two vertices are adjacent iff the sum of their ranks lies in a YES region, then that graph is a multithreshold graph with respect to the given set of thresholds. If a graph can be represented with k or fewer thresholds, then it is k-threshold. The case of one threshold is the classical case introduced by Chvátal and Hammer. In this paper, we show for every graph G, there is a k such that G is k-threshold, and we exhibit graphs for which the required number of thresholds is linear in the order of the graph.     

Quasirecognition of One Class of Finite Simple Groups by the Set of Element Orders

We prove that a finite group, having the same set of element orders as a finite simple group L and the prime graph with at least three connected components, possesses a (unique) nonabelian composition factor which is isomorphic to L, unless L is isomorphic to the alternating group of degree 6.     

Tetravalent Vertex-Transitive Graphs of Order Twice A Prime Square

A graph is vertex-transitive if its automorphism group acts transitively on vertices of the graph. A vertex-transitive graph is a Cayley graph if its automorphism group contains a subgroup acting regularly on its vertices. In this paper, a complete classification is given of tetravalent vertex-transitive non-Cayley graphs of order \(2p^2\) for any prime p.     

Induced good gradings of structural matrix rings

Our approach to structural matrix rings defines them over preordered directed graphs. A grading of a structural matrix ring is called a good grading if its standard unit matrices are homogeneous. For a group G, a G-grading set is a set of arrows with the property that any assignment of these arrows to elements of G uniquely determines an induced good grading. One of our main results is that a G-grading set exists for any transitive directed graph if G is a group of prime order. This extends a result of Kelarev. However, an example of Molli Jones shows there are directed graphs which do not have G-grading sets for any cyclic group G of even order greater than 2. Finally, we count the number of nonequivalent elementary gradings by a finite group of a full matrix ring over an arbitrary field.     

On the composition factors of a group with the same prime graph as B n (5)

Let G be a finite group. The prime graph of G is a graph whose vertex set is the set of prime divisors of |G| and two distinct primes p and q are joined by an edge, whenever G contains an element of order pq. The prime graph of G is denoted by Γ(G). It is proved that some finite groups are uniquely determined by their prime graph. In this paper, we show that if G is a finite group such that Γ(G) = Γ(B _n (5)), where n ? 6, then G has a unique nonabelian composition factor isomorphic to B _n (5) or C _n (5).     

Orthogonal one-factorization graphs

An orthogonal one-factorization graph (OOFG) is a graph in which the vertices are one-factorizations of some underlying graph H, and two vertices are adjacent if and only if the one-factorizations are orthogonal. An arbitrary finite graph, G, is realizable if there is an OOFG isomorphic to G. We show that every finite graph is realizable as an OOFG with underlying graph K_n for some n. We also discuss some special cases.     

L7（3）与GL7（3）的OD-刻画

对于任意一个有限群G,令π（G）表示由它的阶的所有素因子构成的集合.构建一种与之相关的简单图,称之为素图,记作Γ（G）.该图的顶点集合是π（G）,图中两顶点p,g相连（记作p～q）的充要条件是群G恰有pq阶元.设π（G）={P₁,p2,…,p_x}.对于任意给定的p∈π（G）,令deg（p）:=|{q∈π（G）|在素图Γ（G）中,p～q}|,并称之为顶点p的度数.同时,定义D（G）:=（deg（p₁）,deg（p₂）,…,deg（p_s））,其中p₁2<…相似文献