Automorphism groups of Cayley digraphs

Let G be a group and S ⊂ G with 1 � S. A Cayley digraph Cay(G, S) on G with respect to S is the digraph with vertex set G such that, for x, y ∈ G , there is a directed edge from x to y whenever yx −1 ∈ S.I fS −1 = S, then Cay(G, S) can be viewed as an (undirected) graph by identifying two directed edges (x, y) and ( y, x) with one edge {x, y}. Let X = Cay(G, S) be a Cayley digraph. Then every element g ∈ G induces naturally an automorphism R(g) of X by mapping each vertex x to xg. The Cayley digraph Cay(G, S) is said to be normal if R(G) ={ R(g)|g ∈ G} is a normal subgroup of the automorphism group of X. In this paper we shall give a brief survey of recent results on automorphism groups of Cayley digraphs concentrating on the normality of Cayley digraphs. Throughout this paper graphs or digraphs (directed graphs) are finite and simple unless specified otherwise. For a (di)graph X , we denote by V (X ), E(X ) and Aut(X ) the vertex set, the edge set and the automorphism group of X , respectively. A (di)graph is said to be vertex-transitive or edge- transitive if Aut(X ) acts transitively on V (X ) or E(X ), respectively. Note that for an (undirected) graph X , each edge {u, v} of X gives two ordered pairs (u, v) and (v, u), called arcs of X. Thus we sometimes, if necessary, view a graph X as a digraph. Let G be a group and S a subset of G such that 1 �∈ S. The Cayley digraph Cay(G, S) on G with respect to S is defined as the directed graph with vertex set G and edge set {(g, sg) | g ∈ G, s ∈ S}. For a Cayley digraph X = Cay(G, S), we always call | S | the valency of X for convenience. If S is symmetric, that is, if S −1 ={ s −1 | s ∈ S} is equal to S, then Cay(G, S) can be viewed as an undirected graph by identifying two oppositely directed edges with one undirected edge. We sometimes call a Cayley digraph Cay(G, S) a Cayley graph if S is symmetric, and say Cay(G, S) a directed Cayley graph to emphasize S −1 � S. Let X = Cay(G, S) be a Cayley digraph. Consider the action of G on V (X ) by right multiplica- tion. Then every element g ∈ G induces naturally an automorphism R(g) of X by mapping each vertex x to xg. Set R(G) ={ R( g) | g ∈ G}. Then R(G) is a subgroup of Aut(X ) and R(G) ∼ G. Thus X is a vertex-transitive digraph. Clearly, R(G) acts regularly on vertices, that is, R(G) is transitive on vertices and only the identity element of R(G) fixes any given vertex. Further, it is well-known that a digraph Y is isomorphic to a Cayley digraph on some group G if and only if its automorphism group contains a subgroup isomorphic to G, acting regularly on the vertices of Y (see (5, Lemma 16.3)). Noting that R(G) is regular on V (X ), it implies Aut(X ) = R(G)Aut(X )1.

[1]  Yan-Quan Feng,et al.  Automorphism Groups of Connected Cubic Cayley Graphs of Order 4p , 2007 .

[2]  Ming-Yao Xu,et al.  On the normality of Cayley digraphs of groups of order twice a prime , 1998, Australas. J Comb..

[3]  Changqun Wang,et al.  Non-normal one-regular and 4-valent Cayley graphs of dihedral groups D2n , 2006, Eur. J. Comb..

[4]  Yan-Quan Feng,et al.  Automorphism groups of tetravalent Cayley graphs on regular p-groups , 2005, Discret. Math..

[5]  Cai Heng Li,et al.  Tetravalent edge-transitive Cayley graphs with odd number of vertices , 2006, J. Comb. Theory, Ser. B.

[6]  Mingyao Xu,et al.  Symmetry properties of Cayley graphs of small valencies on the alternating group A5 , 2004 .

[7]  Jie Wang,et al.  5-Arc transitive cubic Cayley graphs on finite simple groups , 2007, Eur. J. Comb..

[8]  C. Praeger Finite normal edge-transitive Cayley graphs , 1999, Bulletin of the Australian Mathematical Society.

[9]  Y. Baik,et al.  THE NORMALITY OF CAYLEY GRAPHS OF FINITE ABELIAN GROUPS WITH VALENCY 5 , 2000 .

[10]  Cai Heng Li,et al.  On edge-transitive Cayley graphs of valency four , 2004, Eur. J. Comb..

[11]  Bao Ying,et al.  Normal Minimal Cayley Digraphs of Abelian Groups , 2000, Eur. J. Comb..

[12]  Jixiang Meng,et al.  On the isomorphisms and automorphism groups of circulants , 1996, Graphs Comb..

[13]  Mingyao Xu,et al.  Normality of Tetravalent Cayley Graphs of Odd Prime–cube Order and Its Application , 2005 .

[14]  Yan-Quan Feng,et al.  On the Isomorphisms of Cayley Graphs of Abelian Groups , 2002, J. Comb. Theory, Ser. B.

