Ring theory MOC

Associate elements

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 .

Conversely, if , then , so .

---

tidy | en | sembr