Hindawi Publishing Corporation International Journal of Combinatorics Volume 2013, Article ID 125916, 3 pages http://dx.doi.org/10.1155/2013/125916 Research Article Finite 1-Regular Cayley Graphs of Valency 5 Jing Jian Li,1,2 Ben Gong Lou,1 and Xiao Jun Zhang2,3 1 School of Mathematics and Statistics, Yunnan University, Kunming, Yunnan 650031, China School of Mathematics and Information Sciences, Guangxi University, Nanning 530004, China 3 School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu 611731, China 2 Correspondence should be addressed to Ben Gong Lou; bengong188@163.com Received 15 November 2012; Revised 11 January 2013; Accepted 28 February 2013 Academic Editor: Cai Heng Li Copyright © 2013 Jing Jian Li et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Let Γ = Cay(πΊ, π) and πΊ ≤ π ≤ AutΓ. We say Γ is (π, 1)-regular Cayley graph if π acts regularly on its arcs. Γ is said to be corefree if πΊ is core-free in some π ≤ Aut(Cay(πΊ, π)). In this paper, we prove that if an (π, 1)-regular Cayley graph of valency 5 is not normal or binormal, then it is the normal cover of one of two core-free ones up to isomorphism. In particular, there are no core-free 1-regular Cayley graphs of valency 5. 1. Introduction We assume that all graphs in this paper are finite, simple, and undirected. Let Γ be a graph. Denote the vertex set, arc set, and full automorphism group of Γ by πΓ, π΄Γ, and AutΓ, respectively. A graph Γ is called π-vertex-transitive or π-arc-transitive if π acts transitively on πΓ or π΄Γ, where π ≤ AutΓ. Γ is simply called vertex-transitive, arc-transitive for the case where π = AutΓ. In particular, Γ is called (π, 1)-regular if π ≤ AutΓ acts regularly on its arcs and then 1-regular when π = AutΓ. Let πΊ be a finite group with identity element 1. For a subset π of πΊ with 1 ∉ π = π−1 := {π₯−1 | π₯ ∈ π}, the Cayley graph Cay(πΊ, π) of πΊ (with respect to π) is defined as the graph with vertex set πΊ such that π₯, π¦ ∈ πΊ are adjacent if and only if π¦π₯−1 ∈ π. It is easy to see that a Cayley graph Cay(πΊ, π) has valency |π|, and it is connected if and only if β¨πβ© = πΊ. Li proved in [1] that there are only finite number of core-free π -transitive Cayley graphs of valency π for π ∈ {2, 3, 4, 5, 7} and π ≥ 3 and that, with the exceptions π = 2 and (π , π) = (3, 7), every π -transitive Cayley graph is a normal cover of a core-free one. It was proved in [2] that there are 15 core-free π -transitive cubic Cayley graphs up to isomorphism, and there are no core-free 1-regular cubic Cayley graphs. A natural problem arises. Characterize 1transitive Cayley graphs, in particular, which graphs are 1regular? Until now, the result about 1-regular graphs mainly focused constructing examples. For example, Frucht gave the first example of cubic 1-regular graph in [3]. After then, Conder and Praeger constructed two infinite families of cubic 1-regular graphs in [4]. MarusΜicΜ [5] and MalnicΜ et al. [6] constructed two infinite families of tetravalent 1-regular graphs. Classifying such graphs has aroused great interest. Motivated by above results and problem, we consider 1regular Cayley graphs of valency 5 in this paper. A graph Γ can be viewed as a Cayley graph of a group πΊ if and only if AutΓ contains a subgroup that is isomorphic to πΊ and acts regularly on the vertex set. For convenience, we denote this regular subgroup still by πΊ. If π ≤ AutΓ contains a normal subgroup that is regular and isomorphic to πΊ, then Γ is called an X-normal Cayley graph of πΊ; if πΊ is not normal in π but has a subgroup which is normal in π and semiregular on πΓ with exactly two orbits, then Γ is called an X-bi-normal Cayley graph; furthermore if π = AutΓ, Γ is called normal or bi-normal. Some characterization of normal and bi-normal Cayley graphs has given in [1, 2]. For a Cayley graph Γ = Cay(πΊ, π), Γ is said to be core-free (with respect to πΊ) if πΊ is core-free in some π ≤ AutΓ; that is, Coreπ (πΊ) = ∩π₯∈π πΊπ₯ = 1. The main result of this paper is the following assertion. Theorem 1. Let Γ = Cay(πΊ, π) be an (π, 1)-regular Cayley graph of valency 5, where πΊ ≤ π ≤ AutΓ. Let π(πΊ) be the number of nonisomorphic core-free (π, 1)-regular Cayley 2 International Journal of Combinatorics Table 1 Number 1 2 π A5 S5 πΊ A4 S4 π (πΊ) 1 1 1-regular No No Remark Icosahedron graph of valency 5 with the regular subgroup equal to πΊ. Then either Example 4. Let πΊ = β¨π, π | π5 = π2 = 1, ππ = π−1 β© ≅ D10 . Set π = {π, ππ, π2 π, π3 π, π4 π} and Γ = Cay(πΊ, π). Then Γ ≅ K5,5 and AutΓ = π5 βπ2 . Let π = (Z5 ×Z5 ) : Z2 β D10 ×Z5 such that πΊ ≤ π ≤ AutΓ. It follows that Coreπ (πΊ) ≅ Z5 . Then ππΌ ≅ Z5 for πΌ ∈ πΓ, and furthermore Γ is (π, 1)-regular. Obviously πΊ is not normal in π. However, Coreπ (πΊ) β΄ π is semiregular and has exactly two orbits on πΓ; then Γ is an (π, 1)-regular Cayley graph of valency 5. In particular, Γ is π-bi-normal. (i) Γ is an π-normal or π-bi-normal Cayley graph or 3. The Proof of Main Results (ii) Γ is a nontrivial normal cover of one line of Table 1. In this section, we will prove our main results. We first present some properties about normal Cayley graphs. For a Cayley graph Γ = Cay(πΊ, π), we have a subgroup of Aut(πΊ): In particular, there are no core-free 1-regular Cayley graphs of valency 5. By Theorem 1, we can get the following remark immediately. Remark 2. Let Γ = Cay(πΊ, π) be an 1-regular Cayley graph of valency 5. Then Γ is normal or bi-normal. 2. Examples In this section we give some examples of graphs appearing in Theorem 1. Example 3. Let π = β¨πβ© ≅ Z11 be a cyclic group. Assume that π ∈ Aut(π) is of order 10 and π = π : β¨πβ© ≅ Z11 : Z10 . Let πΊ = π : β¨π5 β© ≅ D22 . (1) Suppose that 2 2 4 6 8 π = πβ¨π β© = {π, ππ , ππ , ππ , ππ } , (2) where π ∈ πΊ is an involution such that π =ΜΈ π5 . Let Γ = Cay(πΊ, π) be the Cayley graph of the dihedral group πΊ with respect to π. Then Γ is a connected (π, 1)-regular Cayley graph of valency 5. In particular, Γ is π-normal. Proof. Let 2 10 2 10 πΊ = β¨πβ© : β¨πβ© = {1, π, π , . . . , π , π, ππ, π π, . . . , π π} ≅ D22 , (3) where π = π5 . Noting π(π) = 11, we may assume that ππ = π9 . Since the involution π ∈ πΊ is not equal to π, we may let π = ππ π for some 2 2 1 ≤ π < 11 such that (9, π) = 1. Then ππ = (ππ π)π = π81π π = 2 2 π4π π, and so ππ π−1 = π3π ∈ β¨πβ¨π β© β© = β¨πβ©. Thus the element 2 2 ππ π−1 is of order 11 as (3π, 11) = 1. So β¨πβ© = β¨πβ¨π β© β© = πΊ; that is, Γ = Cay(πΊ, π) is connected. Obviously, πΊ π ≤ AutΓ and π1 = β¨π2 β©. However, |π| = 55 = |π΄Γ|; then Γ is an (π, 1)-regular normal Cayley graph of πΊ of valency 5. Aut (πΊ, π) = {π ∈ Aut (πΊ) | ππ = π} . (4) Clearly it is a subgroup of the stabilizer in AutΓ of the vertex corresponding to the identity 1 of πΊ. Since Γ is connected, Aut(πΊ, π) acts faithfully on π. By Godsil [7, Lemma 2.1], the normalizer NAutΓ (πΊ) = πΊ : Aut(πΊ, π). So Γ = Cay(πΊ, π) is a normal Cayley graph if and only if Aut(πΊ, π) = (AutΓ)1 . Let Γ = Cay(πΊ, π) be an (π, 1)-regular Cayley graph of valency 5 such that πΊ ≤ π ≤ AutΓ. Then π contains at least one involution. Let K = Coreπ (πΊ), which is the core of πΊ in π. Lemma 5. Assume that K = 1. Then (π, πΊ) = (A5 , A4 ) or (S5 , S4 ). Proof. Let π» be the stabilizer in π of the vertex corresponding to the identity of πΊ. Then π» ≅ Z5 , π» ∩ πΊ = 1, and π = πΊπ». Let [π : πΊ] be the set of right cosets of πΊ in π. Consider the action of π on [π : πΊ] by the right multiplication. Then we get that π is a primitive permutation group of degree 5 and πΊ is a stabilizer of π. Since Γ has valency 5, |πΊ| = |πΓ| ≥ 6, and so |π| = |πΊ||π»| ≥ 30. Then we can show π ≅ A5 or S5 , and then πΊ = A4 or S4 , respectively. Lemma 6. Suppose that πΊ = A4 and π = A5 . Then Γ is the icosahedron graph. Moreover, AutΓ = A5 × Z2 and Γ is not 1-regular. Proof. Note that π = πΊπ», where π ≅ A5 , πΊ ≅ A4 , and π» ≅ Z5 . Since π has no nontrivial normal subgroup, Γ is not bipartite. So Γ is the icosahedron graph. Further by Magma [8], AutΓ = A5 × Z2 , so Γ is not 1-regular. Lemma 7. Suppose that πΊ = S4 and π = S5 . Then the graph Γ is not 1-regular and there is only one isomorphism class of these graphs. Proof. Note that πΊ = S4 , π = S5 , and π = πΊπ». Let π» = β¨πβ©, where π = (1 2 3 4 5). By considering the right multiplication action of π on the right cosets of πΊ in π, πΊ can be viewed as a stabilizer of π acting on {1, 2, 3, 4, 5}. Without lost generality, we may assume that 1 is fixed by πΊ. Take an involution π ∈ π. Then, by [2], π ∈ S5 \ NS5 (π») and we can identify π with π»ππ» ∩ πΊ. Note that π ∈ πΊ ≤ S4 International Journal of Combinatorics and NS5 (π») = π» : Aut(π») = β¨(1 2 3 4 5)β© : β¨(2 3 5 4)β© ≅ Z5 : Z4 ; then π is one of the following: (2 5), (3 5), (2 3), (3 4), (4 5), (2 4), (2 3)(4 5), and (2 4)(3 5). Note π» = β¨(1 2 3 4 5)β©. Assume that π = (2 5); by calculation, we have (2 5) := β1 , π ⋅ (1 2 3 4 5) = (1 2)(3 4 5) := β2 , π ⋅ (1 3 5 2 4) = (1 3 5 4) := β3 , π ⋅ (1 4 2 5 3) = (1 4 2 3) := β4 , and π ⋅ (1 5 4 3 2) = (1 5)(2 4 3) := β5 . Then π»(2 5)π» = {π»β1 , π»β2 , π»β3 , π»β4 , π»β5 } = {(2 5), (1 5)(2 3 4), (1 4 5 3), (1 2)(3 5 4), (1 3 2 4), (1 5)(2 4 3), (1 4 2 3), (1 3 5 4), (1 2)(3 4 5), (2 5 3 4), (1 5 2 4), (1 4 5)(2 3), (1 3), (1 3 5 2), (1 2 5)(3 4), (2 4), (1 5 4)(2 3), (1 2 3)(4 5), (3 5), (1 5 2)(3 4), (1 4 2 5), (1 4), (1 3 2)(4 5), (1 2 5 3), (2 4 3 5)}. Thus the corresponding π is {(2 5), (2 5 3 4), (2 4), (3 5), (2 4 3 5)} since 1π = 1 for each π ∈ π»(2 5)π». By similar argument, for every π, we can work out π explicitly, which is one of the following four cases: π1 = {(2 5), (2 5 3 4), (2 4), (3 5), (2 4 3 5)}, π2 = {(2 3), (3 4), (4 5), (2 3 4 5), (2 5 4 3)}, π3 = {(2 3)(4 5), (2 3 5), (2 5 3), (2 4 5), (2 5 4)}, and π4 = {(2 4)(3 5), (2 4 3), (3 5 4), (2 3 4), (3 4 5)}. Now let π΄ = AutΓ. We declare that π =ΜΈ π΄. Assume that π = π΄. Note that πΊ = Nπ΄ (πΊ) = πΊAut(πΊ, π); then Aut(πΊ, π) = 1. Let π = (2 5)(3 4). Since π = (2 5 3 4)(2 5) ⋅ (3 5) = (3 4)(2 3) ⋅(2 3 4 5) = (2 3)(4 5)⋅(2 5 3)⋅(2 5 4) = (2 4)(3 5)⋅ (2 4 3)⋅(3 5 4), π ∈ πΊ and ππ = π for any possible π. Therefore π ∈ Aut(πΊ, π), which leads to a contradiction. So the assertion is right; that is, Γ is not 1-regular. Let πΊπ = β¨ππ β© and Γπ = Cay(πΊπ , ππ ) for π ∈ {1, 2, 3, 4}. πΎ πΎ Set πΎ = (2 4 5 3), then π1 = π2 and π3 = π4 . It follows πΎ πΎ that πΊ1 = πΊ2 and πΊ3 = πΊ4 , namely, Γ1 ≅ Γ2 and Γ3 ≅ Γ4 . Now we consider πΊ1 = β¨π1 β©. Note that (2 4) = (2 5)(2 4 3 5) and (3 5) = (2 5 3 4)(2 5) ⋅ (2 5 3 4)2 , then πΊ1 = β¨(2 5), (2 5 3 4)β©. Since (2 5 4) = (2 3)(4 5) ⋅ (2 3 5), πΊ3 = β¨π3 β© = β¨(2 3)(4 5), (2 3 5)β©. On the other hand, (2 5 3 4)4 = (2 5)2 = ((2 5) ⋅ (2 5 3 4))3 = 1 and (2 3 5)3 = ((2 3)(4 5))2 = ((2 3)(4 5) ⋅ (2 3 5))3 = 1, then πΊ1 ≅ S4 and πΊ3 ≅ A4 . By the assumption, Γ3 is not the graph satisfying conditions. So far we get the result that there is only one isomorphism class of graphs when πΊ = S4 . To finish our proof, we need to introduce some definitions and properties. Assume that Γ is an π-vertex transitive graph with π being a subgroup of AutΓ. Let π be a normal subgroup of π. Denote the set of π-orbits in πΓ by ππ. The normal quotient Γπ of Γ induced by π is defined as the graph with vertex set ππ, and two vertices π΅, πΆ ∈ ππ are adjacent if there exist π’ ∈ π΅ and V ∈ πΆ such that they are adjacent in Γ. It is easy to show that π/π acts transitively on the vertex set of Γπ. Assume further that Γ is π-edge-transitive. Then π/π acts transitively on the edge set of Γπ, and the valency val(Γ) = πval(Γπ) for some positive integer π. If π = 1, then Γ is called a normal cover of Γπ. Proof of Theorem 1. Let Γ = Cay(πΊ, π) be an (π, 1)-regular Cayley graph of valency 5, where πΊ ≤ π ≤ AutΓ. Then it is trivial to see that Γ is connected. Let π = Coreπ (πΊ) be the core of πΊ in π. Assume that π is not trivial. Then either πΊ = π or |πΊ : π| ≥ 2. The former implies πΊ β΄ π; that is, Γ 3 is an π-normal Cayley graph with respect to πΊ. For the case where |πΊ : π| = 2, it is easy to verify Γ is an π-bi-normal Cayley graph. Suppose that |πΊ : π| > 2; namely, π has at least three orbits on πΓ. Since val(Γ) = 5 is a prime and Γ is (π, 1)-regular, Γ is a cover of Γπ and πΊ/π ≤ π/π ≤ AutΓπ. We have that Γπ is a Cayley graph of πΊ/π and Γπ is core-free with respect to πΊ/π. Now suppose that π is trivial, then Γ is a core-free one. According to Lemmas 5, 6, and 7, there are two core-free (π, 1)-regular Cayley graphs of valency 5 (up to isomorphism) as in Table 1. As far, Theorem 1 holds. Acknowledgments The project was sponsored by the Foundation of Guangxi University (no. XBZ110328), the Fund of Yunnan University (no. 2012CG015), NNSF (nos. 11126343, 11226141, and 11226045), and NSF of Guangxi (no. 2012GXNSFBA053010). References [1] C. H. Li, “Finite π -arc transitive Cayley graphs and flag-transitive projective planes,” Proceedings of the American Mathematical Society, vol. 133, no. 1, pp. 31–41, 2005. [2] J. J. Li and Z. P. Lu, “Cubic π -arc transitive Cayley graphs,” Discrete Mathematics, vol. 309, no. 20, pp. 6014–6025, 2009. [3] R. Frucht, “A one-regular graph of degree three,” Canadian Journal of Mathematics, vol. 4, pp. 240–247, 1952. [4] M. D. E. Conder and C. E. Praeger, “Remarks on path-transitivity in finite graphs,” European Journal of Combinatorics, vol. 17, no. 4, pp. 371–378, 1996. [5] D. MarusΜicΜ, “A family of one-regular graphs of valency 4,” European Journal of Combinatorics, vol. 18, no. 1, pp. 59–64, 1997. [6] A. MalnicΜ, D. MarusΜicΜ, and N. Seifter, “Constructing infinite one-regular graphs,” European Journal of Combinatorics, vol. 20, no. 8, pp. 845–853, 1999. [7] C. D. Godsil, “On the full automorphism group of a graph,” Combinatorica, vol. 1, no. 3, pp. 243–256, 1981. [8] W. Bosma, J. Cannon, and C. Playoust, “The Magma algebra system. I. The user language,” Journal of Symbolic Computation, vol. 24, no. 3-4, pp. 235–265, 1997. Advances in Operations Research Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Advances in Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Mathematical Problems in Engineering Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Algebra Hindawi Publishing Corporation http://www.hindawi.com Probability and Statistics Volume 2014 The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Differential Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Submit your manuscripts at http://www.hindawi.com International Journal of Advances in Combinatorics Hindawi Publishing Corporation http://www.hindawi.com Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences Journal of Hindawi Publishing Corporation http://www.hindawi.com Stochastic Analysis Abstract and Applied Analysis Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com International Journal of Mathematics Volume 2014 Volume 2014 Discrete Dynamics in Nature and Society Volume 2014 Volume 2014 Journal of Journal of Discrete Mathematics Journal of Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Applied Mathematics Journal of Function Spaces Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Optimization Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014