On quasiabelian Cayley graphs and graphical doubly regular representations (Q1349117): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 04:03, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On quasiabelian Cayley graphs and graphical doubly regular representations |
scientific article |
Statements
On quasiabelian Cayley graphs and graphical doubly regular representations (English)
0 references
21 May 2002
0 references
A graph \(\Gamma\) is a graphical doubly regular representation (GDRR) of a group \(G\) if \(\Gamma\) is a Cayley graph of \(G\) and \(\text{Aut}(\Gamma)=L(G)R(G)\langle\zeta_G\rangle\). Here \(L(G)\) and \(R(G)\) are respectively the left and right regular representations of \(G\), and \(\zeta_G\) is the permutation \(g\leftrightarrow g^{-1}\). The main question underlying the numerous results in this article is, which finite groups admit a GDRR? The Cayley graph \(\text{Cay}(G,S)\), where \(1\notin S=S^{-1}\), is called quasiabelian if \(S\) is a normal set. Define \(G\bowtie G=(G\times G)/\{(g,g):g\in Z(G)\}\), and define the central closure of \(G\) to be \(G\bowtie G\cong G\) if \(G\) is an elementary abelian 2-group, and the semidirect product of \(G\bowtie G\) by \(\zeta_G\) where \(\zeta_G((g,h))\zeta_G^{-1}=(h,g)\) otherwise. It is shown that the automorphism group of a quasiabelian Cayley graph of \(G\neq\{1\}\) always contains an isomorphic copy of \(G\bowtie G\) and is a GDRR of \(G\) if and only if its automorphism group is isomorphic to \(G\bowtie G\). As a corollary the author is able to determine directly from a result by \textit{W. Imrich} and the reviewer [Period Math. Hung. 7, 243-258 (1976; Zbl 0335.05118)] that with eight small exceptions, every finite abelian group admits a GDRR. Among the groups not admitting a GDRR are the alternating groups \(A_n\) for \(n\geq 4\), nonabelian groups of order \(p^3\) for \(p\) prime, and every group of which every nontrivial conguacy class is a coset of its center. If there exists one ``main result'' it is the following. If a Cayley graph is a GDRR of two nonisomorphic groups, then both groups are nonabelian with nontrivial isomorphic centers, isomorphic central quotients, and isomorphic normal subgroup lattices. In addition to numerous examples and nonexamples, there is a characterization of disconnected GDRR's, a characterization of their lattice of systems of (blocks of) imprimitivity, a characterization of when the central closure is decomposable, a list of problems for further research, and a list of some 93 references pertinent to this material.
0 references
vertex-transitive graph
0 references
quasiabelian Caley graph
0 references
graphical doubly regular representation
0 references
automorphism group
0 references
central product
0 references
central closure
0 references
central series
0 references