en matemáticas, básicamente en Aritmética, se dice que un número entero b es divisible entre un entero a (distinto de cero) si existe un entero c tal que: b = a · c. Esto es equivalente a decir, que b es «exactamente divisible» por a, o bien, que el resto de la división euclídea es cero.
Se suele expresar de la forma a|b, que se lee: «a divide a b», o «a es un divisor de b» o también «b es múltiplo de a», finalmente que b es factor de a, b submúltiplo de a.1 Por ejemplo, 6 es divisible por 3, ya que 6 = 3·2; pero 6 no es divisible por 4, pues no existe un entero c tal que 6 = 4·c, es decir que el resto de la división euclídea (entera) de 6 entre 4 no es cero.
Todo número entero es divisible por 1 y por sí mismo. Los números mayores que 1 que no admiten más que estos dos divisores positivos se denominan números primos. Los que admiten más de dos divisores positivos se llaman números compuestos.
