arXiv++ Combinatorics

The enhanced power graph, $\mathcal{E}(G)$, of a group $G$ has vertex set $G$ and two elements are adjacent if they generate a cyclic subgroup. In the case of finite groups, we identify some striking and unexpected properties of these graphs, as well as links between properties of $\mathcal{E}(G)$ and properties of the group $G$. We prove that if $\mathcal{E}(G)$ is a cograph then it is also a chordal graph. Making use of properties of simplicial vertices, we characterise the finite groups $G$ whose enhanced power graph is diamond-free or a block graph. We also characterise the finite groups having enhanced power graph a cograph or a quasi-threshold graph, and those with $C_4$-free enhanced power graph. We use these characterisations to classify the finite nonabelian simple groups whose enhanced power graph is a cograph and give information on the finite simple groups whose enhanced power graph is $C_4$-free. Some open problems are posed.

Let $G$ be the alternating group of degree $n$. Let $ω(G)$ be the maximal size of a subset $S$ of $G$ such that $\langle x,y \rangle = G$ whenever $x,y \in S$ and $x \neq y$ and let $σ(G)$ be the minimal size of a family of proper subgroups of $G$ whose union is $G$. We prove that, when $n$ varies in the family of composite numbers, $σ(G)/ω(G)$ tends to $1$ as $n \to \infty$. Moreover, we explicitly calculate $σ(A_n)$ for $n \geq 21$ congruent to $3$ modulo $18$.

Let $G$ be the symmetric group of degree $n$. Let $ω(G)$ be the maximal size of a subset $S$ of $G$ such that $\langle x,y \rangle = G$ whenever $x,y \in S$ and $x \neq y$ and let $σ(G)$ be the minimal size of a family of proper subgroups of $G$ whose union is $G$. We prove that both functions $σ(G)$ and $ω(G)$ are asymptotically equal to $\frac{1}{2} \binom{n}{n/2}$ when $n$ is even. This, together with a result of S. Blackburn, implies that $σ(G)/ω(G)$ tends to $1$ as $n \to \infty$. Moreover, we give a lower bound of $(1-o(1))n$ on $ω(G)$ which is independent of the classification of finite simple groups. We also calculate, for large enough $n$, the clique number of the graph defined as follows: the vertices are the elements of $G$ and two vertices $x,y$ are connected by an edge if $\langle x,y \rangle \geq A_n$.