Associated elements
Two elements that differ by multiplication by a unit.
Associated elements
Let be an integral domain . Elements are associates if there exists a unit such that .
Being associates is an equivalence relation capturing “the same divisor up to invertible scaling.” Uniqueness statements for gcds , prime elements , and factorizations are typically only up to associates.
Examples:
- In , and are associates (multiply by the unit ).
- In with a field, and are associates for any nonzero scalar .
- In , and are not associates since the only units are .