The group C_p^4 C_q is a DCI-group

DOI10.1016/J.DISC.2021.112705MaRDI QIDQ2065876zbMATH OpenOpenAlexFDO

Authors István Kovács, Grigoriĭ Konstantinovich Ryabov

Publication date 13 January 2022

Published in Discrete Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1912.08835

zbMATH Keywords

DCI-groupisomorphismSchur ring

Mathematics Subject Classification ID

Directed graphs (digraphs), tournaments (05C20) Graphs and abstract algebra (groups, rings, fields, etc.) (05C25) Isomorphism problems in graph theory (reconstruction conjecture, etc.) and homomorphisms (subgraph embedding, etc.) (05C60)

Abstract: We prove that the group $C_p^{4}imes{C}_q$ is a DCI-group for distinct primes $p$ and $q$, that is, two Cayley digraphs over $C_p^{4}imes{C}_q$ are isomorphic if and only if their connection sets are conjugate by a group automorphism.

Review text

Given a finite group \(G\) and \(S\subseteq G\), the Cayley digraph \(\mathrm{Cay}(G, S)\) is defined to be the digraph whose vertex set is \(G\) and arc set is \(\{(g, sg) : g\in G, s\in S\}\). Two digraphs \(\mathrm{Cay}(G, S)\) and \(\mathrm{Cay}(G, T)\) are called Cayley isomorphic if there exists \(\phi\in \mathrm{Aut}(G)\) such that \(T=S^\phi\). The subset \(S\) is called a CI-subset if, for every \(T\subseteq G\), \(\mathrm{Cay}(G, S)\cong \mathrm{Cay}(G, T)\) implies that \(\mathrm{Cay}(G, S)\) and \(\mathrm{Cay}(G,T)\) are Cayley isomorphic. A finite group \(G\) is called a DCI-group if all of its subsets are CI-subsets. Let \(p\) and \(q\) be two distinct primes. In [\textit{I. Kovács} and \textit{M. Muzychuk}, Commun. Algebra 37, No. 10, 3500--3515 (2009; Zbl 1211.05079)], it is shown that the group \(\mathbb{Z}_p^2\times \mathbb{Z}_q\) is a DCI-group. Moreover, in the case \(q>2\), it is shown that the group \(\mathbb{Z}_p^3\times \mathbb{Z}_q\) is a DCI-group [\textit{G. Somlai} and \textit{M. Muzychuk}, Algebr. Comb. 4, No. 2, 289--299 (2021; Zbl 1465.05081)]. In the paper under review, the authors extend these results and prove that the group \(\mathbb{Z}_p^4\times\mathbb{Z}_q\) is a DCI-group.

Recommendations

• The Cayley isomorphism property for the group \(C_4\times C_p^2\)
• The Cayley isomorphism property for the group \(C_2^5 \times C_p\)
• Elementary proof that \(\mathbb{Z}_p^4\) is a DCI-group
• The Group is a CI-Group
• CI-property of \(C_p^2 \times C_n\) and \(C_p^2 \times C_q^2\) for digraphs

Cites work

• CI-property for decomposable Schur rings over an abelian group
• A non-Cayley-invariant Cayley graph of the elementary Abelian group of order 64
• An answer to Hirasaka and Muzychuk: every \(p\)-Schur ring over \(C_p^3\) is Schurian.
• An elementary Abelian group of rank 4 is a CI-group
• CI-property of elementary abelian 3-groups
• Corrigendum to: On Ádám's conjecture for circulant graphs
• Elementary Abelian \(p\)-groups of rank \(2p+3\) are not CI-groups.
• Elementary abelian groups of rank 5 are DCI-groups
• Elementary proof that \(\mathbb{Z}_p^4\) is a DCI-group
• From Schur rings to constructive and analytical enumeration of circulant graphs with prime-cubed number of vertices
• Further restrictions on the structure of finite CI-groups
• scientific article; zbMATH DE number 3646933 (Why is no real title available?)
• scientific article; zbMATH DE number 3627216 (Why is no real title available?)
• scientific article; zbMATH DE number 3009780 (Why is no real title available?)
• scientific article; zbMATH DE number 3223737 (Why is no real title available?)
• Isomorphism problem for a class of point-symmetric structures
• On a family of Schur rings over a finite cyclic group.
• On isomorphisms of finite Cayley graphs---a survey
• On Schur rings over cyclic groups. II
• On Schurity of finite abelian groups.
• On the isomorphism problem for Cayley graphs of abelian groups whose Sylow subgroups are elementary abelian or cyclic
• Schur rings.
• Schurity of S-rings over a cyclic group and generalized wreath product of permutation groups.
• Some new groups which are not CI-groups with respect to graphs
• The Cayley isomorphism property for \(\mathbb{Z}_p^3\times\mathbb{Z}_q\)
• The Group is a CI-Group
• Ádám's conjecture is true in the square-free case

Cited in

(16)

• A classification of DCI(CI)-subsets for cyclic group of odd prime power order
• Elementary abelian groups of rank 5 are DCI-groups
• Normal Cayley digraphs of generalized quaternion groups with CI-property
• Elementary proof that \(\mathbb{Z}_p^4\) is a DCI-group
• CI-property of \(C_p^2 \times C_n\) and \(C_p^2 \times C_q^2\) for digraphs
• The Cayley isomorphism property for groups of order 8p
• The Group is a CI-Group
• The Cayley isomorphism property for the group \(C_2^5 \times C_p\)
• Normal Cayley digraphs of cyclic groups with CI-property
• Generalized dihedral CI-groups
• The Cayley isomorphism property for the group \(C_4\times C_p^2\)
• Normal Cayley digraphs of dihedral groups with CI-property
• Dihedral groups with the \(m\)-DCI property
• On isomorphisms of tetravalent Cayley digraphs over dihedral groups
• Generalized quaternion groups with the m-DCI property
• Enumeration of dicirculant digraphs

Describes a project that uses

Uses Software

• COCO2P

This page was built for publication: The group \(C_p^4 \times C_q\) is a DCI-group

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2065876)