Table of Contents
Fetching ...

Generalized quaternion groups with the m-DCI property

Jin-Hua Xie, Yan-Quan Feng, Binzhou Xia

Abstract

A Cayley digraph Cay(G,S) of a finite group $G$ with respect to a subset $S$ of $G$ is said to be a CI-digraph if for every Cayley digraph Cay(G,T) isomorphic to Cay(G,S), there exists an automorphism $σ$ of $G$ such that $S^σ=T$. A finite group $G$ is said to have the $m$-DCI property for some positive integer $m$ if all $m$-valent Cayley digraphs of $G$ are CI-digraphs, and is said to be a DCI-group if $G$ has the $m$-DCI property for all $1\leq m\leq |G|$. Let $\mathrm{Q}_{4n}$ be a generalized quaternion group of order $4n$ with an integer $n\geq 3$, and let $\mathrm{Q}_{4n}$ have the $m$-DCI property for some $1 \leq m\leq 2n-1$. It is shown in this paper that $n$ is odd, and $n$ is not divisible by $p^2$ for any prime $p\leq m-1$. Furthermore, if $n\geq 3$ is a power of a prime $p$, then $\mathrm{Q}_{4n}$ has the $m$-DCI property if and only if $p$ is odd, and either $n=p$ or $1\leq m\leq p$.

Generalized quaternion groups with the m-DCI property

Abstract

A Cayley digraph Cay(G,S) of a finite group with respect to a subset of is said to be a CI-digraph if for every Cayley digraph Cay(G,T) isomorphic to Cay(G,S), there exists an automorphism of such that . A finite group is said to have the -DCI property for some positive integer if all -valent Cayley digraphs of are CI-digraphs, and is said to be a DCI-group if has the -DCI property for all . Let be a generalized quaternion group of order with an integer , and let have the -DCI property for some . It is shown in this paper that is odd, and is not divisible by for any prime . Furthermore, if is a power of a prime , then has the -DCI property if and only if is odd, and either or .
Paper Structure (4 sections, 18 theorems, 29 equations)

This paper contains 4 sections, 18 theorems, 29 equations.

Key Result

Theorem 1.1

Let $G$ be the generalized quaternion group of order $4n$ with $n\geq 3$ such that $G$ has the $m$-DCI property for some $1\leq m\leq 2n-1$. Then $n$ is odd, and $n$ is not divisible by $p^2$ for any prime $p\leq m-1$.

Theorems & Definitions (26)

  • Theorem 1.1
  • Corollary 1.2
  • Theorem 1.3
  • Proposition 2.1
  • Proposition 2.2
  • Proposition 2.3
  • Proposition 2.4
  • Proposition 2.5
  • Lemma 2.6
  • Lemma 2.7
  • ...and 16 more