arXiv++ Combinatorics

A Cayley (di)graph $Cay(G,S)$ of a group $G$ with respect to a subset $S$ of $G$ is called normal if the right regular representation of $G$ is a normal subgroup in the full automorphism group of $Cay(G,S)$, and is called a CI-(di)graph if for every $T\subseteq G$, $Cay(G,S)\cong Cay(G,T)$ implies that there is $σ\in Aut(G)$ such that $S^σ=T$. We call a group $G$ a NDCI-group if all normal Cayley digraphs of $G$ are CI-digraphs, and a NCI-group if all normal Cayley graphs of $G$ are CI-graphs, respectively. In this paper, we prove that a cyclic group of order $n$ is a NDCI-group if and only if $8\nmid n$, and is a NCI-group if and only if either $n=8$ or $8\nmid n$.

The WL-rank of a digraph $Γ$ is defined to be the rank of the coherent configuration of $Γ$. The WL-dimension of $Γ$ is defined to be the smallest positive integer $m$ for which $Γ$ is identified by the $m$-dimensional Weisfeiler-Leman algorithm. We classify the Deza circulant graphs of WL-rank $4$. In additional, it is proved that each of these graphs has WL-dimension at most $3$. Finally, we establish that some families of Deza circulant graphs have WL-rank $5$ or $6$ and WL-dimension at most $3$.

A graph $X$ is said to be chordal bipartite if it is bipartite and contains no induced cycle of length at least $6$. It is proved that if $X$ does not contain bipartite claw as an induced subgraph, then the Weisfeiler-Leman dimension of $X$ is at most $3$. The proof is based on the theory of coherent configurations.

A finite group $G$ is called a DCI-group if two Cayley digraphs over $G$ are isomorphic if and only if their connection sets are conjugate by a group automorphism. We prove that the group $C_2^5\times C_p$, where $p$ is a prime, is a DCI-group if and only if $p\neq 2$. Together with the previously obtained results, this implies that a group $G$ of order $32p$, where $p$ is a prime, is a DCI-group if and only if $p\neq 2$ and $G\cong C_2^5\times C_p$.

An infinite family of nonschurian separable association schemes is constructed.

A finite group $G$ is called a DCI-group if two Cayley digraphs over $G$ are isomorphic if and only if their connection sets are conjugate by a group automorphism. We prove that the group $C_4\times C_p^2$, where $p$ is a prime, is a DCI-group if and only if $p\neq 2$.

We prove that the group $C_p^4\times C_q$ is a DCI-group for distinct primes $p$ and $q$, that is, two Cayley digraphs over $C_p^4 \times C_q$ are isomorphic if and only if their connection sets are conjugate by a group automorphism.

An $S$-ring (a Schur ring) is said to be separable with respect to a class of groups $\mathcal{K}$ if every algebraic isomorphism from the $S$-ring in question to an $S$-ring over a group from $\mathcal{K}$ is induced by a combinatorial isomorphism. A finite group $G$ is said to be separable with respect to $\mathcal{K}$ if every $S$-ring over $G$ is separable with respect to $\mathcal{K}$. We prove that every abelian group $G$ of order $9p$, where $p$ is a prime, is separable with respect to the class of all finite abelian groups. Modulo previously obtained results, this completes a classification of noncyclic abelian groups of odd order that are separable with respect to the class of all finite abelian groups. Also this implies that the Weisfeiler-Leman dimension of the class of Cayley graphs over $G$ is at most 2.

We construct a polynomial-time algorithm which given a graph $Γ$ finds the full set of non-equivalent Cayley representations of $Γ$ over the group $D\cong C_p\times C_{p^k}$, where $p\in\{2,3\}$ and $k\geq 1$. This result implies that the recognition and the isomorphism problems for Cayley graphs over $D$ can be solved in polynomial time.

A finite group is said to be weakly separable if every algebraic isomorphism between two $S$-rings over this group is induced by a combinatorial isomorphism. In the paper we prove that every abelian weakly separable group belongs to one of several explicitly given families only.

