> [!NOTE] Definition (Divisor) > Let $R[x]$ be the [[Ring of Polynomial Forms|ring of polynomial forms]] in $x$ over a [[Commutative Ring|commutative ring]] $R.$ Let $f,g\in R[x].$ Then we say $f$ divides $g$ (or $g$ is a multiple of $f$), denoted $f \mid g,$ if there exists $h\in R[x] \setminus \{ 0 \}$ such that $fh=g.$