Conjecture of Li and Praeger concerning the isomorphisms of Cayley graphs of \(A_5\) (Q1609611): Difference between revisions

A Cayley graph \(\text{Cay}(G,S)\) is called a CI-graph of the group \(G\) if for any \(\text{Cay}(G,T)\), whenever \(\text{Cay}(G,S)\cong\text{Cay}(G,T)\), there exists \(\sigma\in\Aut(G)\) such that \(S^\sigma=T\). A group \(G\) is called an \(m\)-CI-group if all Cayley graphs of \(G\) of valency at most \(m\) are CI-graphs. \textit{C. E. Praeger} and the reviewer [Commun. Algebra 24, No. 11, 3681-3704 (1996; Zbl 0878.20010)] proved that, among non-Abelian simple groups, only \(A_5\) and \(\text{PSL}(2,8)\), are 2-CI-groups, and only \(A_5\) is a 3-CI-group. The reviewer [Bull. Lond. Math. Soc. 31, No. 4, 419-423 (1999; Zbl 0927.05036)] proved that \(A_5\) is not a 29-CI-group and that all CI-groups are soluble. It was conjectured that \(A_5\) is also a 4-CI-group by Praeger and the reviewer in the paper mentioned above. With the assistance of a computer, \textit{M. Conder} and the reviewer [Eur. J. Comb. 19, No. 8, 911-919 (1998; Zbl 0916.05034)] proved that \(A_5\) is a 4-CI-group but not a 5-CI-group. In the paper under review, the authors give a computer-free proof for the conjecture that \(A_5\) is a 4-CI-group.