Definition
Least Common Multiple
The least common multiple of and is the smallest integer such that and both divide .
Fundamental Theorem of Arithmetic
Using fundamental theorem of arithmetic, the least common multiple of can be represented as:
This can be useful when proving distribution laws for distributive lattices.