Least Common Multiple
ArithmeticThe least common multiple (LCM) is the smallest positive number that is a multiple of two or more given numbers.
Formula
\text{LCM}(a,b) = \frac{a \times b}{\text{GCF}(a,b)}
Definition
The least common multiple (LCM) of two or more numbers is the smallest number that all of them divide into evenly.
Example
LCM of $4$ and $6$: multiples of $4$: $4, 8, 12, 16 \ldots$; multiples of $6$: $6, 12, 18 \ldots$ The first number on both lists is $12$. So $\text{LCM}(4,6) = 12$.
Key Insight
The LCM is used to add fractions: to add $1/4 + 1/6$, find $\text{LCM}(4,6) = 12$ as the common denominator.
Definition
$\text{LCM}(a,b)$ is the smallest positive integer that is a multiple of both $a$ and $b$. Using prime factorization, take the maximum exponent for each prime factor. The relation $\text{LCM}(a,b) \times \text{GCF}(a,b) = a \times b$ holds for positive integers.
Example
$\text{LCM}(12,18)$: $12 = 2^2 \times 3$, $18 = 2 \times 3^2$. $\text{LCM} = 2^2 \times 3^2 = 36$. Check: $36/12 = 3$, $36/18 = 2$. Formula: $\text{LCM} = 12 \times 18 / \text{GCF}(12,18) = 216/6 = 36$.
Key Insight
$\text{LCM}(a,b) \times \text{GCF}(a,b) = ab$ is a beautiful symmetry: where GCF uses minimum prime exponents, LCM uses maximum, and $\min + \max = \text{sum}$ (for each prime), which is the total.
Definition
$\text{LCM}(a,b)$ generates the ideal $a\mathbb{Z} \cap b\mathbb{Z}$ in $\mathbb{Z}$. While GCD corresponds to sum of ideals ($a\mathbb{Z} + b\mathbb{Z}$), LCM corresponds to their intersection. In a lattice-theoretic sense, GCD is the meet and LCM is the join of the divisibility lattice.
Example
In modular arithmetic, LCM determines the period of simultaneous congruences. By the Chinese Remainder Theorem, the system $x \equiv a \pmod m$, $x \equiv b \pmod n$ has period $\text{LCM}(m,n)$ when $\gcd(m,n) \mid (a-b)$.
Key Insight
The divisibility partial order on $\mathbb{Z}^+$ is a distributive lattice with GCD as meet and LCM as join. This structure is isomorphic to the lattice of ideals of $\mathbb{Z}$, providing an algebraic foundation for elementary number theory.