Mínimo Común Múltiplo
El mínimo común múltiplo (MCM) es el menor número positivo que es múltiplo de dos o más números dados.
Formula
\text{LCM}(a,b) = \frac{a \times b}{\text{GCF}(a,b)}
Definition
El mínimo común múltiplo (MCM) de dos o más números es el número más pequeño en el cual todos ellos caben exactamente. Usando la factorización prima, el MCM toma el exponente máximo de cada factor primo, y la relación $\text{LCM}(a,b) \times \text{GCF}(a,b) = a \times b$ se cumple para enteros positivos. Algebraicamente, $\text{LCM}(a,b)$ genera el ideal $a\mathbb{Z} \cap b\mathbb{Z}$ en $\mathbb{Z}$: mientras que el MCD corresponde a la suma de ideales ($a\mathbb{Z} + b\mathbb{Z}$), el MCM corresponde a su intersección, haciendo del MCD el ínfimo y del MCM el supremo del retículo de divisibilidad.
Example
MCM de $4$ y $6$: los múltiplos de $4$ son $4, 8, 12, 16, \ldots$; los múltiplos de $6$ son $6, 12, 18, \ldots$; el primero compartido es $12$, así que $\text{LCM}(4,6) = 12$, que es exactamente el denominador común que usarías para sumar $1/4 + 1/6$. $\text{LCM}(12,18)$: $12 = 2^2 \times 3$, $18 = 2 \times 3^2$, así que $\text{LCM} = 2^2 \times 3^2 = 36$, coincidiendo con la fórmula $12 \times 18 / \text{GCF}(12,18) = 216/6 = 36$. Por el Teorema Chino del Resto, el sistema $x \equiv a \pmod m$, $x \equiv b \pmod n$ tiene período $\text{LCM}(m,n)$ cuando $\gcd(m,n) \mid (a-b)$, así que el MCM determina el período de congruencias simultáneas.
Key Insight
$\text{LCM}(a,b) \times \text{GCF}(a,b) = ab$ es una hermosa simetría: el MCD usa los exponentes primos mínimos, el MCM usa los máximos, y mínimo más máximo es igual al total para cada primo. El orden parcial de divisibilidad sobre $\mathbb{Z}^+$ es un retículo distributivo con el MCD como ínfimo y el MCM como supremo, isomorfo al retículo de ideales de $\mathbb{Z}$, proporcionando un fundamento algebraico para la teoría elemental de números.