The non-commuting, non-generating graph of a finite simple group

Saul D. Freedman
2024-04-04
Abstract:Let $G$ be a group such that $G/Z(G)$ is finite and simple. The non-commuting, non-generating graph $\Xi(G)$ of $G$ has vertex set $G \setminus Z(G)$, with edges corresponding to pairs of elements that do not commute and do not generate $G$. We show that $\Xi(G)$ is connected with diameter at most $5$, with smaller upper bounds for certain families of groups. When $G$ itself is simple, we prove that the diameter of the complement of the generating graph of $G$ has a tight upper bound of $4$. In the companion paper <a class="link-https" data-arxiv-id="2211.08869" href="https://arxiv.org/abs/2211.08869">arXiv:2211.08869</a>, we consider $\Xi(G)$ when $G/Z(G)$ is not simple.
Group Theory
What problem does this paper attempt to address?