You are on page 1of 26

Teoría de números

De Wikipedia
Tradicionalmente, la teoría de números es la rama de matemáticas puras que estudia las propiedades de los números enteros y contiene una cantidad considerable de problemas que son "fácilmente comprendidos por los no matemáticos". De forma más general, este campo estudia los problemas que surgen con el estudio de los enteros. Según los métodos empleados y las preguntas que se intentan contestar, la teoría de números se subdivide en varias ramas. En la teoría elemental de números, se estudian los números enteros sin emplear técnicas procedentes de otros campos de las matemáticas. Pertenecen a la teoría elemental de números las cuestiones de divisibilidad, el algoritmo de Euclides para calcular el máximo común divisor, la factorización de los enteros como producto de números primos, la búsqueda de los números perfectos y las congruencias. Son enunciados típicos el pequeño teorema de Fermat y el teorema de Euler que lo extiende, el teorema chino del resto y la ley de la reciprocidad cuadrática. En esta rama se investigan las propiedades de las funciones multiplicativas como la función de Möbius y la función φ de Euler; así como las sucesiones de números enteros como los factoriales y los números de Fibonacci. Conjeturas y teoremas relacionados con la teoría de números:
• • • •

Conjetura de Goldbach sobre si todos los números pares (a partir de 4) son la suma de dos números primos. Conjetura de los números primos gemelos sobre la infinitud de los llamados números primos gemelos Último teorema de Fermat (demostrado en 1995) Hipótesis de Riemann sobre la distribución de los ceros de la función zeta de Riemann, íntimamente conectada con el problema de la distribución de los números primos.

En la Teoría de Números Algebraica (Aritmética algebraica), el concepto de número es extendido para incluir a los números algebraicos, números que surgen como raíces de polinomios con coeficientes racionales. Éstos forman extensiones del campo de los números racionales que contienen elementos análogos a los enteros, llamados enteros algebraicos, en los que las propiedades familiares de los enteros (e.g. factorización única) ya no son necesariamente válidas. Las virtudes de la maquinaria empleada - teoría de Galois, cohomología de grupos, teoría de campos de clase, representaciones de grupos y funciones L - son las que permiten entender cuál es la estructura de esta nueva clase de números. Muchas interrogantes aritméticas son atacadas mejor al estudiarlas módulo p para todo primo p. A ésta técnica se le denomina localización y lleva al estudio de los campos p-ádicos. Obtenido de "http://es.wikipedia.org/wiki/Teor%C3%ADa_de_n%C3%BAmeros"

Sistema numérico en matemática. Conjuntos de Números

Número entero
Los números enteros son del tipo: -59, -3, 0, 1, 5, 78, 34567, etc., es decir, los naturales, sus opuestos (negativos) y el cero. Los enteros con la adición y la multiplicación forman una estructura algebraica llamada anillo. Pueden ser considerados una extensión de los números naturales y un subconjunto de los números racionales (fracciones). Los números enteros son subconjunto de los números racionales (los quebrados). Esto se nota como: ℤ ⊆ ℚ. Los números enteros pueden ser sumados y restados, multiplicados y comparados. La razón principal para introducir los números negativos sobre los números naturales es la posibilidad de resolver ecuaciones del tipo: a+x=b para la incognita x. Matemáticamente, el conjunto de los números enteros con las operaciones de suma y multiplicación, (ℤ,+,·) constituye un anillo conmutativo y unitario. Por otro lado ℤ es un conjunto completamente ordenado sin cota superior o inferior. El conjunto de los números enteros se representa mediante ℤ (una Z con la línea diagonal doble). El origen del uso de ℤ es el alemán Zahl, números. Los números enteros cumplen los siguientes axiomas, para todo a, b, c ∈ ℤ:

• • • • • •

Naturales Enteros Racionales Irracionales Reales Complejos
• o

Números destacables π (Pi) (3.1415926535 ...) e (2.7182818284 ...)

o

o i (0;1) Números Especiales • Nominales • Ordinales {1o,2o,...} (de orden) • Cardinales {

}
• •

Números infinitos

Números transfinitos Números con propiedades especiales Primos , Abundantes, Perfectos, Defectivos, Amigos, Sociables, Algebraicos

Tabla de contenidos
• • • • • • • • • • • •

1 Axioma 1. Operaciones internas 2 Axioma 2. Propiedades asociativas 3 Axioma 3. Propiedades conmutativas 4 Axioma 4. Elementos neutros 5 Axioma 5. Existencia de opuestos 6 Axioma 6. Propiedad cancelativa 7 Axioma 7. Propiedad distributiva 8 Axioma 8. Propiedad reflexiva 9 Axioma 9. Propiedad antisimétrica 10 Axioma 10. Propiedad transitiva 11 Axioma 11. Propiedad de la buena ordenación 12 Axioma 12

