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
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
finite groups
0 references
Cayley graphs
0 references
automorphism groups
0 references
normal edge-transitive graphs
0 references