The Cayley isomorphism property for Cayley maps

The Cayley Isomorphism property for combinatorial objects was introduced by L. Babai in 1977. Since then it has been intensively studied for binary relational structures: graphs, digraphs, colored graphs etc. In this paper we study this prop- erty 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 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 CIM-group1 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 ℤ_m × ℤ^r ₂, ℤ_m × ℤ₄, ℤ_m × ℤ₈, ℤ_m × Q₈, ℤ_m ⋊ ℤ_2e, e = 1, 2, 3, where m is an odd square-free number and r a non-negative integer². Our second main result shows that the groups ℤ_m × ℤ^r ₂, ℤ_m × ℤ₄, ℤ_m × Q₈ contained in the above list are indeed CIM-groups.