Let $R$ be a commutative ring and let $a,b \in R$. We say that $a$ divides $b$ if there exists $r\in R$ such that $a = rb$. Equivalently, $a$ divides $b$ if the ideal generated by $b$ is contained in the ideal generated by $a$.
Wikidata ID: Q1226939