A conjecture related to the nilpotency of groups with isomorphic non-commuting graphs (Q6170759)

Let \(G\) be a finite group, the non-commuting graph \(\Gamma_{G}=(V,E)\) is the graph whose vertex set is \(V=G \setminus Z(G)\) and \((g,h) \in E\) if and only if \([g,h] \not =1\). This graph was first defined by P. Erdős which is quoted by \textit{B. H. Neumann} [J. Aust. Math. Soc., Ser. A 21, 467--472 (1976; Zbl 0333.05110)]. A natural question to ask is how the graph theoretical properties of \(\Gamma_{G}\) are related to the group theoretical properties of \(G\). In [\textit{A. Abdollahi} et al., J. Algebra 298, No. 2, 468--492 (2006; Zbl 1105.20016)], it has been conjectured that if \(G\) and \(H\) are finite groups with \(\Gamma_{G} \simeq \Gamma_{H}\) and \(G\) is nilpotent, then \(H\) must be nilpotent as well. In the paper under review, the authors characterize the structure of such an \(H\) when \(G\) is a finite \(\mathsf{AC}\)-group (that is, a finite group in which all centralizers of non-central elements are abelian). As an application, they prove the above-mentioned conjecture for \(\mathsf{AC}\)-groups whenever \(|Z(G)| \geq |Z(H)|\). An essential tool in the proofs is the classification of non-abelian solvable \(\mathsf{AC}\)-groups, due to \textit{R. Schmidt} [Rend. Sem. Mat. Univ. Padova 44 (1970), 97--131 (1971; Zbl 0243.20039)]. Another interesting remark used by the authors in the proof of the main result is Lemma 3.5: If \(G\) is a nilpotent \(\mathsf{AC}\)-group and \(H\) is a group such that \(\Gamma_{G} \simeq \Gamma_{H}\), then \(H\) is a solvable \(\mathsf{AC}\)-group.