La factorización es única, sin importar el orden.
La Unicidad de la Factorización es la segunda parte del Teorema Fundamental de la Aritmética. Mientras que la primera parte garantiza que cualquier entero mayor a 1 puede escribirse como un producto de números primos (Existencia), el principio de Unicidad asegura que este producto es único, sin importar el orden en el que escribas los factores. En otras palabras, cada entero tiene un "ADN" o una "huella digital" específica hecha de números primos. Por ejemplo, el número $12$ lo puedes escribir como $2 \times 2 \times 3$, $3 \times 2 \times 2$ o $2 \times 3 \times 2$, pero siempre va a consistir de exactamente dos $2$ y un $3$. Ninguna otra combinación de primos te va a dar 12 al multiplicarse.
Este concepto es la piedra angular de la teoría de números moderna y es esencial para resolver problemas de divisibilidad, máximo común divisor (MCD) y mínimo común múltiplo (mcm). Sin la unicidad, la definición de propiedades como el "mínimo común múltiplo" sería ambigua. En las matemáticas de olimpiada, este principio te permite igualar los exponentes de los primos correspondientes en ambos lados de una ecuación. Si sabes que $A = B$, puedes concluir que la potencia del primo $p$ que divide a $A$ tiene que ser exactamente igual a la potencia del primo $p$ que divide a $B$.
La intuición detrás de este teorema se basa en que los números primos son los "bloques de construcción" de los enteros. Así como una molécula química tiene una fórmula única que define su composición de átomos, un entero tiene una factorización prima canónica. Esto te permite traducir problemas aritméticos sobre multiplicación y divisibilidad a problemas algebraicos sobre los exponentes de los factores primos.
El Teorema Fundamental de la Aritmética (Representación Canónica) Cualquier entero $n > 1$ lo puedes representar de forma única así: $$n = p_1^{e_1} p_2^{e_2} \cdots p_k^{e_k}$$ donde:
Comparando Factorizaciones Si dos números son iguales, sus factorizaciones primas son idénticas. Si tienes: $$n = p_1^{a_1} p_2^{a_2} \cdots \quad \text{y} \quad m = p_1^{b_1} p_2^{b_2} \cdots$$ Y sabes que $n = m$, entonces para cada primo $p_i$: $$a_i = b_i$$
Valuación p-ádica La notación $v_p(n)$ (o a veces $E_p(n)$) es el exponente de la mayor potencia del primo $p$ que divide a $n$. El teorema de unicidad implica que: $$n = m \iff v_p(n) = v_p(m) \text{ para todos los primos } p$$
Teorema: La factorización prima de cualquier entero $n > 1$ es única, sin importar el orden de los factores.
Prerrequisito: Lema de Euclides. Si un primo $p$ divide a un producto $ab$, entonces $p$ divide a $a$ o $p$ divide a $b$. Por extensión, si $p$ divide a un producto de varios enteros, $p$ debe dividir al menos a uno de ellos.
Demostración: Para demostrarlo, usa una contradicción. Supón que existe un entero $n > 1$ que tiene dos factorizaciones primas distintas. Digamos que estas factorizaciones son: $$n = p_1 p_2 \cdots p_k = q_1 q_2 \cdots q_m$$ donde $p_i$ y $q_j$ son primos (no necesariamente distintos entre ellos, ya que puede haber multiplicidad).
Paso 1: Aislar un factor primo. Considera el primo $p_1$. Como $p_1$ divide a $n$, y $n = q_1 q_2 \cdots q_m$, esto significa que: $$p_1 \mid q_1 q_2 \cdots q_m$$
Paso 2: Aplicar el Lema de Euclides. Por el Lema de Euclides, como $p_1$ divide al producto de las $q$, $p_1$ tiene que dividir al menos a un factor $q_j$. Para no complicarnos (ya que el orden de las $q$ no importa), reordena las $q$ de tal manera que $p_1 \mid q_1$.
Paso 3: Igualdad de primos. Como $q_1$ es un número primo, sus únicos divisores son $1$ y él mismo. Como $p_1$ es primo, $p_1 > 1$. Por lo tanto, no queda de otra: $$p_1 = q_1$$
Paso 4: Reducción. Como $p_1 = q_1$, puedes dividir ambos lados de la ecuación original entre este primo: $$\frac{p_1 p_2 \cdots p_k}{p_1} = \frac{q_1 q_2 \cdots q_m}{q_1}$$ $$p_2 \cdots p_k = q_2 \cdots q_m$$
Paso 5: Contradicción. Repite este proceso para $p_2, p_3$, y así te vas. Para cada $p_i$, busca un $q_j$ que sea igual y cancélalos. Si $k < m$, al final vas a cancelar todas las $p$ del lado izquierdo y te va a quedar: $$1 = q_{k+1} \cdots q_m$$ Esto no puede ser, porque el producto de primos $q_{k+1} \cdots q_m$ tiene que ser mayor que 1. Pasa lo mismo si $k > m$: te quedaría un producto de primos a la izquierda igual a 1 a la derecha, y eso tampoco se puede.
Entonces, a fuerza $k = m$. Además, como emparejaste cada $p_i$ con un $q_j$ igual, los dos conjuntos de primos son los mismos y solo cambia el orden en el que los escribiste.
¡Y listo! La factorización es única. $\square$