La afirmación de que todo entero mayor que uno puede expresarse como producto de números primos y que esta factorización es única salvo el orden de los factores primos.

Principio

Los enteros mayores que uno forman una estructura multiplicativa generada por primos: los primos son los bloques irreducibles y todo entero compuesto se descompone en ellos de forma esencialmente única.

Demostración

Ejemplo: 84 = 2^2 × 3 × 7; ninguna otra lista de primos (salvo el orden) da 84, ilustrando la unicidad de la factorización para este entero.

Aplicación incorrecta

Suponer que la factorización única en primos se mantiene en anillos o sistemas numéricos arbitrarios; muchos anillos (por ejemplo ciertos anillos de enteros cuadráticos) carecen de unicidad y admiten factorizaciones distintas en irreducibles.

Consecuencia

Sostiene la teoría de la divisibilidad: máximos comunes divisores, mínimos comunes múltiplos, funciones aritméticas multiplicativas y numerosos algoritmos en teoría de números dependen de la unicidad de la factorización en Z.

Inversión

La inversión destaca dominios donde la factorización no es única: allí primos e irreducibles divergen y las propiedades aritméticas clásicas fallan, lo que conduce a nociones alternativas como la factorización de ideales.

Límite

Se aplica a enteros positivos mayores que uno en el anillo de enteros Z; signos y unidades se tratan mediante un factor de unidad global (±1). No se aplica literalmente a otros anillos sin la propiedad de factorización única.

Tensión semántica

Existe tensión entre 'primo' e 'irreducible' al salir de Z: en Z coinciden, pero en dominios integrales generales un irreducible puede no ser primo, produciendo divergencia conceptual.

Síntesis

El Teorema Fundamental De La Aritmética afirma que los primos generan de forma única la estructura multiplicativa de los enteros positivos: todo entero >1 se descompone en primos de manera única salvo el orden, hecho que fundamenta la divisibilidad y los métodos clásicos de la teoría de números.