[15]  S. Lakshmivarahan,et al.  Symmetry in Interconnection Networks Based on Cayley Graphs of Permutation Groups: A Survey , 1993, Parallel Comput..

[16]  Dragan Marusic,et al.  Constructing 1/2-arc-transitive graphs of valency 4 and vertex stabilizer Z2×Z2 , 2002, Discret. Math..

[17]  J. Chen,et al.  A Family of Nonnormal Cayley Digraphs , 2001 .

[18]  Yan-Quan Feng,et al.  Automorphism groups and isomorphisms of Cayley digraphs of Abelian groups , 1997, Australas. J Comb..

[19]  Dragan Marusic,et al.  A tetravalent half-arc-transitive graph with non-abelian vertex stabilizer , 2003, J. Comb. Theory, Ser. B.

[20]  Isomorphisms of finite Cayley graphs , 1997, Bulletin of the Australian Mathematical Society.

[21]  Cheryl E. Praeger,et al.  Vertex-Primitive Graphs of Order a Product of Two Distinct Primes , 1993, J. Comb. Theory, Ser. B.

[22]  J. Dixon,et al.  Permutation Groups , 1996 .

[23]  Jie Wang,et al.  On cubic s-arc transitive Cayley graphs of finite simple groups , 2005, Eur. J. Comb..

[24]  Jixiang Meng,et al.  The Automorphism Groups of Minimal Infinite Circulant Digraphs , 1997, Eur. J. Comb..

[25]  Aleksander Malnic,et al.  Group actions, coverings and lifts of automorphisms , 1998, Discret. Math..

[26]  Zaiping Lu,et al.  On the normality of Cayley graphs of order pq , 2003, Australas. J Comb..

[27]  Ru-Ji Wang Half-transitive graphs of order a product of two distinct primes * , 1994 .

[28]  Mingyao Xu Half-Transitive Graphs of Prime-Cube Order , 1992 .

[29]  B. Alspach Point-symmetric graphs and digraphs of prime order and transitive permutation groups of prime degree☆ , 1973 .

[30]  Mingyao Xu,et al.  Normal Cayley graphs of finite groups , 1998 .

[31]  Ming-Yao Xu,et al.  Automorphism groups and isomorphisms of Cayley digraphs , 1998, Discret. Math..

[32]  Caiheng Li On isomorphisms of connected Cayley graphs, III , 1998, Bulletin of the Australian Mathematical Society.

[33]  Cheryl E. Praeger,et al.  Symmetric Graphs of Order a Product of Two Distinct Primes , 1993, J. Comb. Theory, Ser. B.

[34]  Dragan Marusic,et al.  Constructing 4-Valent 1/2-Transitive Graphs with a Nonsolvable Automorphism Group , 1999, J. Comb. Theory, Ser. B.

[35]  Edward Dobson,et al.  Transitive Permutation Groups of Prime-Squared Degree , 2000, math/0012192.

[36]  Chris D. Godsil,et al.  On the full automorphism group of a graph , 1981, Comb..

[37]  B. Alspach,et al.  1/2-Transitive Graphs of Order 3p , 1994 .

[38]  Jie Wang,et al.  Cayley Digraphs of Finite Simple Groups with Small Out-Valency , 2004 .

[39]  C. Praeger,et al.  On the Automorphism Groups of Cayley Graphs of Finite Simple Groups , 2002 .

[40]  J. Kwak,et al.  AUTOMORPHISM GROUPS OF 4-VALENT CONNECTED CAYLEY GRAPHS OF p-GROUPS , 2001 .

[41]  Yan-Quan Feng,et al.  On vertex-transitive graphs of odd prime-power order , 2002, Discret. Math..

[42]  Huang Qiongxiang,et al.  Isomorphisms of circulant diagaphs , 1994 .

[43]  Mingyao Xu,et al.  On the Normality of Cayley Graphs of Abelian Groups , 1998 .

[44]  David M. Goldschmidt,et al.  Automorphisms of Trivalent Graphs , 1980 .

[45]  Jie Wang,et al.  On cubic Cayley graphs of finite simple groups , 2002, Discret. Math..

[46]  Ming Yao Xu,et al.  A Classification of Symmetric Graphs of Order 3p , 1993, J. Comb. Theory, Ser. B.

[47]  Yan-Quan Feng,et al.  Automorphism groups of Cayley graphs on symmetric groups with generating transposition sets , 2006, J. Comb. Theory, Ser. B.

[48]  Changqun Wang,et al.  Semisymmetric Cubic Graphs Constructed from Bi-Cayley Graphs of An , 2006, Ars Comb..

[49]  Yan-Quan Feng,et al.  Automorphism Groups of 2-Valent Connected Cayley Digraphs on Regular p-Groups , 2002, Graphs Comb..

[50]  Gordon F. Royle,et al.  Algebraic Graph Theory , 2001, Graduate texts in mathematics.

[51]  Yan-Quan Feng,et al.  Two sufficient conditions for non-normal Cayley graphs and their applications , 2007 .

[52]  Yan-Quan Feng,et al.  Tetravalent half-arc-transitive graphs of order 2pq , 2008, Eur. J. Comb..