Teorema fundamental de la aritmética

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,

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]

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ídeos 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 y la de Andrew Wiles.

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 medirá uno de los números originales.
Euclides, Elementos Libro VII, Proposición 30

(En terminología moderna: si un primo   divide al producto  , entonces   divide a   o a   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.
Euclides, Elementos 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.
Euclides, Elementos 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.
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). La proposición 14 del Libro IX se deriva de la proposición 30 del Libro VII, 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 final[5]​ y enunció por primera vez el teorema fundamental de la aritmética.[6]

El artículo 16 de las Disquisitiones Arithmeticae de Gauss 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:

 

donde p1 < p2 < … < pk son primos y αi son enteros positivos.

Esta representación se llama representación canónica[8]​ de n, o forma estándar[9][10]​ de n.

Por ejemplo, 999 = 33×37, 1000 = 23×53, 1001 = 7×11×13

Nótese que los factores p0 = 1 pueden ser insertados sin cambiar el valor de n (p. ej., 1000 = 23×30×53). En efecto, cualquier número positivo puede ser representado únicamente como un producto infinito tomado sobre todo el conjunto de los números primos,

 

donde un número finito de αp son enteros positivos, y el resto son cero. Permitiendo exponentes negativos se proporciona una forma canónica para los números racionales.

Importancia

editar

El teorema establece la importancia de los números primos. Estos son los «ladrillos básicos» con los que se «construyen» los enteros positivos, en el sentido de que todo entero positivo puede construirse como producto de números primos de una única manera.

Conocer la factorización en primos de un número permite encontrar todos sus divisores, primos o compuestos. Por ejemplo, la factorización anteriormente dada de 6936 muestra que cualquier divisor positivo 6936 debe tener la forma:  , donde 0 ≤ a ≤ 3 (4 valores posibles), 0 ≤ b ≤ 1 (2 valores posibles), y 0 ≤ c ≤ 2 (3 valores posibles). Multiplicando el número de opciones independientes se obtiene un total de   divisores positivos

Una vez que se conoce la factorización en primos de dos números, se pueden hallar fácilmente su máximo común divisor y mínimo común múltiplo. Por ejemplo, de las factorizaciones anteriores de 6936 y 1200 se puede deducir que su máximo común divisor es 2³ · 3 = 24. Sin embargo, si no se conoce la factorización en primos, usar el algoritmo de Euclides en general requiere muchos menos cálculos que factorizar los dos números.

El teorema fundamental implica que las funciones aritméticas aditivas y multiplicativas están completamente determinadas por sus valores en las potencias de los números primos.

Cualquier número entero n mayor que 1 puede escribirse de manera única, salvo el orden, como un producto de números primos.

Demostración

editar

El teorema fue prácticamente demostrado por primera vez por Euclides (es la Proposición 14 del libro 9 de sus Elementos), aunque la primera demostración completa apareció en las Disquisitiones Arithmeticae de Carl Friedrich Gauss.

Aunque a primera vista el teorema parezca «obvio», no vale en sistemas numéricos más generales, entre estos muchos anillos de enteros algebraicos. Ernst Kummer fue el primero en notar esto en 1843, en su trabajo sobre el último teorema de Fermat. El reconocimiento de este fallo es uno de los primeros avances de la teoría de números algebraicos.

Demostración de Euclides

editar

La demostración se hace en dos pasos. En el primer paso, se demuestra que todo número es un producto de números primos (incluido el producto vacío). En el segundo paso, se demuestra que este producto es único suponiendo que existen dos posibles descomposiciones y viendo que necesariamente ambas son iguales.

Descomposición en primos

editar

Supóngase que existe algún entero positivo que no puede representarse como producto de primos. Entonces debe haber un mínimo número   con esa propiedad. Este número   no puede ser 1, por la convención anterior. Tampoco puede ser un primo, porque todo primo es el producto de un único número primo: él mismo.

Dado que no es primo, por definición hay un número distinto a sí mismo y distinto a 1 que lo divide. Llamemos a ese número  . Por definición de divisibilidad existe   tal que  .

Así pues,  , donde   y   son enteros positivos menores que  . Como   es el mínimo entero positivo para el que falla el teorema, tanto   como   pueden escribirse como producto de primos. Pero entonces   también puede escribirse como producto de primos, lo que es contradictorio. La contradicción proviene de la única suposición que se ha hecho: la existencia de un entero no representable como producto de primos. Por tanto, esta debe ser falsa: todo entero se puede descomponer como producto de primos.

Unicidad

editar

La demostración de la unicidad se apoya en el siguiente hecho: si un número primo   divide a un producto  , entonces divide a   o divide a   (lema de Euclides). Para demostrar este lema, si se supone que   no divide a  , entonces   y   son primos entre sí y por la identidad de Bézout existen   e   enteros tales que  . Multiplicando por   se obtiene   y, puesto que los dos sumandos del lado izquierdo son divisibles por   (pues   se divide a sí mismo y a   por hipótesis), todo el término de la izquierda es divisible por   y, en consecuencia, el término de la derecha también lo es, es decir,   divide a  . Se ha visto que si   no dividiera a  ,   dividiría a  . Por tanto, seguro que   divide a   o a  . Con esto queda demostrado el lema.

