×

Structure in the zero-divisor graph of a noncommutative ring. (English) Zbl 1064.16033

If \(R\) is a (non-commutative possibly) ring let \(\Gamma(R)\) be the digraph with vertices \(x\in R\) a nonzero zero-divisor and arrows \(x\to y\) (\(x\neq y\)) iff \(xy=0\). In the commutative case \(x\to y\) means \(y\to x\) also and \(x-y\) can be taken to be an undirected edge. This not being the only definition, nor perhaps the standard one, it is nevertheless a simple and natural way to look at the graphical representation of the zero-divisor structure.
Main theorems extend results or prove new ones. Thus if \(R\) does not contain nonzero nilpotent elements \(xy=0\) (\(x\to y\)) implies \(yx=0\) (\(y\to x\)) for \(|\Gamma(R)|\geq 2\). Hence \(\Gamma(R)\) is an undirected graph and, e.g., not a tournament. Similarly, if \(R\) is finite then \(\Gamma(R)\) is not a network. Some examples of digraphs which cannot be zero-divisor graphs of rings (in the sense of this paper) are provided and it is shown that for \(R\) finite, \(\Gamma(R)\) has an even number of edges as well.

MSC:

16U99 Conditions on elements
05C99 Graph theory
16P10 Finite rings and finite-dimensional associative algebras
16B99 General and miscellaneous