Common Denominator
A common denominator is a shared multiple of the denominators of two or more fractions, allowing them to be added or compared.
Definition
A common denominator is a number that works as the bottom number for two or more fractions at the same time; to add fractions, they need the same "size" of pieces, so you find a common denominator first. Formally, a common denominator of fractions $a/b$ and $c/d$ is any positive integer that is a multiple of both $b$ and $d$, i.e., $b \mid m$ and $d \mid m$; the simplest choice is the least common denominator, $\text{LCD} = \text{LCM}(b, d) = bd/\gcd(b, d)$. In a general commutative ring, the analogous construction uses the LCM of elements in a unique factorization domain.
Example
To add $1/4 + 1/3$, find a common denominator: both $4$ and $3$ divide into $12$, so $1/4 = 3/12$ and $1/3 = 4/12$, giving $3/12 + 4/12 = 7/12$. For $5/6 + 7/8$, the LCD is $\text{LCM}(6, 8) = 24$: $5/6 = 20/24$ and $7/8 = 21/24$, so the sum is $41/24 = 1$ and $17/24$ (using $48$, another common multiple, also works but leaves larger numbers to simplify). The same idea works in $\mathbb{Z}[x]$: adding $1/(x-1) + 1/(x+1)$ uses common denominator $(x-1)(x+1) = x^2-1$, giving $(x+1+x-1)/(x^2-1) = 2x/(x^2-1)$.
Key Insight
You can't add apples and oranges, and you can't directly add thirds and quarters: a common denominator converts everything into the same "flavor" of piece so the addition makes sense. The rule for adding fractions over a common denominator, add the numerators and keep the denominator, directly reflects the distributive property: $a/n + b/n = (a+b) \times (1/n)$. Common denominators are in fact the key step in defining addition on any field of fractions; proving that $\mathbb{Q}$ is a field requires showing this construction is well-defined regardless of which representatives are chosen, and the cross-multiplication check is exactly the verification needed.