scholarly journals Integral Cayley Graphs over Abelian Groups

10.37236/353 ◽  
2010 ◽  
Vol 17 (1) ◽  
Author(s):  
Walter Klotz ◽  
Torsten Sander

Let $\Gamma$ be a finite, additive group, $S \subseteq \Gamma, 0\notin S, -S=\{-s: s\in S\}=S$. The undirected Cayley graph Cay$(\Gamma,S)$ has vertex set $\Gamma$ and edge set $\{\{a,b\}: a,b\in \Gamma$, $a-b \in S\}$. A graph is called integral, if all of its eigenvalues are integers. For an abelian group $\Gamma$ we show that Cay$(\Gamma,S)$ is integral, if $S$ belongs to the Boolean algebra $B(\Gamma)$ generated by the subgroups of $\Gamma$. The converse is proven for cyclic groups. A finite group $\Gamma$ is called Cayley integral, if every undirected Cayley graph over $\Gamma$ is integral. We determine all abelian Cayley integral groups.

2008 ◽  
Vol 09 (01n02) ◽  
pp. 73-82
Author(s):  
JOSEPH J. LEE ◽  
ELYSIA J. SHEU ◽  
XINGDE JIA

Let Γ be a finite group with a nonempty subset A. The Cayley graph Cay (Γ, A) of Γ generated by A is defined as the digraph with vertex set Γ and edge set {(x,y) | x-1 y ∈ A}. Cay (Γ, A) can be regarded as an undirected graph if x-1 ∈ A for all x ∈ A. Let [Formula: see text] denote the largest integer M so that there exists a set of integers A = {±1, ±a2;…, ±ak} such that the average distance between all pairs of vertices of Cay (ℤM,A) is at most r, where ℤM is the additive group of residue classes modulo M. It is proved in this paper that [Formula: see text] It is also proved that [Formula: see text]


10.37236/581 ◽  
2011 ◽  
Vol 18 (1) ◽  
Author(s):  
Walter Klotz ◽  
Torsten Sander

An undirected graph is called integral, if all of its eigenvalues are integers. Let $\Gamma =Z_{m_1}\otimes \ldots \otimes Z_{m_r}$ be an abelian group represented as the direct product of cyclic groups $Z_{m_i}$ of order $m_i$ such that all greatest common divisors $\gcd(m_i,m_j)\leq 2$ for $i\neq j$. We prove that a Cayley graph $Cay(\Gamma,S)$ over $\Gamma$ is integral, if and only if $S\subseteq \Gamma$ belongs to the the Boolean algebra $B(\Gamma)$ generated by the subgroups of $\Gamma$. It is also shown that every $S\in B(\Gamma)$ can be characterized by greatest common divisors.


2019 ◽  
Vol 18 (01) ◽  
pp. 1950013
Author(s):  
Alireza Abdollahi ◽  
Maysam Zallaghi

Let [Formula: see text] be a group and [Formula: see text] an inverse closed subset of [Formula: see text]. By a Cayley graph [Formula: see text], we mean the graph whose vertex set is the set of elements of [Formula: see text] and two vertices [Formula: see text] and [Formula: see text] are adjacent if [Formula: see text]. A group [Formula: see text] is called a CI-group if [Formula: see text] for some inverse closed subsets [Formula: see text] and [Formula: see text] of [Formula: see text], then [Formula: see text] for some automorphism [Formula: see text] of [Formula: see text]. A finite group [Formula: see text] is called a BI-group if [Formula: see text] for some inverse closed subsets [Formula: see text] and [Formula: see text] of [Formula: see text], then [Formula: see text] for all positive integers [Formula: see text], where [Formula: see text] denotes the set [Formula: see text]. It was asked by László Babai [Spectra of Cayley graphs, J. Combin. Theory Ser. B 27 (1979) 180–189] if every finite group is a BI-group; various examples of finite non-BI-groups are presented in [A. Abdollahi and M. Zallaghi, Character sums of Cayley graph, Comm. Algebra 43(12) (2015) 5159–5167]. It is noted in the latter paper that every finite CI-group is a BI-group and all abelian finite groups are BI-groups. However, it is known that there are finite abelian non-CI-groups. Existence of a finite non-abelian BI-group which is not a CI-group is the main question which we study here. We find two non-abelian BI-groups of orders 20 and 42 which are not CI-groups. We also list all BI-groups of orders up to 30.


1998 ◽  
Vol 57 (2) ◽  
pp. 181-188 ◽  
Author(s):  
Cai Heng Li

For a finite group G and a subset S of G with 1 ∉ S, the Cayley graph Cay(G, S) is the digraph with vertex set G such that (x, y) is an arc if and only if yx−1 ∈ S. The Cayley graph Cay(G, S) is called a CI-graph if, for any T ⊂ G, whenever Cay (G, S) ≅ Cay(G, T) there is an element a σ ∈ Aut(G) such that Sσ = T. For a positive integer m, G is called an m-DCI-group if all Cayley graphs of G of valency at most m are CI-graphs; G is called a connected m-DCI-group if all connected Cayley graphs of G of valency at most m are CI-graphs. The problem of determining Abelian m-DCI-groups is a long-standing open problem. It is known from previous work that all Abelian m-DCI-groups lie in an explicitly determined class of Abelian groups. First we reduce the problem of determining Abelian m-DCI-groups to the problem of determining whether every subgroup of a member of is a connected m-DCI-group. Then (for a finite group G, letting p be the least prime divisor of |G|,) we completely classify Abelian connected (p + 1)-DCI-groups G, and as a corollary, we completely classify Abelian m-DCI-groups G for m ≤ p + 1. This gives many earlier results when p = 2.


