The Cayley isomorphism property for Cayley maps (Q1753007)

Summary: The \textit{Cayley Isomorphism} property for combinatorial objects was introduced by\textit{L. Babai} [Acta Math. Acad. Sci. Hung. 29, 329--336 (1977; Zbl 0378.05035)]. Since then it has been intensively studied for binary relational structures: graphs, digraphs, colored graphs etc. In this paper we study this property for oriented Cayley maps. A Cayley map is a Cayley graph provided by a cyclic rotation of its connection set. If the underlying graph is connected, then the map is an embedding of a Cayley graph into an oriented surface with the same cyclic rotation around every vertex. Two Cayley maps are called \textit{Cayley isomorphic} if there exists a map isomorphism between them which is a group isomorphism too. We say that a finite group \(H\) is a \textit{CIM-group} if any two Cayley maps over \(H\) are isomorphic if and only if they are Cayley isomorphic. The paper contains two main results regarding CIM-groups. The first one provides necessary conditons for being a CIM-group. It shows that a CIM-group should be one of the following \[ \begin{aligned} \mathbb{Z}_m\times\mathbb{Z}_2^r, \mathbb{Z}_m\times\mathbb{Z}_{4},\mathbb{Z}_m\times\mathbb{Z}_{8}, \mathbb{Z}_m\times Q_8, \mathbb{Z}_m\rtimes\mathbb{Z}_{2^e}, e=1,2,3,\end{aligned} \] where \(m\) is an odd square-free number and \(r\) a non-negative integer. Our second main result shows that the groups \(\mathbb{Z}_m\times\mathbb{Z}_2^r\), \(\mathbb{Z}_m\times\mathbb{Z}_{4}\), \(\mathbb{Z}_m\times Q_8\) contained in the above list are indeed CIM-groups.