For an element $x$ of a commutative ring $R$, let $\Gamma_x(R)$ be the graph whose vertices are the elements of $R$ that divide $x$ such that distinct vertices $r$ and $s$ are adjacent if and only if $rs=x$. If $x$ is a nonzero nonirreducible nonunit of an integral domain $R$, then $\Gamma_x^\mathcal{C}(R)$ is the graph whose vertices are the associate classes of divisors of $x$ that are neither units nor associates of $x$ such that distinct vertices $A$ and $B$ are adjacent if and only if $rs$ divides $x$ for some (and hence every) $r\in A$ and $s\in B$. The graphs $\Gamma_x(R)$ are considered when $R$ is a local Artinian principal ideal ring, and $\Gamma_x^\mathcal{C}(R)$ is examined when $R$ is a valuation domain. For example, it is shown that a finite local ring $R$ is a principal ideal ring if and only if there exists $x\in R$ such that every connected component of $\Gamma_x(R)$ is a star graph of a prescribed cardinality. Moreover, it is proved that an integral domain $R$ is a discrete valuation ring if and only if its collection of graphs $\Gamma_x^\mathcal{C}(R)$ consists precisely of a single-vertex graph, along with every (up to isomorphism) graph that is realizable as the compressed $0$-divisor graph of a local Artinian principal ideal ring. Certain graphs associated with partially ordered abelian groups have an essential role in the work.
Read full abstract