Ideal-Divisor Graphs

An ideal-divisor graph of a commutative ring R, denoted Γ_I(R), is a graph where the vertices are elements x of R\I such that for any element y in R\I, the product xy is in I. Edges are drawn between two vertices x and y if and only if xy is in I.