Some non-normal Cayley digraphs of the generalized quaternion group of certain orders (Q1408536)

Summary: We show that an action of \(\text{SL}(2,p), p \geq 7\) an odd prime such that \(4\nmid (p-1)\), has exactly two orbital digraphs \(\Gamma_1, \Gamma_2\), such that Aut\((\Gamma_i)\) admits a complete block system \(\mathcal B\) of \(p+1\) blocks of size \(2, i = 1,2\), with the following properties: the action of Aut\((\Gamma_i)\) on the blocks of \(\mathcal B\) is nonsolvable, doubly-transitive, but not a symmetric group, and the subgroup of Aut\((\Gamma_i)\) that fixes each block of \(\mathcal B\) set-wise is semiregular of order \(2\). If \(p = 2^k - 1 > 7\) is a Mersenne prime, these digraphs are also Cayley digraphs of the generalized quaternion group of order \(2^{k+1}\). In this case, these digraphs are non-normal Cayley digraphs of the generalized quaternion group of order \(2^{k+1}\).