Let \(R\) be a commutative ring and let \(q, r\in R\). The element \(r\) is divisible by \(q\), written \(q\divides r\), if there exists \(c \in R\) such that \(r = qc\).
Divisibility of elements
D-AVBIP
D-AVBIP
Let \(R\) be a commutative ring and let \(q, r\in R\). The element \(r\) is divisible by \(q\), written \(q\divides r\), if there exists \(c \in R\) such that \(r = qc\).