divisibilidad
Divisibilidad es una relación entre enteros que indica si un número es un múltiplo de otro. Se dice que a divide a b y se escribe a | b si existe un entero k tal que b = a k. Por convención, a ≠ 0. Si a | b, entonces b es múltiplo de a, y puede ser 0.
Propiedades básicas: la relación es reflexiva (a | a). Si a | b y a | c, entonces a
Descomposición en primos: si a y b son positivos, a | b si, al escribir sus factorizaciones en
Congruencias y pruebas de divisibilidad: la relación b ≡ c (mod a) equivale a a | (b − c).
Aplicaciones: la divisibilidad es fundamental en teoría de números, factorización, criptografía y resolución de ecuaciones diofánticas.