Let be a ring.
Two elements are associate iff their corresponding principal ideals are equal, i.e. .
For an integral domain, this is equivalent to the existence of a unit such that .
Proof of equivalence in a domain
Assume , so there exist such that and
so and thus ,
so and thus .