Normal edge-transitive Cayley graphs and Frattini-like subgroups

TL;DR

This paper introduces a new subgroup (G;C) related to automorphisms of finite groups and explores its role in the structure of normal edge-transitive Cayley graphs, including classification results and counterexamples to existing conjectures.

Contribution

It defines (G;C), analyzes its properties, and applies this to classify 4-valent normal edge-transitive Cayley graphs of dihedral groups, disproving a prior conjecture.

Findings

(G;C) contains the Frattini subgroup but can be larger.

The quotient of a Cayley graph by (G;C) is a maximal normal quotient.

Classified all 4-valent normal edge-transitive Cayley graphs of dihedral groups.

Abstract

For a finite group $G$ and an inverse-closed generating set $C$ of $G$, let $Aut(G;C)$ consist of those automorphisms of $G$ which leave $C$ invariant. We define an $Aut(G;C)$-invariant normal subgroup $\Phi(G;C)$ of $G$ which has the property that, for any $Aut(G;C)$-invariant normal set of generators for $G$, if we remove from it all the elements of $\Phi(G;C)$, then the remaining set is still an $Aut(G;C)$-invariant normal generating set for $G$. The subgroup $\Phi(G;C)$ contains the Frattini subgroup $\Phi(G)$ but the inclusion may be proper. The Cayley graph $Cay(G,C)$ is normal edge-transitive if $Aut(G;C)$ acts transitively on the pairs $\{c,c^{-1}\}$ from $C$. We show that, for a normal edge-transitive Cayley graph $Cay(G,C)$, its quotient modulo $\Phi(G;C)$ is the unique largest normal quotient which is isomorphic to a subdirect product of normal edge-transitive graphs of characteristically simple groups. In particular, we may therefore view normal edge-transitive Cayley graphs of characteristically simple groups as building blocks for normal edge-transitive Cayley graphs whenever the subgroup $\Phi(G;C)$ is trivial. We explore several questions which these results raise, some concerned with the set of all inverse-closed generating sets for groups in a given family. In particular we use this theory to classify all $4$-valent normal edge-transitive Cayley graphs for dihedral groups; this involves a new construction of an infinite family of examples, and disproves a conjecture of Talebi.