Divisibilidad: el máximo común divisor - [Detalles]
Definimos el máximo común divisor (MCD). Primero hacemos la observación de que cada entero tiene un numero finito de divisores, definimos el común divisor, y vemos que el conjunto de divisores de uno o más enteros siempre es finito y podemos obtener un máximo en común (que sea común divisor). Vemos algunos ejemplos y la notación que usaremos para el MCD
Damos la definición formal de un numero primo. Un entero "p>1" se dice que es primo si sus únicos divisores positivos son 1 y el mismo (1 y "p"). Definimos que es un numero compuesto y hablamos sobre algunas curiosidades sobre los números primos.
Teorema para buscar las Raíces enteras y racionales de un polinomio - [Detalles]
Demostramos un teorema que nos ayuda a encontrar las raíces racionales o enteras de un polinomio cuyos coeficientes son enteros. El teorema nos indica que basta con buscar en los divisores del término independiente ("a_0") y del coeficiente líder del polinomio ("a_n").
El producto en los enteros - [Detalles]
Definimos la operación producto y demostramos algunas propiedades básicas de esta operación en los enteros, también demostramos la propiedad distributiva para la suma y el producto, también vemos que en los enteros no tiene divisores de cero.