Category:Definitions/Integer Division

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Integer Division.
Related results can be found in Category:Integer Division.


Let $a, b \in \Z$ be integers such that $b \ne 0$.

From the Division Theorem:

$\exists_1 q, r \in \Z: a = q b + r, 0 \le r < \size b$

where $q$ is the quotient and $r$ is the remainder.


The process of finding $q$ and $r$ is known as (integer) division of $a$ by $b$, and we write:

$a \div b = q \rem r$

Subcategories

This category has the following 2 subcategories, out of 2 total.