Teoria de Numeros
Teoria de Numeros
Teoria de Numeros
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:
Sabiendo que es la teoría de números realizaré una serie de posts en los que trataré de
explicaros los teoremas, propiedades y cálculos básicos en los que se basa la Teoría de
Números Elemental.
¿Qué es la 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. Se expresa como a|b, que se lee “a” divide a
“b” (o “a” es divisor de “b”, o también “b” es múltiplo de “a”).
Por ejemplo, 6 es divisible por 3, ya que 6 = 3·2; pero no es divisible por 4, pues no existe
un entero “c” tal que 6 = 4·c.
Propiedades
Sean a, b, c ∈ Z; entonces:
Sea a, d ∈ Z, tal que d sea distinto de cero (sea nulo). Entonces, existen unos
únicos q, r ∈ Z, tales que a=d·q+r con r mayor o igual a cero y menor que el valor
absoluto de “d”.
Siendo “a” el dividendo, “q” el cociente, “d” el divisor y “r” el resto que será
siempre positivo. Este método de división es la que se enseña en los colegios.
Se dice que todo número natural mayor que uno (n ∈ N, n > 1) es un número primo, si sus
únicos divisores en el conjunto de los números naturales (N) son 1 y “n”. De este modo se
dice también que todo número no primo es un número compuesto.
Todo número entero mayor que uno (m ∈ Z, n > 1), se decompone, como producto de
números primos, de manera única salvo el orden de los factores.
Esto es, existen unos números primos únicos p1, p2, p3, …, pn ∈ N y unos únicos a1, a2, a3,
…, an ∈ N, tales que:
Se dice que un número entero “d” es el Máximo Común Divisor, denotado por mcd (a, b),
al mayor de los divisores comunes de “a” y “b”. Si “a” y “b” fueran iguales a cero, se toma
por convenio que el mcd (0, 0) sea igual a cero.
Se dice que un número entero “d” es el mínimo común múltiplo, denotado por mcm (a, b),
al menor de los enteros que son divisibles tanto por “a” como por “b”.
mcd (a, b) = p1min (a1, b1) · p2min (a2, b2) · p3min (a3, b3) · … · pnmin (an, bn)
mcm (a, b) = p1max (a1, b1) · p2max (a2, b2) · p3max (a3, b3) · … · pnmax (an, bn)
Sean a, b ∈ Z, “b” distinto de cero y sea “r” el resto de la división euclídea de “a” por “b”.
Entonces:
Así seguiríamos “moviendo” las “r’s” hacia la izquierda hasta que en un paso algún resto
(rm) sea igual a cero, y por la propiedad mcd (a, b) = mcd (b, r) antes mencionada,
tendríamos que mcd (a, b) = mcd (r0, r1) = .. = mcd (rn, 0) = rn.
Sean a, b ∈ Z, se dice que son primos relativos (o coprimos) “a” y “b” si no tienen
ningún factor primo en común, es decir, si no tienen otro divisor común más que 1 ó -1, o
cumplen que el mcd (a, b) = 1.
Después de mi parón por los examenes de Septiembre, aquí vuelvo para dar la puntilla
definitiva a mi serie de posts sobre la teoría de números elemental. Así que aquí viene quizá
lo más importante (en mi opinión) de la teoría de números elemental, las congruencias.
Es una relación de equivalencia (no me quiero meter a explicar que es una relación de
equivalencia, por eso os pongo el enlace) que cumple la siguiente propiedad:
Sean a, b ∈ Z, m ∈ N, entonces “a” y “b” son congruentes si:
a ≡ b (mod (m))
Definimos “mod” como la operación módulo, que es el resto de la división euclídea de dos
números:
Conjuntos cocientes
Como las congruencias son relaciones de equivalencia, se pueden definir para cada
elemento del conjunto en el que se da la relación, las clases de equivalencia.
Sabiendo ya que son las clases de equivalencia, podemos pasar a explicar qué son los
conjuntos cocientes. El conjunto cociente de A por R, se denota A/R, es el conjunto cuyos
elementos son las clases de equivalencia por R de los elementos de A, es decir:
A/R = {[a] : a ∈ A}
Siendo a ≡ b (mod (m)) y sus clases de equivalencia [0], [1], …, [m-1], su conjunto
cociente es:
Zm = {[0], [1], …, [m-1]} [Para los números enteros y las congruencias se denota Zm en
lugar de Z/(mod (m))]
Aritmética modular
a + c ≡ b + d (mod (m))
a · c ≡ b · c (mod (m))
A partir de esto, podemos definir las propiedades aritméticas para las sumas de
congruencias:
Números pseudoprimos
A los números que sin ser primos, cumplen la propiedad se les conoce como
pseudoprimos.
Como podéis ver no es más que una mejora de la propiedad de los números pseudoprimos.
Congruencias lineales
Ahora vamos a pasar a trabajar de verdad con las congruencias, y es que nos disponemos a
resolver ecuaciones con congruencias.
Supongo que ahora la pregunta que surge es: ¿Cómo calculamos a-1?
Bueno, existe un tercer método basado en el teorema de la división euclídea pero me parece
muy largo de explicar. Así que con esto me despido, y dejo la teoría de números elemental
(casi, falta el teorema chino del resto) terminada.