Dados dos productos de primos que tengan igual resultado, tómese un primo   del primer producto. Divide al primer producto y, por lo tanto, también al segundo. Por el hecho anterior,   debe dividir al menos a un factor del segundo producto; pero los factores son todos primos, así que   debe ser igual a uno de los factores del segundo producto. Se puede entonces cancelar a   de ambos productos. Siguiendo de esta forma se cancelarán todos los factores de ambos productos, con lo cual éstos deben coincidir exactamente.

Demostración por descenso infinito

editar

Otra prueba de la unicidad de las factorizaciones en primos de un entero dado utiliza el método del descenso infinito.

Supóngase que cierto número entero se puede escribir como producto de factores primos de (al menos) dos maneras distintas. Entonces, debe existir un mínimo entero s con esa propiedad. Sean p1·…·pm y q1·…·qn dos factorizaciones distintas de s. Ningún pi (con 1 ≤ im) puede ser igual a algún qj (con 1 ≤ jn), pues de lo contrario habría un número menor que s que se podría factorizar de dos maneras (obtenido al quitar factores comunes a ambos productos) contradiciendo la suposición anterior. Se puede entonces suponer sin pérdida de generalidad que p1 es un factor primo menor que todos los qj (con 1 ≤ jn). Considérese en particular q1. Entonces existen enteros d y r tales que

 

y 0 < r < p1 < q1 (r no puede ser 0, puesto que en tal caso q1 sería un múltiplo de p1 y por lo tanto compuesto). Al multiplicar ambos lados por s / q1, resulta

 

El segundo término de la última expresión debe ser igual a un entero (pues lo son también los otros términos), al que se llamará k; esto es,

 

de donde se obtiene,

 

El valor de los dos lados de esta ecuación es obviamente menor que s, pero sigue siendo lo bastante grande como para ser factorizable. Como r es menor que p1, las dos factorizaciones obtenidas en ambos lados después de haber escrito k y r como producto de primos deben ser diferentes. Esto contradice la suposición de que s es el entero más pequeño que se puede factorizar en más de una forma. Por tanto, la suposición inicial debe ser falsa.

Demostración por álgebra abstracta

editar

Sea n un entero. Zn es un grupo finito, por lo que tiene una serie de composición. Por definición, los factores en una serie de composición son simples; por lo tanto, en la serie de Zn éstos deben ser de la forma Zp para algún primo p. Como el orden de Zn es el producto de los órdenes de los factores de su serie de composición, esto da una factorización de n en números primos. Pero el teorema de Jordan-Hölder afirma que una serie de composición es única, y por lo tanto la factorización de n debe ser única.

Véase también

editar

Referencias

editar
  1. Gauss y Clarke (1986, Art. 16)
  2. Gauss y Clarke (1986, Art. 131)
  3. En un anillo de enteros algebraicos, la factorización en elementos primos puede no ser única, pero se puede recuperar una factorización única si se factoriza en idealess.
  4. Weil (2007, p. 5): "Ni siquiera en Euclides encontramos un enunciado general sobre la unicidad de la factorización de un número entero en primos; seguramente lo conocía, pero lo único que tiene es un enunciado (Eucl.IX.I4) sobre el m.c.l. de cualquier número de primos dados."
  5. A. Goksel Agargun y E. Mehmet Özkan. pdf «Un estudio histórico del teorema fundamental de la aritmética». Historia Mathematica: 209. «Se podría decir que Euclides da el primer paso en el camino hacia la existencia de la factorización de los primos, y al-Farisi da el paso final al demostrar realmente la existencia de una factorización finita de los primos en su primera proposición.» 
  6. Rashed, Roshdi (2002-09- 11). id=7veIAgAAQBAJ&q=teorema+fundamental+de+la+aritmética+descubierta+al-farisi&pg=PA385 Enciclopedia de la Historia de la Ciencia Árabe. Routledge. p. 385. ISBN 9781134977246. «El famoso físico y matemático Kamal al-Din al-Farisi compiló un artículo en el que se proponía deliberadamente demostrar el teorema de Ibn Qurra de forma algebraica. Esto le obligó a una comprensión de las primeras funciones aritméticas y a una preparación completa que le llevó a enunciar por primera vez el teorema fundamental de la aritmética.» 
  7. Error en la cita: Etiqueta <ref> no válida; no se ha definido el contenido de las referencias llamadas Gauss1801.loc=16
  8. Long (1972, p. 45)
  9. Pettofrezzo y Byrkit (1970, p. 55)
  10. Hardy & Wright § 1.2

Bibliografía

editar

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 la reciprocidad cuadrática, la determinación del signo de la suma de Gauss, las investigaciones sobre la reciprocidad bicuadrática y notas inéditas.

Las dos monografías publicadas por Gauss 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 ellas son de la forma "Gauss, BQ, § 'n". Las notas a pie de página que hacen referencia a éstas son de la forma "Gauss, BQ, § n". Las notas a pie de página que hacen referencia a las Disquisitiones Arithmeticae son de la forma "Gauss, DA, Art. n".

  • Gauss, Carl Friedrich (1828), Theoria residuorum biquadraticorum, Commentatio prima, Göttingen: Comment. Soc. regiae sci, Göttingen 6 .
  • Gauss, Carl Friedrich (1832), Theoria residuorum biquadraticorum, Commentatio secunda, Göttingen: Comment. Soc. regiae sci, Göttingen 7 .

These are in Gauss's Werke, Vol II, pp. 65–92 and 93–148; German translations are pp. 511–533 and 534–586 of the German edition of the Disquisitiones.

Enlaces externos

editar