associates
Two elements in a ring with unity are associates or associated elements of each otherif one can be obtained from the other by multiplying by some unit,that is, and are associates if there is a unit such that . Equivalently, one can say that two associates are divisible by each other.
The binary relation![]()
“is an associate of” is an equivalence relation
![]()
on any ring with unity. For example, the equivalence class
![]()
of theunity of the ring consists of all units of the ring.
Examples. In the ring of the rational integers, only opposite numbers are associates. Among the polynomials, the associates of a polynomial are gotten by multiplying the polynomial by an element belonging to the coefficient ring in question (and being no zero divisor![]()
).
In an integral domain![]()
, two elements are associates if and only if theygenerate the same principal ideal
![]()
.