Teorema fundamental de la aritmética

65 idiomas

 Artículo
 Discusión
 Leer
 Editar
 Ver historial

Herramientas














No debe confundirse con Teorema fundamental del álgebra.

El teorema de factorización único fue probado por Gauss en su libro de 1801, Disquisitiones

Arithmeticae.1 En él, Gauss utilizó el teorema fundamental para probar la ley de reciprocidad cuadrática.2
En matemática, y particularmente en la teoría de números, el teorema
fundamental de la aritmética o teorema de factorización única afirma que
todo entero positivo mayor que 1 es un número primo o bien un único producto de
números primos. Por ejemplo,
No existe ninguna otra factorización de 6936 y 1200 en términos de
números primos. Como la multiplicación es conmutativa, el orden de los
factores es irrelevante; por esta razón, usualmente se enuncia el teorema
como factorización única salvo en el orden de los factores.
El teorema dice dos cosas sobre este ejemplo: primero, que 1200 puede
representarse como un producto de primos, y segundo, que no importa
cómo se haga, siempre habrá exactamente cuatro 2, un 3, dos 5 y ningún
otro primo en el producto.
El requisito de que los factores sean primos es necesario: las
factorizaciones que contienen número compuestos pueden no ser únicas
(por ejemplo, ).
Este teorema es una de las principales razones por las que 1 no se
considera un número primo: si 1 fuera primo, entonces la factorización en
primos no sería única; por ejemplo, .
El teorema se generaliza a otras estructuras algebraicas que se
denominan Dominio de factorización única e incluyen dominios de ideales
principales, dominios euclídeoss y anillos polinómicos sobre un campo. Sin
embargo, el teorema no se cumple para enteros algebraicos.3 Este fallo de
la factorización única es una de las razones de la dificultad de la
demostración del Último Teorema de Fermat. El uso implícito de la
factorización única en anillos de enteros algebraicos está detrás del error
de muchas de las numerosas pruebas falsas que se han escrito durante los
358 años transcurridos entre la afirmación de Fermat's y Wiles's proof.

Historia[editar]
El teorema fundamental puede derivarse del Libro VII, proposiciones 30, 31
y 32, y del Libro IX, proposición 14 de Elementos de Euclides.
Si dos números al multiplicarse entre sí hacen algún número, y cualquier número primo mide el
producto, también también medirá uno de los números originales.
Euclides

(En terminología moderna: si un primo p divide al producto ab,

entonces p divide a a o a b o a ambos). La proposición 30 se conoce
como lema de Euclides, y es la clave en la demostración del teorema
fundamental de la aritmética.
Todo número compuesto es medido por algún número primo.

EuclidesElementos Libro VII, Proposición 31

(En terminología moderna: todo número entero mayor que uno está
dividido uniformemente por algún número primo). La proposición 31 se
demuestra directamente por descenso infinito.
Cualquier número o es primo o es medido por algún número primo.

EuclidesElementos Libro VII, Proposición 32

La proposición 32 se deriva de la proposición 31, y prueba que la

descomposición es posible.
Si un número es el menor de los que miden los números primos, no será medido por ningún
otro número primo excepto los que lo miden originalmente.

EuclidesElementos Libro IX, Proposición 14

(En terminología moderna: un mínimo común múltiplo de varios números

primos no es múltiplo de ningún otro número primo). El Libro IX,
proposición 14 se deriva del Libro VII, proposición 30, y prueba
parcialmente que la descomposición es única - un punto críticamente
señalado por André Weil.4 En efecto, en esta proposición los exponentes
son todos iguales a uno, por lo que no se dice nada para el caso general.
Mientras que Euclides dio el primer paso en el camino hacia la existencia
de la factorización de los primos, Kamāl al-Dīn al-Fārisī dio el paso final5 y
enunció por primera vez el teorema fundamental de la aritmética. 6
El artículo 16 de GaussDisquisitiones Arithmeticae es un enunciado y
demostración de principios de la modernidad que emplea la aritmética
modular.7

Aplicaciones[editar]
Representación canónica de un entero positivo[editar]
Todo entero positivo n > 1 puede ser representado exactamente de una
única manera como un producto de potencias de números primos: