Definition:Divisor (Algebra)/Ring with Unity

Definition
Let $\left({D, +, \circ}\right)$ be an integral domain whose zero is $0_D$ and whose unity is $1_D$.

Let $x, y \in D$.

We define the term $x$ divides $y$ in $D$ as follows:
 * $x \mathrel {\backslash_D} y \iff \exists t \in D: y = t \circ x$

When no ambiguity results, the subscript is usually dropped, and $x$ divides $y$ in $D$ is just written $x \mathrel \backslash y$.

Also known as
A divisor is also known as a factor.