En matemáticas , el teorema fundamental de la aritmética , también llamado teorema de factorización única y teorema de factorización prima , establece que todo número entero mayor que 1 puede representarse de forma única como un producto de números primos , hasta el orden de los factores. [3] [4] [5] Por ejemplo,
El teorema dice dos cosas sobre este ejemplo: primero, que 1200 se puede representar como un producto de primos, y segundo, que no importa cómo se haga esto, 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úmeros 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 dominios de factorización única e incluyen dominios ideales principales , dominios euclidianos y anillos polinómicos sobre un cuerpo . Sin embargo, el teorema no se cumple para números enteros algebraicos . [6] Esta falla de la factorización única es una de las razones de la dificultad de la prueba del Último Teorema de Fermat . El uso implícito de la factorización única en anillos de números enteros algebraicos está detrás del error de muchas de las numerosas pruebas falsas que se han escrito durante los 358 años entre el enunciado de Fermat y la prueba de Wiles .
El teorema fundamental puede deducirse del Libro VII, proposiciones 30, 31 y 32, y del Libro IX, proposición 14 de los Elementos de Euclides .
Si dos números al multiplicarse entre sí dan algún número, y cualquier número primo mide el producto, también medirá uno de los números originales.
— Euclides, Elementos, Libro VII, Proposición 30
(En terminología moderna: si un primo p divide al producto ab , entonces p divide a a o b o a ambos.) La proposición 30 se conoce como el lema de Euclides y es la clave en la prueba del teorema fundamental de la aritmética.
Cualquier número compuesto se mide por algún número primo.
— Euclides, Elementos, Libro VII, Proposición 31
(En terminología moderna: todo número entero mayor que uno es divisible exactamente por algún número primo.) La proposición 31 se demuestra directamente por descenso infinito .
Cualquier número es primo o se mide por algún número primo.
— Euclides, Elementos, Libro VII, Proposición 32
La proposición 32 se deriva de la proposición 31 y demuestra que la descomposición es posible.
Si un número es el menor que se mide por números primos, no será medido por ningún otro número primo excepto aquellos que lo midieron originalmente.
— Euclides, Elementos, 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 señalado críticamente por André Weil . [7] De hecho, 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 prima, Kamāl al-Dīn al-Fārisī dio el paso final [8] y enunció por primera vez el teorema fundamental de la aritmética. [9]
El artículo 16 de las Disquisitiones Arithmeticae de Gauss es una declaración y prueba moderna temprana que emplea la aritmética modular . [1]
Todo entero positivo n > 1 se puede representar de exactamente una manera como producto de potencias primos.
donde p 1 < p 2 < ... < p k son números primos y los n i son números enteros positivos. Esta representación se extiende comúnmente a todos los números enteros positivos, incluido el 1, por la convención de que el producto vacío es igual a 1 (el producto vacío corresponde a k = 0 ).
Esta representación se denomina representación canónica [10] de n o forma estándar [11] [12] de n . Por ejemplo,
Se pueden insertar factores p 0 = 1 sin cambiar el valor de n (por ejemplo, 1000 = 2 3 ×3 0 ×5 3 ). De hecho, cualquier entero positivo se puede representar de forma única como un producto infinito tomado sobre todos los números primos positivos, como
donde un número finito de los n i son números enteros positivos y los demás son cero.
Permitir exponentes negativos proporciona una forma canónica para números racionales positivos .
Las representaciones canónicas del producto, máximo común divisor (MCD) y mínimo común múltiplo (MCM) de dos números a y b se pueden expresar simplemente en términos de las representaciones canónicas de a y b en sí mismas:
Sin embargo, la factorización de números enteros , especialmente de números grandes, es mucho más difícil que calcular productos, MCD o MCM, por lo que estas fórmulas tienen un uso limitado en la práctica.
Muchas funciones aritméticas se definen mediante la representación canónica. En particular, los valores de las funciones aditivas y multiplicativas se determinan mediante sus valores en potencias de números primos.
La prueba utiliza el lema de Euclides ( Elementos VII, 30): si un primo divide el producto de dos números enteros, entonces debe dividir al menos uno de estos números enteros.
Debe demostrarse que todo entero mayor que 1 es primo o producto de primos. Primero, 2 es primo. Luego, por inducción fuerte , supongamos que esto es cierto para todos los números mayores que 1 y menores que n . Si n es primo, no hay nada más que demostrar. De lo contrario, existen los números enteros a y b , donde n = ab y 1 < a ≤ b < n . Por la hipótesis de inducción, a = p 1 p 2 ⋅⋅⋅ p j y b = q 1 q 2 ⋅⋅⋅ q k son productos de primos. Pero entonces n = ab = p 1 p 2 ⋅⋅⋅ p j q 1 q 2 ⋅⋅⋅ q k es un producto de primos.
Supongamos, por el contrario, que hay un entero que tiene dos factorizaciones primas distintas. Sea n el menor de esos enteros y escribamos n = p 1 p 2 ... p j = q 1 q 2 ... q k , donde cada p i y q i son primos. Vemos que p 1 divide a q 1 q 2 ... q k , por lo que p 1 divide a algún q i por el lema de Euclides . Sin pérdida de generalidad, digamos que p 1 divide a q 1 . Como p 1 y q 1 son ambos primos, se sigue que p 1 = q 1 . Volviendo a nuestras factorizaciones de n , podemos cancelar estos dos factores para concluir que p 2 ... p j = q 2 ... q k . Ahora tenemos dos factorizaciones primas distintas de algún entero estrictamente menor que n , lo que contradice la minimalidad de n .
El teorema fundamental de la aritmética también se puede demostrar sin utilizar el lema de Euclides. [13] La prueba que sigue está inspirada en la versión original de Euclides del algoritmo euclidiano .
Supongamos que es el entero positivo más pequeño que es el producto de números primos de dos maneras diferentes. Por cierto, esto implica que , si existe, debe ser un número compuesto mayor que . Ahora, digamos
Cada uno debe ser distinto de cada uno. De lo contrario, si, por ejemplo , entonces existiría algún entero positivo que es menor que s y tiene dos factorizaciones primas distintas. También se puede suponer que intercambiando las dos factorizaciones, si es necesario.
Configuración y uno tiene Además, dado que uno tiene Entonces se deduce que
Como se ha supuesto que los números enteros positivos menores que s tienen una factorización prima única, debe ocurrir en la factorización de o Q . El último caso es imposible, ya que Q , al ser menor que s , debe tener una factorización prima única y difiere de cada El primer caso también es imposible, ya que, si es un divisor de debe ser también un divisor de lo cual es imposible ya que y son primos distintos.
Por lo tanto, no puede existir un entero más pequeño con más de una factorización prima distinta. Todo entero positivo debe ser un número primo en sí mismo, que se factorizaría de forma única, o un compuesto que también se factorice de forma única en primos, o en el caso del entero , no factorizarse en ningún primo.
La primera generalización del teorema se encuentra en la segunda monografía de Gauss (1832) sobre reciprocidad bicuadrática . Este artículo introdujo lo que ahora se llama el anillo de los números enteros gaussianos , el conjunto de todos los números complejos a + bi donde a y b son números enteros. Ahora se denota por Demostró que este anillo tiene las cuatro unidades ±1 y ± i , que los números distintos de cero, no unitarios se dividen en dos clases, primos y compuestos, y que (excepto por el orden), los compuestos tienen factorización única como producto de primos ( hasta el orden y la multiplicación por unidades). [14]
De manera similar, en 1844, mientras trabajaba en la reciprocidad cúbica , Eisenstein introdujo el anillo , donde es una raíz cúbica de la unidad . Este es el anillo de los números enteros de Eisenstein , y demostró que tiene seis unidades y que tiene factorización única.
Sin embargo, también se descubrió que la factorización única no siempre se cumple. Un ejemplo lo da . En este anillo se tiene [15]
Ejemplos como este hicieron que se modificara la noción de "primo". En se puede probar que si alguno de los factores anteriores se puede representar como un producto, por ejemplo, 2 = ab , entonces uno de a o b debe ser una unidad. Esta es la definición tradicional de "primo". También se puede probar que ninguno de estos factores obedece al lema de Euclides; por ejemplo, 2 no divide ni a (1 + √ −5 ) ni a (1 − √ −5 ) aunque divida su producto 6. En la teoría de números algebraicos, 2 se llama irreducible en (solo divisible por sí mismo o una unidad) pero no primo en (si divide un producto debe dividir uno de los factores). La mención de es necesaria porque 2 es primo e irreducible en Usando estas definiciones se puede probar que en cualquier dominio integral un primo debe ser irreducible. El lema clásico de Euclides se puede reformular como "en el anillo de los números enteros, todo irreducible es primo". Esto también es cierto en y pero no en
Los anillos en los que la factorización en irreducibles es esencialmente única se denominan dominios de factorización únicos . Ejemplos importantes son los anillos polinómicos sobre los números enteros o sobre un cuerpo , los dominios euclidianos y los dominios de ideales principales .
En 1843, Kummer introdujo el concepto de número ideal , que fue desarrollado por Dedekind (1876) en la teoría moderna de ideales , subconjuntos especiales de anillos. La multiplicación se define para los ideales, y los anillos en los que tienen factorización única se denominan dominios de Dedekind .
Existe una versión de factorización única para ordinales , aunque requiere algunas condiciones adicionales para garantizar la unicidad.
Todo monoide de Möbius conmutativo satisface un teorema de factorización única y, por lo tanto, posee propiedades aritméticas similares a las del semigrupo multiplicativo de números enteros positivos. El teorema fundamental de la aritmética es, de hecho, un caso especial del teorema de factorización única en los monoides de Möbius conmutativos.
Se podría decir que Euclides da el primer paso en el camino hacia la existencia de la factorización prima, y al-Farisi da el paso final al demostrar realmente la existencia de una factorización prima finita en su primera proposición.
a enunciar por primera vez el teorema fundamental de la aritmética.
Las Disquisitiones Arithmeticae han sido traducidas del latín al inglés y al alemán. La edición alemana incluye todos sus trabajos sobre teoría de números: todas las pruebas de reciprocidad cuadrática, la determinación del signo de la suma de Gauss, las investigaciones sobre reciprocidad bicuadrática y notas inéditas.
Las dos monografías que Gauss publicó sobre la reciprocidad bicuadrática tienen secciones numeradas consecutivamente: la primera contiene los §§ 1–23 y la segunda los §§ 24–76. Las notas a pie de página que hacen referencia a estos tienen la forma "Gauss, BQ, § n ". Las notas a pie de página que hacen referencia a las Disquisitiones Arithmeticae tienen la forma "Gauss, DA, Art. n ".
Estas se encuentran en las Obras de Gauss , vol. II, págs. 65-92 y 93-148; las traducciones alemanas son las págs. 511-533 y 534-586 de la edición alemana de las Disquisitiones .