10.37236/5240 ◽  
2016 ◽  
Vol 23 (3) ◽  
Author(s):  
István Estélyi ◽  
Tomaž Pisanski

For a finite group $G$ and subset $S$ of $G,$ the Haar graph $H(G,S)$ is a bipartite regular graph, defined as a regular $G$-cover of a dipole with $|S|$ parallel arcs labelled by elements of $S$. If $G$ is an abelian group, then $H(G,S)$ is well-known to be a Cayley graph; however, there are examples of non-abelian groups $G$ and subsets $S$ when this is not the case. In this paper we address the problem of classifying finite non-abelian groups $G$ with the property that every Haar graph $H(G,S)$ is a Cayley graph. An equivalent condition for $H(G,S)$ to be a Cayley graph of a group containing $G$ is derived in terms of $G, S$ and $\mathrm{Aut } G$. It is also shown that the dihedral groups, which are solutions to the above problem, are $\mathbb{Z}_2^2,D_3,D_4$ and $D_{5}$. 


2021 ◽  
Vol 28 (4) ◽  
Author(s):  
Monu Kadyan ◽  
Bikash Bhattacharjya

A mixed graph is said to be integral if all the eigenvalues of its Hermitian adjacency matrix are integer. Let $\Gamma$ be an abelian group. The mixed Cayley graph $Cay(\Gamma,S)$ is a mixed graph on the vertex set $\Gamma$ and edge set $\left\{ (a,b): b-a\in S \right\}$, where $0\not\in S$. We characterize integral mixed Cayley graph $Cay(\Gamma,S)$ over an abelian group $\Gamma$ in terms of its connection set $S$.


Mathematics ◽  
2021 ◽  
Vol 9 (23) ◽  
pp. 3147
Author(s):  
Monalisha Sharma ◽  
Rajat Kanti Nath ◽  
Yilun Shang

Let H be a subgroup of a finite non-abelian group G and g∈G. Let Z(H,G)={x∈H:xy=yx,∀y∈G}. We introduce the graph ΔH,Gg whose vertex set is G\Z(H,G) and two distinct vertices x and y are adjacent if x∈H or y∈H and [x,y]≠g,g−1, where [x,y]=x−1y−1xy. In this paper, we determine whether ΔH,Gg is a tree among other results. We also discuss about its diameter and connectivity with special attention to the dihedral groups.


2020 ◽  
Vol 27 (01) ◽  
pp. 131-136
Author(s):  
Elena V. Konstantinova ◽  
Daria Lytkina

We prove that the spectrum of a Cayley graph over a finite group with a normal generating set S containing with every its element s all generators of the cyclic group 〈s〉 is integral. In particular, a Cayley graph of a 2-group generated by a normal set of involutions is integral. We prove that a Cayley graph over the symmetric group of degree n no less than 2 generated by all transpositions is integral. We find the spectrum of a Cayley graph over the alternating group of degree n no less than 4 with a generating set of 3-cycles of the form (k i j) with fixed k, as {−n+1, 1−n+1, 22 −n+1, …, (n−1)2 −n+1}.


Filomat ◽  
2017 ◽  
Vol 31 (20) ◽  
pp. 6419-6429 ◽  
Author(s):  
Modjtaba Ghorbani ◽  
Farzaneh Nowroozi-Larki

Let G be a finite group of order pqr where p > q > r > 2 are prime numbers. In this paper, we find the spectrum of Cayley graph Cay(G,S) where S ? G \ {e} is a normal symmetric generating subset.


2019 ◽  
Vol 19 (12) ◽  
pp. 2150001
Author(s):  
Shikun Ou ◽  
Dein Wong ◽  
Hailin Liu ◽  
Fenglei Tian

The inclusion graph of a finite group [Formula: see text], written as [Formula: see text], is defined to be an undirected graph whose vertices are all nontrivial subgroups of [Formula: see text], and two distinct vertices [Formula: see text], [Formula: see text] are adjacent if and only if either [Formula: see text] or [Formula: see text]. For a graph [Formula: see text] with vertex set [Formula: see text], a set of vertices [Formula: see text] is called a fixing set of [Formula: see text] if the only automorphism of [Formula: see text] that fixes every element in [Formula: see text] is the identity. The fixing number of [Formula: see text] is the smallest size of a fixing set of [Formula: see text]. In this paper, we determine the finite nilpotent groups whose inclusion graphs are planar. Moreover, using the technique of characteristic matrices, we characterize the fixing sets and give the exact value on the fixing number of the inclusion graphs for finite cyclic groups.


Sign in / Sign up

Export Citation Format

Share Document