An $S$-ring (a Schur ring) is said to be separable with respect to a class of groups $\mathcal{K}$ if every algebraic isomorphism from the $S$-ring in question to an $S$-ring over a group from $\mathcal{K}$ is induced by a combinatorial isomorphism. A finite group is said to be \emph{separable} with respect to $\mathcal{K}$ if every $S$-ring over this group is separable with respect to $\mathcal{K}$. We provide a complete classification of abelian $p$-groups separable with respect to the class of abelian groups.

An $S$-ring (a Schur ring) is said to be separable with respect to a class of groups $\mathcal{K}$ if every its algebraic isomorphism to an $S$-ring over a group from $\mathcal{K}$ is induced by a combinatorial isomorphism. We prove that every Schur ring over an abelian group $G$ of order $4p$, where $p$ is a prime, is separable with respect to the class of abelian groups. This implies that the Weisfeiler-Leman dimension of the class of Cayley graphs over $G$ is at most 2.

A Schur ring over a finite group is said to be decomposable if it is the generalized wreath product of Schur rings over smaller groups. In this paper we establish a sufficient condition for a decomposable Schur ring over the direct product of elementary abelian groups to be a $CI$-Schur ring. By using this condition we reprove in a short way known results on the $CI$-property for decomposable Schur rings over an elementary abelian group of rank at most $5$.

A finite group $G$ is called a Schur group if any Schur ring over $G$ is associated in a natural way with a subgroup of $Sym(G)$ that contains all right translations. It is proved that the group $C_3\times C_3\times C_p$ is Schur for any prime $p$. Together with earlier results, this completes a classification of the abelian Schur groups of odd order.

An $S$-ring (Schur ring) is called separable with respect to a class of $S$-rings $\mathcal{K}$ if it is determined up to isomorphism in $\mathcal{K}$ only by the tensor of its structure constants. An abelian group is said to be separable if every $S$-ring over this group is separable with respect to the class of $S$-rings over abelian groups. Let $C_n$ be a cyclic group of order $n$ and $G$ be a noncylic abelian $p$-group. From the previously obtained results it follows that if $G$ is separable then $G$ is isomorphic to $C_p\times C_{p^k}$ or $C_p\times C_p\times C_{p^k}$, where $p\in \{2,3\}$ and $k\geq 1$. We prove that the groups $D=C_p\times C_{p^k}$ are separable whenever $p\in \{2,3\}$. From this statement we deduce that a given Cayley graph over $D$ and a given Cayley graph over an arbitrary abelian group one can check whether these graphs are isomorphic in time $|D|^{O(1)}$.

A finite group $G$ is called a Schur group if any $S$-ring over $G$ is associated in a natural way with a subgroup of $Sym(G)$ that contains all right translations. We prove that the groups $\mathbb{Z}_3\times \mathbb{Z}_{3^n}$, where $n\geq 1$, are Schur. Modulo previously obtained results, it follows that every noncyclic Schur $p$-group, where $p$ is an odd prime, is isomorphic to $\mathbb{Z}_3\times \mathbb{Z}_3 \times \mathbb{Z}_3$ or $\mathbb{Z}_3\times \mathbb{Z}_{3^n}$, $n\geq 1$ .

Let $G$ be a finite group. If $Γ$ is a permutation group with $G_{right}\leqΓ\leq Sym(G)$ and $\mathcal{S}$ is the set of orbits of the stabilizer of the identity $e=e_{G}$ in $Γ$, then the $\mathbb{Z}$-submodule $\mathcal{A}(Γ,G)=Span_{\mathbb{Z}}\{\underline{X}:\ X\in\mathcal{S}\}$ of the group ring $\mathbb{Z} G$ is an $S$-ring as it was observed by Schur. Following Pöschel an $S$-ring $\mathcal{A}$ over $G$ is said to be schurian if there exists a suitable permutation group $Γ$ such that $\mathcal{A}=\mathcal{A}(Γ,G)$. A finite group $G$ is called a Schur group if every $S$-ring over $G$ is schurian. We prove that the groups $M_{3^n}=\langle a,b\;|\:a^{3^{n-1}}=b^3=e,a^b=a^{3^{n-2}+1}\rangle$, where $n\geq3$, are not Schur. Modulo previously obtained results, it follows that every Schur $p$-group is abelian whenever $p$ is an odd prime.