Associated elements

Two elements that differ by multiplication by a unit.
Associated elements

Let RR be an . Elements a,bRa,b\in R are associates if there exists a uR×u\in R^\times such that a=uba=ub.

Being associates is an equivalence relation capturing “the same divisor up to invertible scaling.” Uniqueness statements for , , and factorizations are typically only up to associates.

Examples:

  • In Z\mathbb{Z}, 22 and 2-2 are associates (multiply by the unit 1-1).
  • In k[x]k[x] with kk a field, ff and cfcf are associates for any nonzero scalar ckc\in k.
  • In Z\mathbb{Z}, 22 and 44 are not associates since the only units are ±1\pm 1.