Cayley Graphs of Order 27p Are Hamiltonian英文文献资料.docVIP

HindawiPublishingCorporation InternationalJournalofCombinatorics Volume2011,ArticleID206930,16pages doi:10.1155/2011/206930 ResearchArticle CayleyGraphsofOrder27pAreHamiltonian EbrahimGhaderpourandDaveWitteMorris Department ofMathematics andComputerScience,University ofLethbridge, Leth-Bridge, AB,CanadaT1K3M4 Correspondence shouldbeaddressedtoDaveWitteMorris,dave.morris@uleth.ca Received22January2011;Accepted 18April2011 Academic Editor:CaiHengLi Copyright q2011E.Ghaderpour andD.W.Morris. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, andreproduction inanymedium,providedtheoriginalworkisproperlycited. Suppose that Gisa?nite group, such that |G|  27p,where pisprime. Weshow that ifSisany generatingsetofG,thenthereisaHamiltoniancycleinthecorrespondingCayleygraphCayG;S. 1.Introduction TheoremHamiltonian1.1.cycle.If |G|  27p, where p is prime, then every connected Cayley graph on G has a Combiningthiswithresultsin1–3establishesthat EveryCayleygraphonGhasahamiltoniancycle 1.1 if|G|kp, wherepisprime, 1≤k32, andk/24. The remainder of the paper provides a proof of the theorem. Here is an outline. Section2 recalls known results on hamiltonian cycles in Cayley graphs; Section3 presents theproofundertheassumptionthattheSylowp-subgroupofGisnormal;Section4presents theproofundertheassumptionthattheSylowp-subgroupsofGarenotnormal. 2.Preliminaries:KnownResultsonHamiltonianCyclesin CayleyGraphs Forconvenience,werecordsomeknownresultsthatprovidehamiltoniancyclesinvarious Cayleygraphs,after?xingsomenotation.  2 InternationalJournalofCombinatorics Notation1see4,Sections1.1and5.1. ForanygroupG,weusethefollowingnotation: 1GdenotesthecommutatorsubgroupG,GofG, 2ZGdenotesthecenterofG, 3ΦGdenotestheFrattinisubgroupofG. Fora,b∈G,weuseabtodenotetheconjugateb?1ab. Notation 2. If s1,s2,...,sn is any sequence, we use s1,s2,...,sn# to denote the sequence s1