Cayley Graphs of Ideals in a Commutative Ring

• Published in: Bulletin of the Malaysian Mathematical Sciences Society Vol. 37; no. 3
• Main Authors: Afkhami, M, Ahmadi, M R, JahaniNezhad, R, Khashyarmanesh, K
• Format: Journal Article
• Language: English
• Published: Heidelberg Springer Nature B.V 01.01.2014
• Subjects: Mathematics
• ISSN: 0126-6705; 2180-4206

Let ... be a commutative ring. We associate a digraph to the ideals of ... whose vertex set is the set of all nontrivial ideals of ... and, for every twodistinct vertices ... and ..., there is an arc from ... to ..., denoted by ..., whenever there exists a nontrivial ideal ... such that ... We call this graph the ideal digraph of ... and denote it by ... Also, for a semigroup ... and a subset ... of ..., the Cayley graph ... of ... relative to ... is defined as the digraph with vertex set ... and edge set ... consisting of those ordered pairs ... such that ... for some ... In fact the ideal digraph ... is isomorphic to the Cayley graph ..., where ... is the set of all ideals of ... and ... consists of nontrivial ideals. The undirected ideal (simple) graph of ..., denoted by ..., has an edge joining ... and ... whenever either ... or ..., for some nontrivial ideal ... of ... In this paper, we study some basic properties of graphs ... and ... such as connectivity, diameter, graph height, Wiener index and clique number. Moreover, we study the Hasse ideal digraph ..., which is a spanning subgraph of ... such that for each two distinct vertices ... and ..., there is an arc from ... to ... in ... whenever ... in ..., and there is no vertex ... such that ... and ... in ... 2010 Mathematics Subject Classification: 05C20, 05C69, 13A15 (ProQuest: ... denotes formulae omitted.)