Annihilator Graphs

The annihilator graph of a commutative ring R, denoted AG(R), is a graph whose vertices are the nonzero zero-divisors of R and two distinct vertices x and y are connected by an edge if and only if ann(xy) ≠ ann(x) U ann(y).