English

$\mathbb Z_3^8$ is not a CI-group

Combinatorics 2023-03-16 v1

Abstract

A Cayley graph Cay(G;S)(G;S) has the CI (Cayley Isomorphism) property if for every isomorphic graph Cay(G;T)(G;T), there is a group automorphism α\alpha of GG such that Sα=TS^\alpha=T. The DCI (Directed Cayley Isomorphism) property is defined analogously on digraphs. A group GG is a CI-group if every Cayley graph on GG has the CI property, and is a DCI-group if every Cayley digraph on GG has the DCI property. Since a graph is a special type of digraph, this means that every DCI-group is a CI-group, and if a group is not a CI-group then it is not a DCI-group, but there are well-known examples of groups that are CI-groups but not DCI-groups. In 2009, Spiga showed that Z38\mathbb Z_3^8 is not a DCI-group, by producing a digraph that does not have the DCI property. He also showed that Z35\mathbb Z_3^5 is a DCI-group (and therefore also a CI-group). Until recently the question of whether there are elementary abelian 33-groups that are not CI-groups remained open. In a recent preprint with Dave Witte Morris, we showed that Z310\mathbb Z_3^{10} is not a CI-group. In this paper we show that with slight modifications, the underlying undirected graph of order 383^8 described by Spiga is does not have the CI property, so Z38\mathbb Z_3^8 is not a CI-group.

Keywords

Cite

@article{arxiv.2303.08742,
  title  = {$\mathbb Z_3^8$ is not a CI-group},
  author = {Joy Morris},
  journal= {arXiv preprint arXiv:2303.08742},
  year   = {2023}
}

Comments

10 pages

R2 v1 2026-06-28T09:18:50.472Z