The group \(C_p^4 \times C_q\) is a DCI-group (Q2065876)

Given a finite group \(G\) and \(S\subseteq G\), the Cayley digraph \(\mathrm{Cay}(G, S)\) is defined to be the digraph whose vertex set is \(G\) and arc set is \(\{(g, sg) : g\in G, s\in S\}\). Two digraphs \(\mathrm{Cay}(G, S)\) and \(\mathrm{Cay}(G, T)\) are called Cayley isomorphic if there exists \(\phi\in \mathrm{Aut}(G)\) such that \(T=S^\phi\). The subset \(S\) is called a CI-subset if, for every \(T\subseteq G\), \(\mathrm{Cay}(G, S)\cong \mathrm{Cay}(G, T)\) implies that \(\mathrm{Cay}(G, S)\) and \(\mathrm{Cay}(G,T)\) are Cayley isomorphic. A finite group \(G\) is called a DCI-group if all of its subsets are CI-subsets. Let \(p\) and \(q\) be two distinct primes. In [\textit{I. Kovács} and \textit{M. Muzychuk}, Commun. Algebra 37, No. 10, 3500--3515 (2009; Zbl 1211.05079)], it is shown that the group \(\mathbb{Z}_p^2\times \mathbb{Z}_q\) is a DCI-group. Moreover, in the case \(q>2\), it is shown that the group \(\mathbb{Z}_p^3\times \mathbb{Z}_q\) is a DCI-group [\textit{G. Somlai} and \textit{M. Muzychuk}, Algebr. Comb. 4, No. 2, 289--299 (2021; Zbl 1465.05081)]. In the paper under review, the authors extend these results and prove that the group \(\mathbb{Z}_p^4\times\mathbb{Z}_q\) is a DCI-group.