Divisor

Sea un conjunto $A$ con una operación $\circ$ decimos que un elemento $a \in A$ es divisor de $b \in A$ si el elemento $b$ se puede expresar como $a \circ c = b$ o $c \circ a = b$.

En el caso de no decirse nada el conjunto sera $\mathbb{N}$ y la operación el producto $ \cdot$

En el caso de que el grupo sea conmutativo no se precisa decir si es por la izquierda o por la derecha es divisor por los dos lados o por ninguno.

La relación que existe entre el divisor y el múltipo es:
Si a es multiplo de b , b es divisor de a.