Least common multiple
A common multiple m of a and b that divides every other common multiple (defined up to associates).
Let be an integral domain and let . A least common multiple of and is an element such that:
- and , and
- if and , then .
Remarks
An lcm is unique up to associates. In settings where gcds exist, one often has the relation is associate to , where is a gcd of and .
Examples
- In , .
- In , (up to multiplication by a nonzero scalar).
- For any , a least common multiple of and is .