Teorema que afirma que todo entero mayor que uno puede escribirse como producto de números primos y que dicha factorización es única salvo el orden de los factores (y salvo multiplicación por las unidades ±1 en Z).

Principio

Los primos actúan como átomos multiplicativos en los enteros; la existencia se prueba por inducción o mediante argumentos al estilo de Euclides y la unicidad se deriva del algoritmo de Euclides o de la propiedad de que un primo divide un producto solo si divide uno de los factores.

Demostración

Ejemplo: 84 = 2^2 × 3 × 7 es una factorización en primos de 84; ninguna otra multiconjunto de primos (ignorando el orden) multiplica a 84. La unicidad se utiliza para mostrar, por ejemplo, que el mcd y el mcm se leen sobre los exponentes primos.

Aplicación incorrecta

Asumir que la misma unicidad se cumple automáticamente en otros anillos sin verificar la factorización única (p. ej. en algunos anillos de enteros algebraicos falla la UFD), o descuidar las unidades y asociados al comparar factorizaciones.

Consecuencia

Sustenta muchos resultados aritméticos: definición bien planteada de exponentes primos, funciones aritméticas multiplicativas, propiedades básicas de mcd y mcm, y la estructura de grupos abelianos finitos mediante descomposiciones en factores invariantes.

Inversión

En anillos que no son de factorización única el análogo falla: los elementos pueden tener dos factorizaciones irreducibles distintas (salvo unidades), de modo que las consecuencias aritméticas que dependen de la unicidad son falsas o requieren modificación.

Límite

Concierne específicamente a los enteros Z (o, en general, a dominios de factorización única cuando se generaliza); excluye 0 y ±1 de la factorización en primos y trata los primos salvo asociados — el orden no importa pero los múltiplos por una unidad se consideran equivalentes.

Tensión semántica

Se relaciona con el concepto más amplio de dominios de factorización única (UFD): el teorema es el caso particular para Z, mientras que los fallos de factorización única en teoría algebraica de números motivan la teoría de ideales y los grupos de clases.

Síntesis

El Teorema Fundamental De La Aritmética establece que los primos son los bloques multiplicativos básicos de los enteros y que todo entero >1 tiene una descomposición única en estos átomos, proporcionando una estructura multiplicativa canónica para la teoría de números clásica.