Axioma 3. Propiedad cancelativa • a·b = a·c y a ≠ 0 ⇨ b = c. Axioma 7. Propiedad antisimétrica • a ≤ b y b ≤ a ⇨ a = b. Existencia de opuestos • Existe -a tal que a+(-a) = (-a)+a = 0. Axioma 9. Axioma 6. Propiedad reflexiva • a ≤ a. Existe 1 ∈ ℤ tal que a·1 = 1·a = a para todo a ∈ ℤ. Propiedades asociativas • • (a+b)+c = a+(b+c) = a+b+c. Elementos neutros • • Existe 0 ∈ ℤ tal que a+0 = 0+a = a para todo a ∈ ℤ. Axioma 10. Operaciones internas • • a+b ∈ Z. acotado inferiormente. (a·b)·c = a·(b·c) = a·b·c. Axioma 2.• 13 Véase también Axioma 1. Propiedad de la buena ordenación • Sea S un subconjunto no vacío de ℤ. Propiedad transitiva • a < b y b < c ⇨ a < c. a·b ∈ Z. . Axioma 11. Propiedades conmutativas • • a+b = b+a. Axioma 5. Axioma 8. entonces S tiene primer elemento. Propiedad distributiva • a·(b+c) = a·b+a·c. a·b = b·a Axioma 4.

. Axioma 12 • • c ≥ 0 y a ≤ b ⇨ a·c ≤ b·c a ≤ b ⇨ a+c ≤ b+c para todo c ∈ ℤ.Este axioma indica que el conjunto S tiene un infimo y un supremo. lo que quiere decir es que S del conjunto de cotas superiores y cotas inferiores tiene un elemento menor de las cotas superiores llamado supremo que a su vez es mayor que todos los elementos del conjunto S.

