Normal edge-transitive Cayley graphs on non-Abelian groups of order \(4p\), where \(p\) is a prime number. (Q1935710)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Normal edge-transitive Cayley graphs on non-Abelian groups of order \(4p\), where \(p\) is a prime number.
scientific article

    Statements

    Normal edge-transitive Cayley graphs on non-Abelian groups of order \(4p\), where \(p\) is a prime number. (English)
    0 references
    0 references
    19 February 2013
    0 references
    Let \(\Gamma\) be a simple graph. The group of automorphisms of \(\Gamma\) is denoted by \(\Aut(\Gamma)\), which acts on vertices, edges and arcs of \(\Gamma\). If \(\Aut(\Gamma)\) acts transitively on vertices, edges or arcs of \(\Gamma\), then \(\Gamma\) is called vertex-transitive, edge-transitive or arc-transitive, respectively. If \(\Gamma\) is vertex and edge-transitive but not arc-transitive, then \(\Gamma\) is called \(\frac12\) arc-transitive. Let \(G\) be a finite group and \(S\) be an inverse closed subset of \(G\). The Cayley graph \(\Gamma=\text{Cay}(G,S)\) on \(G\) with respect to \(S\) is a graph with vertex set \(G\) and edge set \(\{\{g,sg\}\mid g\in G,\;s\in S\}\). \(\Gamma\) is connected if and only if \(G=\langle S\rangle\). For \(g\in G\), define the mapping \(\rho_g\colon G\to G\) by \(\rho_g(x)=xg\), \(x\in G\). Then, \(R(G)=\{\rho_g\mid g\in G\}\) is a regular subgroup of \(\Aut(\Gamma)\) isomorphic to \(G\), forcing \(\Gamma\) to be a vertex-transitive graph. The graph \(\Gamma\) is called normal if \(R(G)\) is a normal subgroup of \(\Aut(\Gamma)\). In this paper, the authors determine all connected normal edge-transitive Cayley graphs on non-Abelian groups with order \(4p\), where \(p\) is a prime number. As a consequence, if \(|G|=2^\delta p\), \(\delta=0,1,2\) and \(p\) prime, then \(\Gamma=\text{Cay}(G,S)\) is a connected normal \(\frac12\) arc-transitive Cayley graph only if \(G=F_{4p}\), where \(S\) is an inverse closed generating subset of \(G\) which does not contain the identity element of \(G\) and \(F_{4p}\) is a group with presentation \[ F_{4p}=\langle a,b\mid a^p=b^4=1,\;b^{-1}ab=a^\lambda\rangle, \] where \(\lambda^2\equiv -1\pmod p\).
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    finite groups
    0 references
    Cayley graphs
    0 references
    automorphism groups
    0 references
    normal edge-transitive graphs
    0 references
    0 references