En teoría de números , el teorema fundamental de la aritmética , también llamado teorema de factorización única o teorema de factorización única prima , establece que todo entero mayor que 1 [3] es un número primo en sí mismo o puede representarse como el producto de primos. números y que, además, esta representación es única, hasta (salvo) el orden de los factores. [4] [5] [6] Por ejemplo,
El teorema dice dos cosas para este ejemplo: primero, que 1200 se puede representar como un producto de números primos, y segundo, que no importa cómo se haga esto, siempre habrá exactamente cuatro 2, un 3, dos 5 y ningún otro. primos 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, la factorización en primos no sería única; por ejemplo,
Versión original de Euclides
El Libro VII, proposiciones 30, 31 y 32, y el Libro IX, proposición 14 de los Elementos de Euclides son esencialmente el enunciado y la prueba del teorema fundamental.
Si dos números al multiplicarse entre sí forman un número, y cualquier número primo mide el producto, también medirá uno de los números originales.
- Euclides, Libro de Elementos VII , Proposición 30
(En terminología moderna: si un primo p divide el producto ab , entonces p divide a o b o ambos.) La proposición 30 se conoce como el lema de Euclides y es la clave en la demostración del teorema fundamental de la aritmética.
Cualquier número compuesto se mide por algún número primo.
- Euclides, Libro de Elementos VII , Proposición 31
(En terminología moderna: todo número entero mayor que uno se divide uniformemente por algún número primo.) La proposición 31 se prueba directamente por descendencia infinita .
Cualquier número es primo o se mide por algún número primo.
- Euclides, Libro de Elementos 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 mínimo que se mide con números primos, no se medirá con ningún otro número primo excepto los que lo miden originalmente.
- Euclides, Libro de Elementos IX , Proposición 14
(En terminología moderna: un mínimo común múltiplo de varios números primos no es un múltiplo de ningún otro número primo.) 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 . [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.
El artículo 16 de las Disquisitiones Arithmeticae de Gauss es una declaración y una demostración modernas tempranas que emplean aritmética modular . [1]
Aplicaciones
Representación canónica de un entero positivo
Todo entero positivo n > 1 puede representarse exactamente de una manera como un producto de las potencias primas:
donde p 1 < p 2 <... < p k son primos y los n i son enteros positivos. Esta representación se extiende comúnmente a todos los números enteros positivos, incluido 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 llama representación canónica [8] de n , o la forma estándar [9] [10] de n . Por ejemplo,
- 999 = 3 3 × 37
- 1000 = 2 3 × 5 3 ,
- 1001 = 7 × 11 × 13
Los factores p 0 = 1 pueden insertarse 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:
donde un número finito de n i son enteros positivos y el resto es cero. Permitir exponentes negativos proporciona una forma canónica para números racionales positivos .
Operaciones aritmeticas
Las representaciones canónicas del producto, máximo común divisor (MCD), y el mínimo común múltiplo (LCM) de dos números a y b pueden ser expresadas simplemente en términos de las representaciones canónicas de una y b sí mismos:
Sin embargo, la factorización de enteros , especialmente de grandes números, es mucho más difícil que los productos informáticos, GCD o LCM. Por tanto, estas fórmulas tienen un uso limitado en la práctica.
Funciones aritméticas
Muchas funciones aritméticas se definen utilizando la representación canónica. En particular, los valores de las funciones aditivas y multiplicativas están determinados por sus valores en las potencias de los números primos.
Prueba
La prueba utiliza Lema de Euclides ( Elementos VII, 30): Si un primos p divide el producto ab de dos números enteros a y b , entonces p debe dividir al menos uno de esos números enteros una y b .
Existencia
Debe demostrarse que todo entero mayor que 1 es primo o producto de primos. Primero, 2 es primo. Luego, por inducción fuerte , suponga 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, no son números enteros un y b , donde n = ab , y 1 < un ≤ b < n . Según la hipótesis de inducción, a = p 1 p 2 ... p j y b = q 1 q 2 ... q k son productos de números primos. Pero entonces n = ab = p 1 p 2 ... p j q 1 q 2 ... q k es un producto de números primos.
Unicidad
Supongamos, por el contrario, que hay un número entero que tiene dos factorizaciones primas distintas. Sea n el menor número entero y escriba n = p 1 p 2 ... p j = q 1 q 2 ... q k , donde cada p i y q i es primo. (Tenga en cuenta que j y k son al menos 2). Vemos que p 1 divide a q 1 q 2 ... q k , por lo que p 1 divide algo de 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 primos, se deduce que p 1 = q 1 . Volviendo a nuestras factorizaciones de n , podemos cancelar estos dos términos para concluir p 2 ... p j = q 2 ... q k . Ahora tenemos dos factorizaciones primas distintas de algún número entero estrictamente menor que n , lo que contradice la minimidad de n .
Unicidad sin el lema de Euclides
El teorema fundamental de la aritmética también se puede demostrar sin usar el lema de Euclides. La prueba que sigue está inspirada en la versión original de Euclides del algoritmo euclidiano .
Asumir que es el entero positivo más pequeño que es el producto de números primos de dos formas diferentes. Por cierto, esto implica que, si existe, debe ser un número compuesto mayor que. Ahora di
Cada debe ser distinto de cada De lo contrario, si digo entonces existiría algún entero positivo que es más pequeño que sy tiene dos factorizaciones primas distintas. También se puede suponer que intercambiando las dos factorizaciones, si es necesario.
Configuración y uno tiene Resulta que
Como se suponía que los enteros positivos menores que s tenían una factorización prima única, debe ocurrir en la factorización de cualquiera 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, como si es un divisor de debe ser también un divisor de que es imposible como y son primos distintos.
Por lo tanto, no puede existir un número entero más pequeño con más de una factorización prima distinta. Cada entero positivo debe ser un número primo en sí mismo, que se factorizaría de forma única, o un compuesto que también factoriza de forma única en números primos, o en el caso del número entero, no factor en ningún primo.
Generalizaciones
La primera generalización del teorema se encuentra en la segunda monografía de Gauss (1832) sobre la reciprocidad bicuadrática . Este artículo introdujo lo que ahora se llama el anillo de los enteros gaussianos , el conjunto de todos los números complejos a + bi donde a y b son números enteros. Ahora se denota porMostró que este anillo tiene las cuatro unidades ± 1 y ± i , que los números distintos de cero y no unitarios se dividen en dos clases, primos y compuestos, y que (excepto por orden), los compuestos tienen una factorización única como producto. de primos. [11]
De manera similar, en 1844 mientras trabajaba en la reciprocidad cúbica , Eisenstein introdujo el anillo, dónde es una raíz cúbica de la unidad . Este es el anillo de los enteros de Eisenstein , y demostró que tiene las 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 uno tiene [12]
Ejemplos como este hicieron que se modificara la noción de "primo". Ense puede demostrar que si cualquiera de los factores anteriores se puede representar como un producto, por ejemplo, 2 = ab , entonces una de una o b debe ser una unidad. Ésta es la definición tradicional de "principal". También se puede probar que ninguno de estos factores obedece al lema de Euclides; por ejemplo, 2 no divide ni (1 + √ −5 ) ni (1 - √ −5 ) aunque divide su producto 6. En la teoría algebraica de números, 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 necesario porque 2 es primo e irreducible en Usando estas definiciones se puede probar que en cualquier dominio integral un primo debe ser irreductible. El lema clásico de Euclides se puede reformular como "en el anillo de los enteros todo irreductible 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 polinomiales sobre los números enteros o sobre un campo , los dominios euclidianos y los dominios 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 por 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 singularidad.
Ver también
- Factorización de enteros : descomposición de un entero en un producto
- Firma prima: conjunto múltiple de exponentes primos en una factorización prima
Notas
- ↑ a b Gauss y Clarke (1986 , Art. 16)
- ^ Gauss y Clarke (1986 , Art. 131)
- ^ Utilizando la regla del producto vacío, no es necesario excluir el número 1, y el teorema se puede establecer como: cada entero positivo tiene factorización prima única.
- ↑ Long (1972 , p. 44)
- ^ Pettofrezzo y Byrkit (1970 , p. 53)
- ^ Hardy y Wright (2008 , Thm 2)
- ↑ Weil (2007 , p. 5): "Incluso en Euclides, no podemos encontrar una declaración general sobre la unicidad de la factorización de un número entero en números primos; seguramente él pudo haber sido consciente de ello, pero todo lo que tiene es una declaración (Eucl.IX.I4) sobre el mcm de cualquier número de números primos dados ".
- ↑ Long (1972 , p. 45)
- ^ Pettofrezzo y Byrkit (1970 , p. 55)
- ^ Hardy y Wright (2008 , § 1.2)
- ^ Gauss, BQ, §§ 31–34
- ^ Hardy y Wright (2008 , § 14.6)
Referencias
The Disquisitiones Arithmeticae se ha traducido del latín al inglés y al alemán. La edición alemana incluye todos sus artículos 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 la reciprocidad bicuadrática y notas inéditas.
- Gauss, Carl Friedrich; Clarke, Arthur A. (traductor al inglés) (1986), Disquisitiones Arithemeticae (Segunda edición corregida) , Nueva York: Springer , ISBN 978-0-387-96254-2
- Gauss, Carl Friedrich; Maser, H. (traductor al alemán) (1965), Untersuchungen über hohere Arithmetik (Disquisitiones Arithemeticae y otros artículos sobre teoría de números) (segunda edición) , Nueva York: Chelsea, ISBN 0-8284-0191-8
Las dos monografías que publicó Gauss sobre la reciprocidad bicuadrática tienen secciones numeradas consecutivamente: la primera contiene §§ 1–23 y la segunda §§ 24–76. Las notas a pie de página que hacen referencia a estos son de 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 ".
- Gauss, Carl Friedrich (1828), Theoria residuorum biquadraticorum, Commentatio prima , Göttingen: comentario. Soc. regiae sci, Gotinga 6
- Gauss, Carl Friedrich (1832), Theoria residuorum biquadraticorum, Commentatio secunda , Göttingen: comentario. Soc. regiae sci, Gotinga 7
Estos se encuentran en el Werke 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 Disquisitiones .
- Baker, Alan (1984), A Concise Introduction to the Theory of Numbers , Cambridge, Reino Unido: Cambridge University Press, ISBN 978-0-521-28654-1
- Euclid (1956), Los trece libros de los Elementos , 2 (Libros III-IX), Traducido por Thomas Little Heath (Segunda edición ed. Íntegra), Nueva York: Dover , ISBN 978-0-486-60089-5
- Hardy, GH ; Wright, EM (2008) [1938]. Introducción a la teoría de los números . Revisado por DR Heath-Brown y JH Silverman . Prólogo de Andrew Wiles . (6ª ed.). Oxford: Prensa de la Universidad de Oxford . ISBN 978-0-19-921986-5. Señor 2445243 . Zbl 1159.11001 .
- A. Kornilowicz; P. Rudnicki (2004), "Teorema fundamental de la aritmética", Matemáticas formalizadas , 12 (2): 179-185
- Long, Calvin T. (1972), Introducción elemental a la teoría de números (2a ed.), Lexington: DC Heath and Company , LCCN 77-171950.
- Pettofrezzo, Anthony J .; Byrkit, Donald R. (1970), Elementos de la teoría de números , Englewood Cliffs: Prentice Hall , LCCN 77-81766.
- Riesel, Hans (1994), Números primos y métodos informáticos para la factorización (segunda edición) , Boston: Birkhäuser, ISBN 0-8176-3743-5
- Weil, André (2007) [1984]. Teoría de números: una aproximación a la historia desde Hammurapi hasta Legendre . Clásicos modernos de Birkhäuser. Boston, MA: Birkhäuser. ISBN 978-0-817-64565-6.
- Weisstein, Eric W. "Número anormal" . MathWorld .
- Weisstein, Eric W. "Teorema fundamental de la aritmética" . MathWorld .
enlaces externos
- ¿Por qué no es obvio el teorema fundamental de la aritmética?
- MCD y el teorema fundamental de la aritmética al cortar el nudo .
- PlanetMath: prueba del teorema fundamental de la aritmética
- Blog del último teorema de Fermat: Factorización única , un blog que cubre la historia del último teorema de Fermat desde Diofanto de Alejandría hasta la prueba de Andrew Wiles .
- "Teorema fundamental de la aritmética" por Héctor Zenil, Proyecto de demostraciones Wolfram , 2007.
- Grime, James. "1 y números primos" . Numberphile . Brady Haran .