6. 3. La última cifra es 0 ó 5. y ∈ Z. múltiplo de 4. 1|a. b. pues no existe un entero c tal que 6 = 4·c. 4 El número formado por las dos últimas cifras es múltiplo de 7324: porque 24 es 4. entonces a|c. Si a|b y b|a.b)=1. 24: Ver criterios 5 6 . Si a|b·c y mcd(a. Si a|b. el resto de la división euclídea (entera) de 6 entre 4 no es cero. entonces a = ±b. Los que admiten más de dos divisores se llaman números compuestos Propiedades Sean a. Los números que no admiten más que estos dos divisores se denominan números primos. entonces a|c Criterios de divisibilidad Los siguientes criterios nos permiten averiguar si un número es divisible por otro de una forma sencilla. 405: porque 4+0+5 = 9 es múltiplo de 3. 6 es divisible por 3. ya que 6 = 3·2. Si a|b y a|c. Si a|b y b|c. ∀x.Divisibilidad Decimos que un número entero b es divisible por otro entero a (distinto de cero) si existe un tercer entero c tal que b = a·c. Ejemplo 374: porque "4" es par. El número es divisible por 2 y por 3. a|a. 2. Número 2 Criterio El número acaba en 0 ó cifra par. a|0. sin necesidad de realizar una división. c ∈ Z: • • • • • • 1. 4. o también b es múltiplo de a. que se lee a divide a b (o a es divisor de b. Por ejemplo. Es decir. pero no es divisible por 4. 3 La suma de sus cifras es un múltiplo de 3. entonces a|bx. Se suele expresar de la forma a|b. ∀x ∈ Z. Todo número entero mayor que 1 es divisible por 1 y por sí mismo. 485: porque acaba en 5. 5. entonces a|(bx + cy).

el número original también lo 39 es múltiplo de 13. es. el número original también lo es. 470: La última cifra es 0. Si el es múltiplo de 13. Sumar y restar alternativamente el resultado obtenido en cada grupo y comprobar si el resultado final es un múltiplo de 7. 52176376: porque (3712) . múltiplo de 8. 11 Se suman y restan las cifras que forman el número de forma 4972: porque 4-9+7-2 = alternativa para ver si da un múltiplo de 11 (El cero también 0 es múltiplo de 11.(17-12) + (5-4)= 25-5+1= 21 es múltiplo de 7. Para números de 3 cifras: Al número formado por las dos 469: porque 46-2·9 = 28 primeras cifras se le resta la última multiplicada por 2. 13 Para números de más de 3 cifras: Dividir en grupos de 3 cifras.anteriores. sumar y restar alternativamente los grupos de derecha 432549: porque 549-432 a izquierda y aplicar el criterio de arriba al resultado = 117 y luego 11 + 4·7 = obtenido. resultado es múltiplo de 13. 7 Para números de más de 3 cifras: Dividir en grupos de 3 cifras y aplicar el criterio de arriba a cada grupo. 8 El número formado por las tres últimas cifras es múltiplo de 27280: porque 280 es 8. Si el que es múltiplo de 7. Para números de 3 cifras: Al número formado por las dos 364: porque 36+4·4= 52 primeras cifras se le suma la última multiplicada por 4. 9 La suma de sus cifras es múltiplo de 9. resultado es múltiplo de 7. lo es) 528: Ver criterios anteriores. 224: Ver criterios anteriores 14 El número es divisible por 2 y por 7. Si es multiplo de 13. . el número original también lo es. 10 La última cifra es 0. 3744: porque 3+7+4+4= 18 es múltiplo de 9. 12 El número es divisible por 3 y 4.

. 255: Ver criterios anteriores 254176: porque 4176 es múltiplo de 16. 17 Al número obtenido al suprimir la última cifra. 576: Ver criterios anteriores 18 El número es divisible por 2 y por 9.15 El número es divisible por 3 y por 5. 323: porque 32+3·2 = 38 es múltiplo de 19. y se comprueba si el resultado es múltiplo de 17. se le suma esta última cifra múltiplicada por 2. 480: porque acaba en 0 y 8 es par. es múltiplo de 17. 20 El número acaba en cero y la penúltima cifra es par. y se comprueba si el resultado es múltiplo de 19. 16 El número formado por las cuatro últimas cifras es múltiplo de 16. 19 Al número obtenido al suprimir la última cifra. se le resta esta 493: porque 49-5·3 = 34 última cifra múltiplicada por 5.

rn) = mcd (rn-1. y repitiendo la operación: mcd (b. obviamente divide a . se toma como dividendo el mayor de los números y como divisor el otro (se ahorra así un paso). En la primera división. y recíprocamente a = (a . rn-1 y rn = 0 los restos sucesivos.b·q (q es el cociente de a por b) En efecto los divisores comunes de a y b son los de a .. El mcd es entonces el penúltimo resto del algoritmo.Algoritmo de Euclides El algoritmo de Euclides es un método eficaz para calcular el máximo común divisor (mcd) entre dos números enteros. si llamemos a.b·q y b: porque si q divide a y b. Luego el menor de los divisores comunes es el mismo.b·q que es una combinación lineal de ambos.si hace falta. entonces: mcd (a. r1). r3) = .b·q. rn . El proceso termina cuando se obtiene un resto nulo. r2) = mcd (r2.. el divisor y el resto sirven respectivamente de dividendo y divisor de la siguiente división. b los enteros iniciales. 0) = rn-1.. cambiarlos a positivos el algoritmo: mientras b ≠ 0 repetir las tres instrucciones siguientes: r ← resto de a entre b (dar a r el valor del resto de a por b) a ← b (el nuevo valor de a es el antiguo valor de b) b ← r (el nuevo valor de b es el valor de r) . Esto permite detallar el algoritmo efectivo: • • datos de entrada a y b . r1. El algoritmo consiste en varias divisiones euclidianas sucesivas.. r1) = mcd (r1. con r1 = a . Luego. Tabla de contenidos • • • • • 1 Definición 2 Ejemplos 3 Número de pasos elementales 4 Fracciones continuas 5 Generalización a los polinomios Definición Formalmente.b·q) + b·q es una combinación lineal de b y a . b) = mcd (b. = mcd (rn-1.

651) = 21 (el último resto no nulo). números escogidos al azar: 945 = 1×651 + 294 651 = 2×294 + 63 294 = 4×63 + 42 63 = 1×42 + 21 42 = 2×21 + 0 entonces mcd(945. el número de pasos elementales es en O(n2) . Este algoritmo da como resultado 0 si a y b son nulos. El segundo ejemplo es sustencialmente más largo que el primero. Sin embargo. y esto se debe a que todos los cocientes valen 1. es el peor de los casos para este algoritmo. mientras que en matemáticas. 610) = 1 (el último resto no nulo). Como segundo ejemplo. el mayor divisor de cero no existe. Aquí a y b no fueron escogidos al azar: son dos términos consecutivos de la sucesión de Fibonacci.inferior a An2 con A una constante .• el resultado es a (su último valor). Ejemplos Se busca el máximo común divisor de a = 945 y b = 651. tomemos números de tamaños parecidos a los anteriores: a = 987 y b = 610: 987 = 1×610 + 377 610 = 1×377 + 233 377 = 1×233 + 144 233 = 1×144 + 89 144 = 1×89 + 55 89 = 1×55 + 34 55 = 1×34 + 21 34 = 1×21 + 13 21 = 1×13 + 8 13 = 1×8 + 5 8 = 1×5 + 3 5 = 1×3 + 2 3 = 1×2 + 1 2 = 2×1 + 0 entonces mcd(987.donde n es el número de cifras del más pequeño entre a y b. Número de pasos elementales Para ver la demostración en la que se postula que el número de pasos elementales que hay que hacer en el algoritmo de Euclides es una función logarítmica en base a la Divina Proporción sobre el menor de los números sobre los cuales queremos conocer el mínimo común divisor: • cliquea aquí .

.

.

en tal caso. Son de especial interés estas fracciones.b) de fundamental importancia en la aritmética. Volviendo al caso a y b enteros. y si lo inyectamos en la igualdad anterior obtenemos y el proceso se repite hasta utilizar todas las divisiones euclidianas. pero tampoco trivial: Sea un polinomio que se cree que tiene una raíz doble.Fracciones continuas Las divisiones euclidianas del algoritmo son idénticas a las que permiten hallar la expresión en fracción continua de . (polinomios con coeficientes racionales o reales). para hallar la raíz múltiple empleamos la propiedad que dice las raíces múltiples son las en común entre el polinomio y su polinomio derivado. el algoritmo no se para. el algoritmo de Euclides permite encontrar los coeficientes enteros u y v de la identidad de Bézout au + bv = mcd(a. Los dos ejemplos numéricos del párrafo anterior dan: Este proceso funciona también con valores irracionales de a/b (con a y b reales). los cálculos se vuelven mucho más largos. En efecto. Obviamente. y por consiguiente se extiende a todos los dominios donde existe tal división: es el caso de las álgebras de polinomios. como en los casos de π y e. a = bq1 + r1 se puede escribir se escribe . y da lugar a fracciones con muchos "pisos". Del mismo modo. Un ejemplo no demasiado complicado. . Generalización a los polinomios Este algoritmo sólo precisa de la división euclidiana. como resolver una ecuación de tercer grado no es evidente. lo que da una fracción continua infinita. como Q[X] o R[X].

Para simplificar las divisiones. En efecto: y de paso entonces 7 es la raíz . que se puede simplificar por 3. nos permitimos multiplicarlos por factores constantes no nulos. Tomemos entonces y efectuemos el algoritmo con P y Q. en fin de cuentas el mcd de dos polinomios está definido módulo un factor multiplicativo. El polinomio derivado de P es según lo dicho anteriormente. El resto se factoriza en : tomemos entonces lo que implica que el mcd buscado es doble de P. así que esta manipulación no altera el resultado. .

42) = 6. 6936 = 23 · 3 · 172 1200 = 24 · 3 · 52 podemos inferir que su m. .d. Para el calculo del máximo común divisor de dos o más números se descompondrán los números en factores primos y se tomarán los factores comunes con su menor exponente.b.c. excluyendo el (0.d. m. de tres números se puede calcular como sigue: mcd(a. es 23 · 3 = 24 Si el número es muy grande este método no es operativo porque no conocemos los posibles factores. de las factorizaciones de 6936 y 1200. el máximo común divisor de a y b es el número de puntos de coordenadas enteras que hay en el segmento que une los puntos (0.0). por ejemplo Aquí.0) y (a. Propiedades Geométricamente. Por ejemplo.d.c.c) = mcd(a..d. En ese caso tenemos que utilizar el algoritmo de Euclides.c)).d.c. Usos El m. se emplea para simplificar fracciones.c. mcd(b.Máximo común divisor El máximo común divisor (m.c. El m.(30. mcd) de dos o más números naturales es el mayor divisor posible de todos ellos.b). así que se divide el numerador y el denominador de la fracción inicial por 6 para obtener la fracción simplificada.

Además.) o Tabla de contenidos • • • • • • 1 ¿Cuántos números primos existen? 2 Propiedades de los números primos 3 Clases de primos 4 Conjeturas sobre los números primos 5 Aplicaciones en Informática 6 Véase también o 6... 29. Conjuntos de Números Número primo El conjunto de los números primos es un subconjunto de los números naturales que engloba a todos los elementos de este conjunto que son divisibles exactamente tan sólo por sí mismos y por la unidad (por convención. 59. e incluso hay una demostración topológica. 19. 53.Sistema numérico en matemática. Números transfinitos Números con propiedades especiales Primos .1 Páginas relacionadas o 6.1415926535 .. se sabe que no hay límite para la distancia entre dos primos consecutivos. Euclides realizó la primera demostración alrededor del año 300 a. Un procedimiento empleado para hallar todos los números primos menores que un entero dado es el de la criba de Eratóstenes. se conjetura que existen infinitos números primos de la forma p1=p2 + 2 (siendo p1 y p2 primos) o primos gemelos. y esta representación (factorización) es única. y por tanto compuesto cuando p3>3. Otros matemáticos han demostrado la infinitud de los números primos con métodos diversos. 47..2 Enlaces externos i (0.. dado un número N.} (de orden) • Cardinales { o } • • Números infinitos ¿Cuántos números primos existen? Existen infinitos números primos. El teorema fundamental de la Aritmética establece que cualquier entero positivo puede representarse siempre como un producto de números primos. Nótese el hecho de que todos los números naturales son divisibles por sí mismos y por la unidad. 17. 23.) e (2.. 41. Sociables. Aunque no se ha podido probar hasta la fecha. . Abundantes. Los veinte primeros números primos son: 2. 61. 13.7182818284 . Algebraicos A pesar de que sabemos que hay infinitos números primos. 7.C.2o. 31. Defectivos. • • • • • • Naturales Enteros Racionales Irracionales Reales Complejos • o Números destacables π (Pi) (3. aún quedan preguntas en el aire sobre la distribución de los mismos o la lista de primos que hay por debajo de cierto número.1) Números Especiales • Nominales • Ordinales {1o. el 1 no se considera primo).. 43. se puede encontrar dos números primos tales que entre ellos dos no hay otros números primos y su diferencia es mayor que N. esto es. 37. 67 y 71. 5. Amigos. p2 y p3 así definidos es múltiplo de 3. Perfectos. Sí se ha probado que los únicos "primos trillizos" (primos de la forma p1 = p2 + 2 y p2 = p3 + 2) son 3. 3. 5 y 7. 11. y esto es así porque uno de los números p1.

entonces siempre existe un número primo p tal que .Propiedades de los números primos • • • • • Si p es un número primo y divisor del producto de números enteros ab.org.1 donde p es primo) Número primo de Sophie Germain (un p primo tal que 2p + 1 es primo) Números primos gemelos (p y p+2 primos) Conjeturas sobre los números primos • • • • • • Todo número par mayor o igual que 4 es suma de dos números primos. son llamados "titánicos". (Lema de Euclides) Si p es primo y a es algún número entero.mersenne. Aplicaciones en Informática El algoritmo RSA se basa en la obtención de la clave pública mediante la multiplicación de dos números grandes (mayores que 10100) que sean primos. (Conjetura de Goldbach) Existen infinitos pares de números primos gemelos. La seguridad de este algoritmo radica en que no hay maneras rápidas de factorizar un número grande en sus factores primos utilizando computadoras tradicionales. Los grandes números primos. • Clases de primos • • • • Número primo de Fermat (de forma 22n + 1) Número primo de Mersenne (de forma Mp = 2p . (Teorema de Dirichlet). El número de primos menores que un x dado sigue una función asintótica a (Teorema de los números primos). de más de mil dígitos. Existen infinitos números primos de la forma n² + 1 La sucesión de Fibonacci contiene infinitos números primos. Existen infinitos números primos de Fermat. . Equivalentemente: n es primo si y solo si φ(n) = n − 1. más de 9 millones de dígitos. existe algún número primo entre n² y (n + 1)². Para cada n natural. Existe un proyecto de computación distribuida en la dirección http://www. Los primos de Mersenne se encuentran entre los más grandes hallados (hasta diciembre de 2005) (230402457 . El anillo Z/nZ es un cuerpo si y solo si n es primo. donde los enteros positivos • son primos entre sí. descubierto el 15 de diciembre de 2005). La computación cuántica podría ofrecer una solución a este problema de factorización. entonces p es divisor de a o de b. existen infinitos números primos.1. (Teorema de Wilson) Si n es un número natural. entonces ap − a es divisible por p (Pequeño Teorema de Fermat) Un número p es primo si y solo si el factorial (p − 1)! + 1 es divisible por p. (Postulado de Bertrand) En toda progresión aritmética .

El quinto número perfecto (33550336) tiene 8 dígitos.) o Al darse cuenta de que 2n .1) = 6 22(23 . como 2.) e (2. respectivamente. 5 y 7 eran precisamente los cuatro primeros números primos. Una de ellas era que.1) Números Especiales • Nominales • Ordinales {1o. 211 .Sistema numérico en matemática. en honor al monje del siglo XVII Marin Mersenne.. Hoy en día.1 es primo. (El que la última cifra de un número perfecto expresado en base 10 siempre sea 6 u 8 no es difícil de demostrar. entonces 2n-1(2n − 1) es un número perfecto.1) genera un número perfecto par siempre que 2n . porque sus divisores propios son 1. Así. pero el recíproco no es necesariamente cierto..2o. 496 y 8128. 3. Conjuntos de Números • Número perfecto Un número perfecto es un entero que es igual a la suma de los divisores propios menores que él mismo.1 se los conoce como números primos de Mersenne. Dos de las otras suposiciones equivocadas eran: • • i (0. a los números primos generados por la fórmula 2n .1 es un número primo en cada caso. ya que los cuatro primeros tienen 1. 3 y 4. pero también el sexto (8589869056) termina en 6. el quinto número perfecto se obtendría con n = 11. . Los siguientes números perfectos son 28.1 es un número primo. En cuanto a la segunda. Perfectos. falseando así la primera suposición. Los números perfectos terminarían alternativamente en 6 y en 8.1) = 8128 • • • • • Naturales Enteros Racionales Irracionales Reales Complejos • o Números destacables π (Pi) (3. Sociables.) Es verdad que si 2n . 2.7182818284 .. Muchas de estas suposiciones han resultado ser falsas. quien estudió teoría de números y números perfectos. Sin embargo.. el quinto número primo.1415926535 . 2 y 3. Algebraicos El quinto número perfecto tendría cinco dígitos.1) = 28 24(25 . el quinto número perfecto acaba en 6.. Los matemáticos de la Antigüedad hicieron muchas suposiciones sobre los números perfectos basándose en los cuatro que ya conocían. El matemático griego Euclides descubrió que los cuatro primeros números perfectos vienen dados por la fórmula 2n1 n (2 .1) = 496 26(27 . Euclides demostró que la fórmula 2n-1(2n . Abundantes. Amigos. Defectivos.1 = 2047 = 23 · 89 no es primo y por tanto n = 11 no genera un número perfecto. y 6 = 1 + 2 + 3..} (de orden) • Cardinales { o } • • Números infinitos Números transfinitos Números con propiedades especiales Primos .1): n = 2: n = 3: n = 5: n = 7: 21(22 . 6 es un número perfecto..

Euler demostró en el siglo XVIII que todos los números perfectos pares se generan a partir de la fórmula que ya descubrió Euclides. la suma es mayor que el número. dos de ellos deben ser mayores que 10. Si existe un número perfecto impar debe ser mayor que 10300. Se puede decir que el número perfecto es un número amigo de sí mismo. existen algunos resultados parciales. No se conoce la existencia de números perfectos impares.000 y tres factores deben ser mayores que 100. Sin embargo. Números defectivos: Números abundantes: Números amigos: Números sociables: la suma de los divisores propios es menor que el número. como los amigos. Uno de esos factores debe ser mayor que 107. a y b tales que a es la suma de los divisores de b y viceversa. . debe tener al menos 8 factores primos distintos (y al menos 11 si no es divisible por 3). Considerando la suma de los divisores propios existen otros tipos de números. pero con un ciclo mayor de números.Posteriormente.

que también están. La colección de todos esos números es una clase de congruencia. 'aritmética del reloj'. Algunas veces se le llama. la operación "+" tiene el sentido geométrico explicado del "desplazar". que pintamos abajo) No pintamos los negativos. sugerentemente. siempre se puede dividir por una clase que no contenga el 0. ya que los números 'dan la vuelta' tras alcanzar cierto valor (el módulo).. ya que cada uno deja el mismo resto (2) cuando los dividimos por 12. no podemos distinguir esa situación de la situación inicial. −10. Tabla de contenidos • • • • • 1 Definición de módulo o 1..1 La vieja convención. Cuando llegáis al 3 y como el peine es infinito. Por ejemplo. o infinito si queréis imaginarlos todos de una vez.. Ir haciendo el proceso. son todos "congruentes módulo 12" unos con otros. como explicamos formalmente más abajo. encontramos la clase del 1.. como vemos. así que hemos visto que [1] + [1] + [1] = [0]. 14. Podéis pensar en un "peine" (finito si queremos ver sólo unos cuantos números equivalentes alrededor del cero. ni por supuesto toda la ristra de enteros ni de barbas de la flecha. . cuando el módulo es 12. usada en computación 2 Implementación de la función 'mod' 3 Aplicaciones de la aritmética modular o 3. Además.. podéis pensar también en una flecha con muchas barbas igualmente espaciadas y que apunta hacia un objeto. 26. y como se ve. Así que. Los números . −34. la aritmética modular es un sistema aritmético para unas clases de equivalencia de números enteros llamadas clases de congruencia. hemos llegado otra vez a la clase del 0 = [0]. Si desplazamos el peine un espacio. Donde. Cuando el módulo es un Número primo. usada por los matemáticos o 1.Aritmética modular En matemáticas.2 La convención nueva. etc. el peine tiene una "distancia" de 3 entre sus púas. 2. hemos dibujado el caso en el que estamos mirando la aritmética 3modular.1 En el arte 4 Algunas consecuencias del uso en matemáticas 5 Referencias externas . −22. el de los números enteros. incluso restarlas y multiplicarlas. está apuntando a la clase de equivalencia del 0. se pueden sumar clases y se obtiene otra clase. entonces cualesquiera dos números que divididos por doce den el mismo resto son equivalentes (o "congruentes") uno con otro.

esto es.. La convención nueva. En algunos lenguajes de programación. (Estos cálculos mod 12 son lo que se hace cuando se convierte la hora de un reloj 24horas a un reloj 12-horas). que en este ejemplo es el 10.. como Perl y C. esta operación se simboliza con a % n. pero en este caso nos sirven para enfatizar la diferencia entre las dos convenciones. matemática y de la moderna computación. una nueva. la lengua de los escritos de Gauss. En cuanto a los paréntesis (). 63 − 83 es un múltiplo de 10. En general a mod n es el resto en {0. que ambos dejan el mismo resto si los dividimos por n. para el propósito computacional de una forma normal ante la relación de . 23 mod 12 = 11. añadida por los teóricos de la computación y quizás más apropiada para la misma. equivalentemente.Definición de módulo Prevalecen dos convenciones discrepantes: • la convención originalmente introducida por Gauss hace dos siglos. no se suelen escribir. equivalentemente. Y se dice: "63 es congruente con 83. módulo 10. 63 y 83 dejan en mismo resto (3) al dividir por 10. o. a − b es un múltiplo de n. es el modulus. En Latín. Así se tiene por ejemplo ya que ambos. Esta diferencia en las convenciones no es muy importante en la práctica. usada por los matemáticos La convención original es que la expresión significa que a y b se encuentran en la misma "clase de congruencia" módulo n. aún usada por los matemáticos y apropiada para la matemática teórica y. usada en computación Según esta convención. • La vieja convención. módulo 10. "63 mod 10" quiere decir el resto que queda cuando 63 es dividido por 10. o." "Modulo" a veces se abrevia con la palabra "mod" al hablar. módulo es el caso ablativo de modulus. Por ejemplo." o "63 y 83 son congruentes uno con otro. n−1} de la división de a por n. se piensa que refleja la preferencia. . igual que como al escribir. El número n..

donde por ejemplo todas las operaciones aritméticas sobre "int". La expresión x mod 0 queda sin definir en la mayoría de los sistemas numéricos. Surgen diferentes maneras dependiendo del alcance de las variables. La función que resulta es la conocida como mod() en las calculadoras y que es implementada en algunos lenguajes de alto-nivel. En términos de "truncar" quedándose con la parte entera (escrita como "remain()" en varias calculadoras y de signo siempre positivo. En el arte En música. enteros. Aplicaciones de la aritmética modular La aritmética modular. Implementación de la función 'mod' En la práctica x mod y puede calcularse usando ecuaciones. aunque algunos la definen como igual a x. De ahí la utilización de algunas funciones como "Ent(z)". Perl también usa el operador % para indicar una operación de módulo. en este caso podemos tratar esto como meras convenciones notacionales.y × floor(x/y). especialmente en el dodecafonismo. en esa definición.y × iPart(x/y) En el caso de "floor". 1 mod -2 = -1). Las dos definiciones nos permiten que x e y sean de tipo entero o racional.equivalencia subyacente. . el entero más grande que es menor o igual que z: x mod y = x . un divisor negativo nos dará un módulo negativo (por ejemplo. incluyendo Perl. criptografía. Esto se ve claro en la compilación de lenguajes de programación como el C. En artes visuales esta aritmética puede usarse para crear patrones artísticos basados en las tablas de multiplicación módulo n (ver enlace abajo). y Do# es lo mismo que Reb). álgebra abstracta. empleado por C's y relacionado con el operador %): x mod y = x . la aritmética modular se usa cuando consideramos la escala de doce tonos igualmente temperada. Aunque existe esta forma normal estricta. se aplica en Teoría de números. se toman módulo 232 en la mayoría de las computadoras. estudiada sistemáticamente en primer lugar por Carl Friedrich Gauss al final del Siglo XVIII. en términos de otras funciones. Las operaciones aritméticas que hoy en día hacen la mayoría de las computadoras son aritmético modulares. que en las implementaciones comunes es más amplio que el que hemos dado. los pasos en razones de 1/2 o 2/1 son equivalentes. debido a la equivalencia de octavas y equivalencia enarmónica (esto es. donde el módulo es 2b (b es el número de bits de los valores sobre los que operamos). y en artes visuales y musicales. como forma de aludir a la raya / de la división. En términos de la función parte entera "floor(z)".

. si consideramos la ecuación ax ≡ 1 (mod n).. b son congruentes módulo n. podemos definir a ≡ b (mod π) si a − b = kπ para algún entero k. Por ejemplo. Los detalles están recogidos en el teorema de congruencia lineal. En Álgebra abstracta se ve que la aritmética modular es un caso especial del proceso de crear un anillo factorial de un anillo módulomodulo un ideal. En el anillo de enteros. Esta relación de equivalencia tiene importantes propiedades que se siguen inmediatamente de la definición: si :a1 ≡ b1 (mod n) y a2 ≡ b2 (mod n) entonces a1 + a2 ≡ b1 + b2 (mod n) y :a1a2 ≡ b1b2 (mod n). que dos enteros a. Por ejemplo. Se puede probar que cada cuerpo finito es una extensión de Z/pZ para algún primo p. [n-1]n }. En otras palabras.. El conjunto de todas las clases de equivalencia se denota con Z/nZ = { [0]n. Si R es un anillo conmutativo. esto es. y las clases de equivalencia de un entero a se denota con [a]n (o simplemente [a] si sobreentendemos el módulo. [2]n. escrito como:a ≡ b (mod n) si su diferencia a − b es divisible por n. Un hecho importante sobre módulos de números primos es el pequeño teorema de Fermat: si p es un número primo y a es cualquier entero. Por tanto. . Se trata de una relación de equivalencia. si a − b= kn para algún entero k. Lo que muestra que la suma y la multiplicación son operaciones bien definidas sobre el conjunto de las clases de equivalencia. en el anillo Z/12Z. Sistemas de congruencias más complicados con módulos diferentes se pueden resolver usando el teorema chino del resto o el método de sustitución sucesiva. la suma y la multiplicación están definidas sobre Z/nZ mediante las fórmulas siguientes: • • [a]n + [b]n = [a + b]n [a]n[b]n = [ab]n De este modo. y la suma y la multiplicación se convierten en operaciones bien definidas sobre el anillo factorial R/I. entonces . entonces dos elementos a y b de R se dicen congruentes módulo I si a − b es un elemento de I.Algunas consecuencias del uso en matemáticas Recuerda de nuestra discusión.) Otras notaciones son por ejemplo a + nZ o a mod n. Como pasaba con el anillo de enteros. e I es un ideal de R. Usando esta definición. Z/nZ se convierte en un anillo con n elementos. [1]n. Si a y b son enteros. 14 ≡ 26 (mod 12). Un ejemplo de la notación de congruencias. vemos que a tiene un inverso multiplicativo sii a y n son coprimos. esto se convierte en una relación de equivalencia. la congruencia:ax ≡ b (mod n) tiene solución x sii el máximo común divisor (a. n) divide a b. Z/nZ es un cuerpo sii n es un primo. Esta idea se desarrolla plenamente en el contexto de la teoría de los anillos que abajo comentamos. se tiene :[8]12[3]12 + [6]12 = [30]12 = [6]12. podemos generalizar a módulos no enteros.

El teorema de Euler es una consecuencia del teorema de Lagrange. . :aφ(n) ≡ 1 (mod n).ap ≡ a (mod p). Esto fue generalizado por Euler: para todo entero positivo n y todo entero a relativamente primo a n. donde φ(n) denota función phi de Euler que cuenta el número de enteros entre 1 y n que sean coprimos con respecto a n. aplicado al caso del grupo de las unidades del anillo Z/nZ.

σ(n): la suma de todos los divisores positivos de n. d(n): el número de divisores positivos de n. definida para n entero) se dice multiplicativa si f(1) = 1 f(m·n) = f(m)·f(n) cuando m y n son enteros coprimos (no tienen factores comunes). μ(n): la función de Möbius. . una función aritmética (es decir.Función multiplicativa De Wikipedia En teoría de números. que cuenta los enteros positivos coprimos con n. relacionada con el número de factores primos de los números no divisibles por un cuadrado perfecto. Ejemplos Algunos ejemplos de funciones multiplicativas que son relevantes en la teoría de números son: • • • • φ(n): la función φ de Euler.

se llama n factorial o factorial de n al producto de todos los enteros entre 1 y n: n! = 1 × 2 × 3 × .Factorial Para todo n entero natural.. + n × a × bn − 1 + bn con: Por medio de la combinatoria. Esta relación permite definir los factoriales por recursividad.. La ventaja de esta fórmula es que no precisa inducción. La notación n! fue popularizada por el matemático francés Christian Kramp. de gran importancia en el campo de la aritmética. . Se impone 0! = 1. 2 × an − 2 × b2 + . dado por la fórmula de Stirling: n! ≈ √(2πn) (n/e)n. Se generalizan a los reales con la función gamma... Intervienen también en el ámbito del análisis. del factorial de n. cuando n tiende al infinito. Los factoriales se usan mucho en la rama de la matemática llamada combinatoria. en particular a través del desarrollo polinomial de las funciones (fórmula de Taylor). Los primeros factoriales son: 1! = 1 2! = 2 3! = 6 4! = 24 5! = 120 6! = 720 7! = 5040 8! = 40320 . los factoriales intervienen en el cálculo de las probabilidades.. Existe un equivalente. que da los coeficientes de la forma desarrollada de (a + b)n: (a + b)n = an + n × an − 1 × b + Cn. × (n − 1) × n n! = ∏k = 1:n k. para que la relación n! = n × (n − 1)! sea también válida para n = 1. a través del binomio de Newton. y por lo tanto permite evaluar n! más rápidamente (aunque en forma aproximada) cuando mayor sea n..

las funciones generadoras son las funciones ciclotómicas exp(iσ). Tradicionalmente comprendía el estudio de las extensiones abelianas. el grupo de Galois de la extensión abeliana maximal es un grupo topológico compacto abeliano y tiene grado infinito sobre K. es decir de las extensiones de Galois cuyo grupo de Galois es abeliano. extensiones ciclotómicas y de Kummer. La generalización de éste teorema debido a Kronecker fue resultado de un gran proyecto histórico que incluyó a las formas cuadráticas y su teoría de género. Cuando K es el campo de los números racionales éste grupo es un producto infinito del grupo aditivo de los enteros p-ádicos tomado sobre todo primo p. todos los resultados fueron reescritos en téminos de la cohomología de grupos. Después hubo un periodo de quiescencia que fue bruscamente interrumpido en los sesentas por las conjeturas de Langlands. Para el caso de Q. Mucha de las investigación para el caso abeliano se centra en el famoso Jugendtraum de Kronecker que consistía en encontrar funciones capaces de generar la extensión abeliana maximal para cada campo numérico. Mientras que para el caso de las extensiones no abelianas. y de un producto infinito de grupos cíclicos finitos. para este caso la teoría se desarrolló durante 1850-1930.Teoría de campos de clase La Teoría de Campos de Clase es una rama de la Teoría de Números Algebraica que relaciona la aritmética de un campo numérico (o campo local) a sus extensiones de Galois. los primeros resultados importantes empezaron a obtenerse hace 25 años y forman parte del programa de Langlands. la teoría de ideales. . Iniciando con la tesis de Tate en los cincuentas. las leyes de reciprocidad. Sea K un campo numérico.