divisor

Sei \(R\) ein kommutativer Ring und sei \(x,y \in R\), so ist \(y\) ein Teiler von \(x\) falls gilt

\begin{align*} \exists r \in R : yr = x \end{align*}

man schreibt auch

\begin{align*} y \mid x \end{align*}