Given a commutative ring $R$, we can define a divisibility relation by $a|b$ on the elements of $R$ iff there exists $c \in R$ such that $b = ca$. What are the properties of this relation in general? Is it, like the case of the integers a lattice?
I know for certain cases (e.g. integral domains) this is indeed the case, but what about more general rings? In particular, I am interested in cases where the nilradical of $R$ is non-trivial. In particular, I would like to know in what instances can we say in general that such a preorder is a meet semilattice.